Nombre de documents

11

CV de Virgile Prevosto


Pré-publication, Document de travail1 document

  • Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prévosto. Generic and Effective Specification of Structural Test Objectives. 2016. <cea-01357487>

Communication dans un congrès5 documents

  • Steven De Oliveira, Saddek Bensalem, Virgile Prévosto. Algèbre linéaire pour invariants polynomiaux. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 15, pp.61, 2016, Actes des 15emes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels. <http://afadl2016.conf.citi-lab.fr/>. <hal-01391490>
  • Lucas Duboc, Sébastien Flanc, Florent Kirchner, Hélène Marteau, Virgile Prévosto, et al.. Safer Marine and Offshore Software with Formal-Verification-Based Guidelines. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), <http://www.erts2016.org/>. <hal-01292258>
  • Steven De Oliveira, Virgile Prévosto, Sébastien Bardin. Au temps en emporte le C. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), <http://jfla.inria.fr/2015>. <hal-01099128>
  • Imen Boudhiba, Christophe Gaston, Pascale Gall, Virgile Prévosto. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.35-51, 2015, Testing Software and Systems. <10.1007/978-3-319-25945-1_3>. <hal-01470156>
  • Catherine Dubois, Mathieu Jaume, Olivier Pons, Virgile Prévosto. L'atelier Focal. AFADL, session outils, Jan 2004, X, France. 2004. <hal-01125052>

Rapport1 document

  • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine. [Research Report] Laboratoire MAS - CentraleSupelec. 2015. <hal-01191890>

Thèse1 document

  • Virgile Prévosto. Conception et implantation du langage FoC pour le développement de logiciels certifiés. Génie logiciel [cs.SE]. Université Pierre et Marie Curie - Paris VI, 2003. Français. <tel-00007143>

Article dans une revue3 documents

  • David Delahaye, Mathieu Jaume, Virgile Prévosto. Coq: un outil pour l'enseignement. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24, pp.1139-1160. <hal-01125076>
  • David Delahaye, Mathieu Jaume, Virgile Prévosto. Coq : un outil pour l'enseignement. Technique et Science Informatiques, Hermès-Lavoisier, 2005, 24 (9), pp.1139-1160. <10.3166/tsi.24.1139-1160>. <hal-01195849>
  • Virgile Prévosto, Damien Doligez. Algorithms and Proofs Inheritance in the FOC Language. Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.337-363. <10.1023/A:1021979218446>. <hal-01199510>