Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.

Ning Ge, Marc Pantel, Silvano Dal Zilio In TASE 2017 — 11th International Symposium on Theoretical Aspects of Software Engineering, sep 2017.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.

Silvano Dal Zilio, Florent Avellaneda, Jean-Baptiste Raclet In ATVA 2016 — 14th International Symposium on Automated Technology for Verification and Analysis, oct 2016.

Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat Science of Computer Programming 132(2):209—225, aug 2016.

Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn Research Report 16115, LAAS, jul 2016.

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, Jean-Baptiste Raclet, Florent Avellaneda Research Report 15357, LAAS, oct 2015.

Silvano Dal Zilio, Bernard Berthomieu In TTCS 2015 — 1st IFIP International Conference on Topics in Theoretical Computer Science, aug 2015.