Nombre de documents

10

CV de Virgile Prevosto


Communication dans un congrès4 documents

  • 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, 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>
  • 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>
  • Catherine Dubois, Mathieu Jaume, Olivier Pons, Virgile Prévosto. L'atelier Focal. AFADL, session outils, Jan 2004, X, France. 2004. <hal-01125052>

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, Editions Hermes, 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>

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>

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>

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>