François Pessaux

Présentation

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

Publications

Article dans une revue (3)

Interval-Based Simulation of Zélus IVPs Using DynIbex Jason Brown,François Pessaux Acta Cybernetica, 2020, pp.1 - 16. ⟨10.14232/actacyb.285246⟩ Article dans une revue hal-02930466v1
Development life cycle of critical software under FoCal Philippe Ayrault,Thérèse Hardin,François Pessaux Electronic Notes in Theoretical Computer Science, 2009, 243, pp.15-31. ⟨10.1016/j.entcs.2009.07.003⟩ Article dans une revue hal-01195843v1
Type-based analysis of uncaught exceptions Xavier Leroy,François Pessaux ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩ Article dans une revue hal-01499948v1

Communication dans un congrès (6)

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

Poster de conférence (1)

A Proof-Assisted Conversion of Signal Temporal Logic Formulas into Negative Normal Form Danil Berrah,François Pessaux,Alexandre Chapoutot Certified Control Synthesis for Robotic Systems, Jun 2025, Thessaloniki, Greece Poster de conférence hal-05133722v1

Ouvrages (4)

Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java Thérèse Hardin,Mathieu Jaume,François Pessaux,Veronique Viguie Donzeau-Gouge ISTE Editions, 2021, 9781784057022 Ouvrages hal-03030511v1
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++ Thérèse Hardin,Mathieu Jaume,François Pessaux,Veronique Viguie Donzeau-Gouge ISTE Editions, 2021, 9781784057015 Ouvrages hal-03030484v1
Concepts and Semantics of Programming Languages 2 Thérèse Hardin,Mathieu Jaume,François Pessaux,Véronique Viguié Donzeau-Gouge ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩ Ouvrages hal-03337213v1
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python Thérèse Hardin,Mathieu Jaume,François Pessaux,Véronique Viguié Donzeau-Gouge ISTE Wiley, 2021, Print ISBN:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩ Ouvrages hal-03337156v1

Rapport (4)

Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain François Pessaux,Julien Alexandre Dit Sandretto,Alexandre Chapoutot [Research Report] Ensta ParisTech. 2022 Rapport (rapport de recherche) hal-03635298v1
Compiling Programs and Proofs: FoCaLiZe Internals François Pessaux,Damien Doligez [Research Report] Ensta ParisTech. 2018 Rapport (rapport de recherche) hal-01801276v1
Babix: an Educational Multitask Kernel for Arduino Due François Pessaux [Technical Report] Work not affiliated to any institution. 2016 Rapport (rapport technique) hal-01814380v1
Type-Based Analysis of Uncaught Exceptions Xavier Leroy,François Pessaux [Research Report] RR-3541, INRIA. 1998 Rapport (rapport de recherche) inria-00073144v1

Cours (1)

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