Journal articles

titre
Model-Based Testing of Global Properties on Large-Scale Distributed Systems
auteur
Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
Information and Software Technology, Elsevier, 2014
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices
auteur
Olivier Barais
article
Informatique et langage [cs.CL]. Université de Rennes 1, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01096952/file/hdr_final_complete.pdf BibTex

Theses

titre
Rare event simulation for statistical model checking
auteur
Cyrille Jegourel
article
Embedded Systems. Université Rennes 1, 2014. English. 〈NNT : 2014REN1S084〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127612/file/2014REN1S084.pdf BibTex

Preprints, Working Papers, ...

titre
Leveraging Family Polymorphism in MDE
auteur
Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994541/file/wip-k3sle.pdf BibTex