Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun In ECRTS 2023 — 35th Euromicro Conference on Real-Time Systems, jul 2023.
Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan Rivas, Youcheng Sun Dagstuhl Artifacts Series (DARTS) 9(1), jul 2023.
Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang Science of Computer Programming 206, apr 2021.
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias In CDC 2020 — 59th IEEE Conference on Decision and Control, dec 2020.
Éric Lubat, Silvano Dal Zilio In MOVEP 2020 — 14th Summer School on Modelling and Verification of Parallel Processes, jun 2020.
Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.
Ning Ge, Marc Pantel, Silvano Dal Zilio In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat Science of Computer Programming 132(2):209—225, aug 2016.
Silvano Dal Zilio, Bernard Berthomieu In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.
