Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement, Bernard Berthomieu In AFADL 2016 — 15èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, jun 2016.
Silvano Dal Zilio, Bernard Berthomieu, François Vernadat, Mamoun Filali, Jean-Paul Bodeveix, Guillaume Verdier Research Report 15036, LAAS, mar 2015.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat preprint, aug 2011.
Nouha Abid, Silvano Dal Zilio preprint, jun 2010.
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.
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.
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.