
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
Publications
7
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
Publications
|
Interval-Based Simulation of Zélus IVPs Using DynIbexActa Cybernetica, 2020, pp.1 - 16. ⟨10.14232/actacyb.285246⟩
Article dans une revue
hal-02930466
v1
|
|
Development life cycle of critical software under FoCalElectronic Notes in Theoretical Computer Science, 2009, 243, pp.15-31. ⟨10.1016/j.entcs.2009.07.003⟩
Article dans une revue
hal-01195843
v1
|
|
Type-based analysis of uncaught exceptionsACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
Article dans une revue
hal-01499948
v1
|
|
FoCaLiZe: Inside an F-IDEWorkshop F-IDE 2014, May 2014, Grenoble, France. ⟨10.4204/EPTCS.149.7⟩
Communication dans un congrès
hal-01203501
v1
|
|
ML Dependency Analysis for AssessorsSoftware 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-01203505
v1
|
|
Development of a Generic Voter under FoCalTAP 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-01241361
v1
|
|
Trusted Software within FocalC&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
Communication dans un congrès
hal-01125667
v2
|
|
Type-based analysis of uncaught exceptionsPOPL 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-01499959
v1
|
|
OCamlDoom: ML for 3D action gamesACM SIGPLAN Workshop on ML, Sep 1998, Baltimore, United States
Communication dans un congrès
hal-01241394
v1
|
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et JavaISTE Editions, 2021, 9781784057022
Ouvrages
hal-03030511
v1
|
|
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++ISTE Editions, 2021, 9781784057015
Ouvrages
hal-03030484
v1
|
|
Concepts and Semantics of Programming Languages 2ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩
Ouvrages
hal-03337213
v1
|
|
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and PythonISTE Wiley, 2021, Print ISBN:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩
Ouvrages
hal-03337156
v1
|
|
Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain[Research Report] Ensta ParisTech. 2022
Rapport
(rapport de recherche)
hal-03635298
v1
|
|
Compiling Programs and Proofs: FoCaLiZe Internals[Research Report] Ensta ParisTech. 2018
Rapport
(rapport de recherche)
hal-01801276
v1
|
|
Babix: an Educational Multitask Kernel for Arduino Due[Technical Report] Work not affiliated to any institution. 2016
Rapport
(rapport technique)
hal-01814380
v1
|
|
Type-Based Analysis of Uncaught Exceptions[Research Report] RR-3541, INRIA. 1998
Rapport
(rapport de recherche)
inria-00073144
v1
|
|
Programming and Proving: Practice with FoCaLiZeDoctoral. Rennes, France. 2014, pp.44
Cours
cel-01203517
v1
|
Chargement...
Chargement...