On the Petri Nets with a Single Shared Place and Beyond
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan preprint, may 2020.
You can find most of the publications on my HAL account , or tracked by DBLP .
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Vincent Mussot, Silvano Dal Zilio, Loïc Correnson, Serge Rainjonneau, Yves Bardout, Grégoire Scano In ERTSS 2020 — 10th International Congress and Exhibition on Embedded Real-Time Software and Systems, jan 2020.
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
É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.
Counting Petri net markings from reduction equations
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
Presentation of the 9th Edition of the Model Checking Contest
Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf In TACAS 2019 — Tools and Algorithms for the Construction and Analysis of Systems, apr 2019.
On the Semantics of the GenoM3 Framework
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand Research Report 19036, LAAS, jan 2019.
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
Petri Net Reductions for Counting Markings
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
Time-accurate Middleware for the Virtualization of Communication Protocols
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan Research Report 18126, LAAS, may 2018.
Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.