François Pessaux

According to our database, François Pessaux authored at least 7 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Interval-Based Simulation of Zélus IVPs using DynIbex.

Jason Brown, François Pessaux

Acta Cybern., 2020

2015

Termination Proofs for Recursive Functions in FoCaLiZe.

Catherine Dubois, François Pessaux

Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

2014

FoCaLiZe: Inside an F-IDE.

François Pessaux

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

2012

ML Dependency Analysis for Assessors.

Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2009

Development of a Generic Voter under FoCal.

Philippe Ayrault, Thérèse Hardin, François Pessaux

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2008

Development Life-cycle of Critical Software Under FoCaL.

Philippe Ayrault, Thérèse Hardin, François Pessaux

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

2000

Type-based analysis of uncaught exceptions.

Xavier Leroy, François Pessaux

ACM Trans. Program. Lang. Syst., 2000