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

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, SV, lncs, 04, 2019