| On the k-synchronizability of systems C Di Giusto, L Laversa, É Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 19 | 2020 |
| A unifying framework for deciding synchronizability B Bollig, C Di Giusto, A Finkel, L Laversa, E Lozes, A Suresh CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021 | 17 | 2021 |
| Spiking neural networks modelled as timed automata: with parameter learning E De Maria, C Di Giusto, L Laversa Natural Computing 19, 135-155, 2020 | 9 | 2020 |
| A partial order view of message-passing communication models C Di Giusto, D Ferré, L Laversa, E Lozes Proceedings of the ACM on Programming Languages 7 (POPL), 1601-1627, 2023 | 7 | 2023 |
| Guessing the buffer bound for k-synchronizability C Di Giusto, L Laversa, É Lozes International Conference on Implementation and Application of Automata, 102-114, 2021 | 5 | 2021 |
| La synchronisabilité pour les systèmes distribués L Laversa Université Côte d'Azur, 2021 | 1 | 2021 |
| Execution-time opacity control for timed automata É André, M Duflot, L Laversa, E Lefaucheux arXiv preprint arXiv:2409.10336, 2024 | | 2024 |
| A non-sequential hierarchy of message-passing models C Di Giusto, D Ferré, L Laversa, E Lozes CoRR, 2022 | | 2022 |
| Synchronizability for distributed systems L Laversa < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2021 | | 2021 |
| On the k-synchronizability for mailbox systems. C Di Giusto, L Laversa, É Lozes CoRR, 2019 | | 2019 |
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))在 univ-cotedazur.fr 的电子邮件经过验证
