Towards Timed Requirement Verification for Service Choreographies
Silvano Dal Zilio, Nawal Guermouche In CollaborateCom 2012 — 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, oct 2012.
Fiacre
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.
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.
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.
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, François Vernadat In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.