| On the k-synchronizability of systems C Di Giusto, L Laversa, E Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 23 | 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 | 22 | 2021 |
| 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 | 20 | 2023 |
| Spiking neural networks modelled as timed automata: with parameter learning E De Maria, C Di Giusto, L Laversa Natural Computing 19 (1), 135-155, 2020 | 11 | 2020 |
| Guessing the buffer bound for k-synchronizability C Di Giusto, L Laversa, É Lozes International Conference on Implementation and Application of Automata, 102-114, 2021 | 7 | 2021 |
| Execution-time opacity control for timed automata É André, M Duflot, L Laversa, E Lefaucheux International Conference on Software Engineering and Formal Methods, 347-365, 2024 | 6 | 2024 |
| Synchronisability in Mailbox Communication C Di Giusto, L Laversa, K Peters arXiv preprint arXiv:2411.14580, 2024 | 2 | 2024 |
| La synchronisabilité pour les systèmes distribués L Laversa Université Côte d'Azur, 2021 | 1 | 2021 |
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at univ-cotedazur.fr
