Publications de
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results (regular paper)
Dans : Model-Driven Engineering, Verification and Validation Workshop at the MODELS conference (MODEVVA 2016), Saint Malo, France, 03/10/16, Vol. 1713, CEUR-WS : Workshop proceedings, p. 30-39, octobre 2016.
Accès : http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_4.pdf
BibTeXFaiez Zalila, Xavier Crégut, Marc Pantel
A transformation-driven approach to automate feedback verification results (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2013), Amantea, Calabria, Italy, 25/09/13-27/09/13, Springer, Lecture Notes in Computer Science, p. 266-277, 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, 29/09/13-04/10/13, Springer-Verlag, (support électronique), septembre 2013.
Faiez Zalila, Xavier Crégut, Marc Pantel
Verification results feedback for FIACRE intermediate language (student paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Zalila-paper40.pdf
BibTeXFaiez Zalila, Xavier Crégut, Marc Pantel
Leveraging formal verification tools for DSML users: a process modeling case study (regular paper)
Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), Amirandes, Heraclion, Crete, 15/10/12-18/10/12, Vol. 7610, Springer, Lecture Notes in Computer Science, p. 329-343, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
Dans : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (en ligne), 2012.
Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXFaiez Zalila, Xavier Crégut, Marc Pantel
Spécification et vérification de patrons de propriétés pour des langages dédiés (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (en ligne), avril 2011.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/Patrons.pdf
BibTeX
Methods and tools for the integration of formal verification in domain-specific languages
Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2014.