RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang Science of Computer Programming 206, apr 2021.
Patterns
Formal Verification of User-Level Real-Time Property Patterns
Ning Ge, Marc Pantel, Silvano Dal Zilio In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Silvano Dal Zilio, Bernard Berthomieu In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.
A formal framework to specify and verify real-time properties on critical systems
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan International Journal of Critical Computer-Based Systems (IJCCBS) 5(1/2):4—30, mar 2014.
Real-Time Specification Patterns and Tools
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan In FMICS 2012 — 17th International Workshop on Formal Methods for Industrial Critical Systems, sep 2012.
A Verified Approach for Checking Real-Time Specification Patterns
Nouha Abid, Silvano Dal Zilio, Didier Le Botlan In VECoS 2012 — 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, sep 2012.
A Timed Graphical Interval Logic
Silvano Dal Zilio, Nouha Abid Research Report 12368, LAAS, jul 2012.
Verification of Real-Time Specification Patterns on Time Transitions Systems
Silvano Dal Zilio, Nouha Abid, Didier Le Botlan Research Report 11365, LAAS, jun 2011.
Definition of the Fiacre Real-Time Specification Patterns Language
Silvano Dal Zilio, Nouha Abid, Didier Le Botlan, Bernard Berthomieu, François Vernadat, Mamoun Filali, Jean-Paul Bodeveix Research Report T2-12-B, Quarteft Project deliverable, jan 2011.