On the k-synchronizability of systems C Di Giusto, L Laversa, É Lozes 23rd International Conference on Foundations of Software Science and …, 2020 | 18 | 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 | 16 | 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 | 7 | 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 | 4 | 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 | 4 | 2021 |
La synchronisabilite pour les systemes distribues L Laversa Université Côte d'Azur, 2021 | 1 | 2021 |
A non-sequential hierarchy of message-passing models C Di Giusto, D Ferré, L Laversa, E Lozes CoRR, 2022 | | 2022 |
On the k-synchronizability for mailbox systems. C Di Giusto, L Laversa, É Lozes CoRR, 2019 | | 2019 |