HAL François Pessaux's page

Jason Brown, François Pessaux. Interval-Based Simulation of Zélus IVPs Using DynIbex. Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1 - 16. ⟨10.14232/actacyb.285246⟩. ⟨hal-02930466⟩

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⟩

François Pessaux. FoCaLiZe: Inside an F-IDE. Workshop F-IDE 2014, May 2014, Grenoble, France. ⟨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. 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. pp.10-26, ⟨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. pp.162-179. ⟨hal-01125667v2⟩

François Pessaux, Xavier Leroy. Type-based analysis of uncaught exceptions. POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨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. ⟨hal-01241394⟩

Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge. Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java. ISTE Editions, 2021, 9781784057022. ⟨hal-03030511⟩

Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge. Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++. ISTE Editions, 2021, 9781784057015. ⟨hal-03030484⟩

François Pessaux, Damien Doligez. Compiling Programs and Proofs: FoCaLiZe Internals. [Research Report] Ensta ParisTech. 2018. ⟨hal-01801276⟩

François Pessaux. Babix: an Educational Multitask Kernel for Arduino Due. [Technical Report] Work not affiliated to any institution. 2016. ⟨hal-01814380⟩

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

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