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, 64–100, SV, lncs, 14, 11, 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, 197-223, AI access foundation, 66, 09, 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

[2] Squeezing State Spaces of (Attack-Defence) Trees
Knapik, M. and Penczek, W. and Petrucci, L. and Sidoruk, T.
24th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’19), Guangzhou, China, 71–80, Jing Sun and Jun Pang, IEEE, 11, 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] Process scheduling on volatile nodes for fault-tolerant linear algebra
Coti, C. and Petrucci, L. and Torres Gonzalez, D.A.
Poster session of 3rd Workshop on Data Locality (COLOC’19), Göttingen, Germany, 08, 2019

[3] 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

[4] Taming NDFS for Parametric Timed Automata
Petrucci, L. and van de Pol, J.
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS’19), Amsterdam, The Netherlands, 08, 2019