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
-
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
-
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
-
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
-