Verification
On the Petri Nets with a Single Shared Place and Beyond
Verification
Concurrency
Petri
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan
preprint, may 2020.
preprint, may 2020.
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Verification
Space
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.
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
Verification
Tools
Time Petri Nets
Twina
Diagnosability
É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.
In FORMATS 2019 — 17th International Conference on Formal Modeling and Analysis of Timed Systems, aug 2019.
Presentation of the 9th Edition of the Model Checking Contest
Verification
Petri
Contest
Tina
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.
In TACAS 2019 — Tools and Algorithms for the Construction and Analysis of Systems, apr 2019.
Counting Petri net markings from reduction equations
Verification
Reductions
Petri
Tina
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
On the Semantics of the GenoM3 Framework
Verification
Robotics
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand
Research Report 19036, LAAS, jan 2019.
Research Report 19036, LAAS, jan 2019.
Petri Net Reductions for Counting Markings
Verification
Petri
Tina
Reductions
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Verification
Tina
Robotics
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.
In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
Time-accurate Middleware for the Virtualization of Communication Protocols
Verification
Use Case
Fiacre
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan
Research Report 18126, LAAS, may 2018.
Research Report 18126, LAAS, may 2018.
Timed Formal Model and Verification of Satellite FDIR in Early Design Phase
Verification
Use Case
Fiacre
Safety
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.
In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.