Laetitia Laversa

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Parameter Learning

Spiking Neural Networks

Top Venues

Proc. ACM Program. Lang.

Int. J. Found. Comput. Sci.

Publications

Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. Int. J. Found. Comput. Sci. 34 (8) (2023)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A Partial Order View of Message-Passing Communication Models. Proc. ACM Program. Lang. 7 (POPL) (2023)
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Étienne Lozes
A non-sequential hierarchy of message-passing models. CoRR (2022)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the buffer bound for k-synchronizability. CoRR (2021)
Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, Amrita Suresh
A Unifying Framework for Deciding Synchronizability. CONCUR (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
Guessing the Buffer Bound for k-Synchronizability. CIAA (2021)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability of Systems. FoSSaCS (2020)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning. Nat. Comput. 19 (1) (2020)
Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes
On the k-synchronizability for mailbox systems. CoRR (2019)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking Neural Networks modelled as Timed Automata with parameter learning. CoRR (2018)