Publications
My DBLP page
International conferences
-
Execution-time opacity control for timed automata
(available here, corrected version here, slides)
André É, Duflot M., Laversa L., & Lefaucheux E. (SEFM 2024)
-
Synchronisability in mailbox communication
(avalaible here)
Di Giusto C., Laversa L., & Peters K. (EXPRESS/SOS 2024)
-
A partial order view of message-passing communication models
(avalaible here)
Di Giusto C., Ferré D., Laversa L., & Lozes É. (POPL 2023)
-
A unifying framework for deciding synchronizability
(avalaible here)
Bollig B., Di Giusto C., Finkel A., Laversa L., Lozes É., & Suresh A. (CONCUR 2021)
-
Guessing the buffer bound for k-synchronizability
(avalaible here)
Di Giusto C., Laversa L., & Lozes É. (CIAA 2021)
-
On the k-synchronizability of systems
(avalaible here)
Di Giusto C., Laversa L., & Lozes É. (FOSSACS 2020)
International journals
-
Execution-time opacity control for timed automata
(available here)
André É, Duflot M., Laversa L., & Lefaucheux E. (2026)
International Journal on Software and Systems Modeling
-
Guessing the buffer bound for k-synchronizability
(available here)
Di Giusto C., Laversa L., & Lozes É. (2023)
International Journal of Foundations of Computer Science, 34.08 (pp. 1051–1076)
-
Spiking neural networks modelled as timed automata with parameters learning
(avalaible here)
De Maria E., Di Giusto C., & Laversa L. (2019)
Natural Computing, 19.1 (pp. 135-155)