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.
You can find most of the publications on my HAL account , or tracked by DBLP .
A Timed Graphical Interval Logic
Silvano Dal Zilio, Nouha Abid Research Report 12368, LAAS, jul 2012.
Who Checks the Model-Checkers?
Silvano Dal Zilio, Nouha Abid, Bernard Berthomieu Research Report 12367, LAAS, jul 2012.
Vérification formelle de spécifications AADL via FIACRE
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat preprint, aug 2011.
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu In ISPDC 2011 — 10th International Symposium on Parallel and Distributed Computing, jul 2011.
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.
A General Lock-Free Algorithm for Parallel State Space Construction
Bernard Berthomieu, Silvano Dal Zilio, Rodrigo Tacla Saad In PDMC 2010 — 9th International Workshop on Parallel and Distributed Methods in verifiCation, oct 2010.
Real-time Extensions for the Fiacre modeling language
Nouha Abid, Silvano Dal Zilio preprint, jun 2010.
Formal Verification of AADL models with Fiacre and Tina
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Sébastien Heim, Pierre Gaufillet, François Vernadat In ERTSS 2010 — 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, may 2010.