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
-
Book sections
- titre
- A Reference Architecture and Roadmap for Models@run.time Systems
- auteur
- Uwe Aßmann, Sebastian Gotz, Jean-Marc Jézéquel, Brice Morin, Mario Trapp
- article
- Models@run.time - Foundations, Applications, and Roadmaps, 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
-