Publications



Articles dans des revues internationales avec comité de lecture


[1] Intersection Types and Runtime Errors in the Pi-Calculus
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Proceedings of the ACM on Programming Languages, POPL:7, 3, 2019

[2] Parametric Verification: An Introduction
É. André and M. Knapik and D. Lime and W. Penczek and L. Petrucci
Transactions on Petri Nets and Other Models of Concurrency, 38 pages, SV, lncs, 14, 2019

[3] Timed ATL: Forget Memory, Just Count
É. André and W. Jamroga and M. Knapik and W. Penczek and L. Petrucci
Journal of Artificial Intelligence Research, 25 pages, 2019

Communications dans des conférences internationales avec comité de lecture


[1] Minimal-Time Synthesis for Parametric Timed Automata
André, E and Bloemen, V. and Petrucci, L. and van de Pol, J.
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19), Prague, Czech Republic, 211–228, SV, lncs, 11428, 04, 2019

Autres conférences


[1] Fault-tolerant matrix factorisation: a formal model and proof
Coti, C. and Petrucci, L. and Torres Gonzalez, D.A.
6th International Workshop on Synthesis of Complex Parameters (SynCoP’19), Prague, Czech Republic, 04, 2019

[2] Pruning NDFS for Parametric Timed Automata
Petrucci, L. and van de Pol, J.
6th International Workshop on Synthesis of Complex Parameters (SynCoP’19), Prague, Czech Republic, 04, 2019