Verification
A Verified Approach for Checking Real-Time Specification Patterns
Verification
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.
In VECoS 2012 — 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, sep 2012.
Who Checks the Model-Checkers?
Verification
Fiacre
Safety
Silvano Dal Zilio, Nouha Abid, Bernard Berthomieu
Research Report 12367, LAAS, jul 2012.
Research Report 12367, LAAS, jul 2012.
A Timed Graphical Interval Logic
Verification
Patterns
Silvano Dal Zilio, Nouha Abid
Research Report 12368, LAAS, jul 2012.
Research Report 12368, LAAS, jul 2012.
Vérification formelle de spécifications AADL via FIACRE
Verification
Architecture Languages
Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
preprint, aug 2011.
preprint, aug 2011.
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
Verification
Parallelism
Rodrigo Tacla Saad, Silvano Dal Zilio, Bernard Berthomieu
In ISPDC 2011 — 10th International Symposium on Parallel and Distributed Computing, jul 2011.
In ISPDC 2011 — 10th International Symposium on Parallel and Distributed Computing, jul 2011.
Verification of Real-Time Specification Patterns on Time Transitions Systems
Verification
Patterns
Time Petri Nets
Silvano Dal Zilio, Nouha Abid, Didier Le Botlan
Research Report 11365, LAAS, jun 2011.
Research Report 11365, LAAS, jun 2011.
Definition of the Fiacre Real-Time Specification Patterns Language
Verification
Fiacre
Patterns
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.
Research Report T2-12-B, Quarteft Project deliverable, jan 2011.
A General Lock-Free Algorithm for Parallel State Space Construction
Verification
Parallelism
Bernard Berthomieu, Silvano Dal Zilio, Rodrigo Tacla Saad
In PDMC 2010 — 9th International Workshop on Parallel and Distributed Methods in verifiCation, oct 2010.
In PDMC 2010 — 9th International Workshop on Parallel and Distributed Methods in verifiCation, oct 2010.
Real-time Extensions for the Fiacre modeling language
Verification
Architecture Languages
Fiacre
Nouha Abid, Silvano Dal Zilio
preprint, jun 2010.
preprint, jun 2010.
Formal Verification of AADL models with Fiacre and Tina
Verification
Architecture Languages
Fiacre
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.
In ERTSS 2010 — 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, may 2010.