Publications
My DBLP page
International conferences
-
Execution-time opacity control for timed automata
(Slides)
André É, Duflot M., Laversa L., Lefaucheux E. (SEFM 2024)
-
Synchronisability in mailbox communication
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
-
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)
Internship reports
-
On the decidability of synchronizability for mailbox communicating automata
(pdf)
Master 2 Internship
-
Apprentissage des paramètres pour réseaux de
neurones modélisés en automates temporisés
(pdf)
Master 1 Internship