stage 6 mois: vérification probabiliste de modèles.

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 ]

    @proceedings{DBLP:conf/utp/2008,
    	editor = "Burkhart Wolff and Marie-Claude Gaudel and Abderrahmane Feliachi",
    	title = "Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers",
    	booktitle = "UTP",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	volume = "LNCS 7681",
    	year = 2013,
    	isbn = "978-3-642-35704-6",
    	activity = "something"
    }
    
  • Johan Oudinet, Alain Denise and Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages. TCS, Theoretical Computer Science 502:165-176, 2013. extended version of \citegascom10.
    [ BibTeX | pdf ]

    @article{TCS:2012,
    	author = "Johan Oudinet and Alain Denise and Marie-Claude Gaudel",
    	title = "A new dichotomic algorithm for the uniform random generation of words in regular languages",
    	journal = "TCS, Theoretical Computer Science",
    	year = 2013,
    	volume = 502,
    	pages = "165-176",
    	publisher = "Elsevier",
    	note = "extended version of \cite{gascom10}",
    	pdf = "http://www.lri.fr/~mcg/PDF/TCSfinal.pdf"
    }
    
  • 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 ]

    @article{RASTA:STTT:2011,
    	author = "Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet",
    	title = "Coverage-Biased Random Exploration of Large Models and Application to Testing",
    	journal = "STTT, International Journal on Software Tools for Technology Transfer",
    	year = 2012,
    	volume = 14,
    	number = 1,
    	pages = "73-93",
    	publisher = "Springer",
    	pdf = "http://www.lri.fr/~mcg/PDF/STTTfinal.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 ]

    @inproceedings{FASE:2011,
    	author = "Johan Oudinet and Alain Denise and Marie-Claude Gaudel and Richard Lassaigne and Sylvain Peyronnet",
    	title = "Uniform {M}onte-{C}arlo model checking",
    	booktitle = "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",
    	publisher = "Springer Verlag",
    	volume = 6603,
    	series = "Lecture Notes in Computer Science",
    	year = 2011,
    	pages = "127-140",
    	pdf = "http://www.lri.fr/~mcg/PDF/FASE.pdf",
    	x-equipes = "fortesse",
    	x-type = "article",
    	x-support = "actes",
    	x-cle-support = "A",
    	type_digiteo = "conf_isbn"
    }
    
  • 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 ]

    @inproceedings{gascom10,
    	author = "Johan Oudinet and Alain Denise and Marie-Claude Gaudel",
    	title = "A new dichotomic algorithm for the uniform random generation of words in regular languages",
    	booktitle = "Conference on random and exhaustive generation of combinatorial objects ({GASCom})",
    	year = 2010,
    	address = "Montreal, Canada",
    	month = "September",
    	note = "10 pages",
    	publisher = "UQAM"
    }
    
  • Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet. Coverage-biased random exploration of large models. In 4th ETAPS Workshop on Model Based Testing 220, Issue 1, 10. March 2008, 3-14. invited lecture.
    [ BibTeX | pdf ]

    @inproceedings{MBT08,
    	author = "Marie-Claude Gaudel and Alain Denise and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet",
    	title = "Coverage-biased random exploration of large models",
    	booktitle = "4th ETAPS Workshop on Model Based Testing",
    	series = "Electronic Notes in Theoretical Computer Science",
    	year = 2008,
    	volume = "220, Issue 1, 10",
    	pages = "3-14",
    	x-equipes = "fortesse bioinfo parall EXT",
    	x-type = "invitation",
    	x-support = "actes",
    	x-cle-support = "B",
    	note = "invited lecture",
    	pdf = "http://www.lri.fr/~mcg/PDF/MBT08.pdf",
    	month = "March"
    }
    
  • 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. Number 1494, LRI, June 2008.
    [ BibTeX | pdf ]

    @techreport{rasta08cbrTR,
    	author = "Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet",
    	title = "Coverage-Biased Random Exploration of Large Models and Application to Testing",
    	institution = "LRI",
    	year = 2008,
    	number = 1494,
    	address = "Universit\'e Paris-Sud XI",
    	month = "June",
    	pdf = "http://www.lri.fr/~bibli/Rapports-internes/2008/RR1494.pdf",
    	x-equipes = "fortesse bioinfo parall EXT",
    	x-type = "article",
    	x-support = "rapport"
    }
    

Attachments:
Download this file (stageRASTA.pdf)stageRASTA.pdf[Stage "Rasta" (verification probabiliste de modeles), LRI]79 Kb
You are here Research Job Offers stage 6 mois: vérification probabiliste de modèles.