François Pessaux

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 1

Top Topics

Dependency Analysis

Recursive Functions

Top Venues

Publications

Jason Brown, François Pessaux
Interval-Based Simulation of Zélus IVPs using DynIbex. Acta Cybern. 25 (1) (2020)
Catherine Dubois, François Pessaux
Termination Proofs for Recursive Functions in FoCaLiZe. TFP (2015)
François Pessaux
FoCaLiZe: Inside an F-IDE. F-IDE (2014)
Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux
ML Dependency Analysis for Assessors. SEFM (2012)
Philippe Ayrault, Thérèse Hardin, François Pessaux
Development of a Generic Voter under FoCal. TAP@TOOLS (2009)
Philippe Ayrault, Thérèse Hardin, François Pessaux
Development Life-cycle of Critical Software Under FoCaL. Electron. Notes Theor. Comput. Sci. 243 (2009)
Xavier Leroy, François Pessaux
Type-based analysis of uncaught exceptions. ACM Trans. Program. Lang. Syst. 22 (2) (2000)
François Pessaux, Xavier Leroy
Type-Based Analysis of Uncaught Exceptions. POPL (1999)