François Pessaux

19
Documents

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

7
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Trusted Software within Focal

Philippe Ayrault , Matthieu Carlier , David Delahaye , Catherine Dubois , Damien Doligez et al.

C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179

Communication dans un congrès hal-01125667v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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