Nombre de documents

10

Page HAL de François Pessaux

Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en

Article dans une revue2 documents

  • Philippe Ayrault, Thérèse Hardin, François Pessaux. Development life cycle of critical software under FoCal. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 243, pp.15-31. <10.1016/j.entcs.2009.07.003>. <hal-01195843>
  • Xavier Leroy, François Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2000, 22 (2), pp.340-377. <10.1145/349214.349230>. <hal-01499948>

Communication dans un congrès6 documents

  • François Pessaux. FoCaLiZe: Inside an F-IDE. Workshop F-IDE 2014, May 2014, Grenoble, France. 2014, Proceedings F-IDE 2014. <10.4204/EPTCS.149.7>. <hal-01203501>
  • François Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault. ML Dependency Analysis for Assessors. Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. Springer Verlag, 7504, pp.278-292, <10.1007/978-3-642-33826-7_19>. <hal-01203505>
  • Philippe Ayrault, Thérèse Hardin, François Pessaux. Development of a Generic Voter under FoCal. TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. Springer, Proceedings of the 3rd International Conference on Tests and Proofs, 5668, pp.10-26, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02949-3_3>. <hal-01241361>
  • Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, et al.. Trusted Software within Focal. C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. Trusting Trusted Computing ?, pp.162-179, 2008. <hal-01125667v2>
  • François Pessaux, Xavier Leroy. Type-based analysis of uncaught exceptions. POPL 1999: 26th symposium Principles of Programming Languages, Jan 1999, San Antonio, United States. ACM, pp.276 - 290, 1999, <10.1145/292540.292565>. <hal-01499959>
  • François Pessaux. OCamlDoom: ML for 3D action games. ACM SIGPLAN Workshop on ML, Sep 1998, Baltimore, United States. 1998. <hal-01241394>

Rapport1 document

  • Xavier Leroy, François Pessaux. Type-Based Analysis of Uncaught Exceptions. [Research Report] RR-3541, INRIA. 1998. <inria-00073144>

Cours1 document

  • François Pessaux. Programming and Proving: Practice with FoCaLiZe. Doctoral. Rennes, France. 2014, pp.44. <cel-01203517>