Stage de 6 mois, niveau M2R ou dernière année de formation d'ingénieur.
Sujet : Réalisation d’un outil de vérification probabiliste de modèles : Intégration de la bibliothèque RUKIA au logiciel SPIN
Lieu : LRI, Bat 650, équipe Fortesse
Contact : Marie-Claude GAUDEL ( mcg_AT_lri.fr), ou Sylvain PEYRONNET (syp_AT_lri.fr)
References
Burkhart Wolff, Marie-Claude Gaudel and Abderrahmane Feliachi (eds.). Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers LNCS 7681. Springer, 2013.
[ BibTeX ]Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet. Coverage-Biased Random Exploration of Large Models and Application to Testing. STTT, International Journal on Software Tools for Technology Transfer 14(1):73-93, 2012.
[ BibTeX | pdf ]Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet. Uniform Monte-Carlo model checking. In Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 6603. 2011, 127-140.
[ BibTeX | pdf ]Johan Oudinet, Alain Denise and Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages. In Conference on random and exhaustive generation of combinatorial objects (GASCom). September 2010. 10 pages.
[ BibTeX ]