Skip to Main content Skip to Navigation

hal-01203501v1  Conference papers
François Pessaux. FoCaLiZe: Inside an F-IDE
Workshop F-IDE 2014, May 2014, Grenoble, France. ⟨10.4204/EPTCS.149.7⟩
hal-01241361v1  Conference papers
Philippe AyraultThérèse HardinFrançois Pessaux. Development of a Generic Voter under FoCal
TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
hal-01203505v1  Conference papers
François PessauxVincent BenayounCatherine DuboisPhilippe Ayrault. ML Dependency Analysis for Assessors
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
hal-01814380v1  Reports
François Pessaux. Babix: an Educational Multitask Kernel for Arduino Due
[Technical Report] Work not affiliated to any institution. 2016
hal-02930466v1  Journal articles
Jason BrownFrançois Pessaux. Interval-Based Simulation of Zélus IVPs Using DynIbex
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1 - 16. ⟨10.14232/actacyb.285246⟩
hal-01241394v1  Conference papers
François Pessaux. OCamlDoom: ML for 3D action games
ACM SIGPLAN Workshop on ML, Sep 1998, Baltimore, United States
cel-01203517v1  Lectures
François Pessaux. Programming and Proving: Practice with FoCaLiZe
Doctoral. Rennes, France. 2014, pp.44
hal-01125667v2  Conference papers
Philippe AyraultMatthieu CarlierDavid DelahayeCatherine DuboisDamien Doligez et al.  Trusted Software within Focal
C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179