Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier In ERTS 2018 — 9th European Congress on Embedded Real Time Software and Systems, jan 2018.
Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier In IMBSA 2017 — 18th International Conference on Formal Engineering Methods, sep 2017.
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn In SAFECOMP 2016 — Fast Abstracts at International Conference on Computer Safety, Reliability, and Security, sep 2016.
Silvano Dal Zilio, Pierre-Alain Bourdil, Éric Jenn Research Report 16115, LAAS, jul 2016.
Silvano Dal Zilio, Nouha Abid, Bernard Berthomieu Research Report 12367, LAAS, jul 2012.