Laetitia Laversa

According to our database, Laetitia Laversa authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Execution-time opacity control for timed automata.

Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux

CoRR, 2024

2023

Guessing the Buffer Bound for k-Synchronizability.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

Int. J. Found. Comput. Sci., December, 2023

A Partial Order View of Message-Passing Communication Models.

Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes

Proc. ACM Program. Lang., January, 2023

2022

A non-sequential hierarchy of message-passing models.

Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes

CoRR, 2022

2021

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

Laetitia Laversa

PhD thesis, 2021

A Unifying Framework for Deciding Synchronizability.

Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Spiking neural networks modelled as timed automata: with parameter learning.

Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa

Nat. Comput., 2020

On the k-synchronizability of Systems.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

On the k-synchronizability for mailbox systems.

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes

CoRR, 2019