Accéder directement au contenu

François Pessaux

18
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>
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

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Trusted Software within Focal

Philippe Ayrault , Matthieu Carlier , David Delahaye , Catherine Dubois , Damien Doligez
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Communication dans un congrès hal-01125667v2
Image document

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
Image document

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