On the k-synchronizability for mailbox systems. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (CoRR, 2019)

On the k-synchronizability of Systems. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (FoSSaCS, 2020)

Spiking neural networks modelled as timed automata: with parameter learning. - Elisabetta De Maria; Cinzia Di Giusto; Laetitia Laversa (Nat. Comput., 2020)

A Unifying Framework for Deciding Synchronizability. - Benedikt Bollig; Cinzia Di Giusto; Alain Finkel; Laetitia Laversa; Étienne Lozes; Amrita Suresh 001 (CONCUR, 2021)

La synchronisabilité pour les systèmes distribués. (Synchronizability for distributed systems). - Laetitia Laversa (2021)

A non-sequential hierarchy of message-passing models. - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (CoRR, 2022)

A Partial Order View of Message-Passing Communication Models. - Cinzia Di Giusto; Davide Ferré; Laetitia Laversa; Étienne Lozes (Proc. ACM Program. Lang., 2023)

Guessing the Buffer Bound for k-Synchronizability. - Cinzia Di Giusto; Laetitia Laversa; Étienne Lozes (Int. J. Found. Comput. Sci., 2023)

Execution-Time Opacity Control for Timed Automata. - Étienne André; Marie Duflot; Laetitia Laversa; Engel Lefaucheux (SEFM, 2024)

Synchronisability in Mailbox Communication. - Cinzia Di Giusto; Laetitia Laversa; Kirstin Peters (EXPRESS/SOS, 2024)