Laetitia Laversa

14 papers B 3C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2024 B conf
Execution-Time Opacity Control for Timed Automata.
SEFM
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024 J jnl
Execution-time opacity control for timed automata.
CoRR
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024 — conf
Synchronisability in Mailbox Communication.
EXPRESS/SOS
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
2023 J jnl
A Partial Order View of Message-Passing Communication Models.
Proc. ACM Program. Lang.
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
2023 J jnl
Guessing the Buffer Bound for k-Synchronizability.
Int. J. Found. Comput. Sci.
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2022 J jnl
A non-sequential hierarchy of message-passing models.
CoRR
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
2021 B conf
A Unifying Framework for Deciding Synchronizability.
CONCUR
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
2021 C conf
Guessing the Buffer Bound for k-Synchronizability.
CIAA
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2021 J jnl
Guessing the buffer bound for k-synchronizability.
CoRR
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2021 — —
La synchronisabilité pour les systèmes distribués. (Synchronizability for distributed systems).
Laetitia Laversa
2020 B conf
On the k-synchronizability of Systems.
FoSSaCS
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2020 J jnl
Spiking neural networks modelled as timed automata: with parameter learning.
Nat. Comput.
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
2019 J jnl
On the k-synchronizability for mailbox systems.
CoRR
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
2018 J jnl
Spiking Neural Networks modelled as Timed Automata with parameter learning.
CoRR
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa