Fingerprint
- 1 Similar Profiles
-
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
Hardin, T., Jaume, M., Pessaux, F. & Donzeau-Gouge, V. V., 1 Jan 2021, wiley. 298 p.Research output: Book/Report › Book › peer-review
-
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Hardin, T., Jaume, M., Pessaux, F. & Donzeau-Gouge, V. V., 1 Jan 2021, wiley. 236 p.Research output: Book/Report › Book › peer-review
-
Interval-based simulation of Zélus IVPs using DynIbex
Brown, J. & Pessaux, F., 19 Aug 2020, In: Acta Cybernetica. 2Research output: Contribution to journal › Article › peer-review
Open Access -
Termination proofs for recursive functions in FoCaLiZe
Dubois, C. & Pessaux, F., 1 Jan 2016, Trends in Functional Programming - 16th International Symposium, TFP 2015, Revised Selected Papers. Serrano, M. & Hage, J. (eds.). Springer Verlag, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9547).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
FoCaLiZe: Inside an F-IDE
Pessaux, F., 26 Apr 2014, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 149, p. 64-78 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
ML dependency analysis for assessors
Ayrault, P., Benayoun, V., Dubois, C. & Pessaux, F., 6 Nov 2012, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Proceedings. p. 278-292 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7504 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Development Life-cycle of Critical Software Under FoCaL
Ayrault, P., Hardin, T. & Pessaux, F., 28 Jul 2009, In: Electronic Notes in Theoretical Computer Science. 243, p. 15-31 17 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Development of a generic voter under focal
Ayrault, P., Hardin, T. & Pessaux, F., 2 Nov 2009, Tests and Proofs - Third International Conference, TAP 2009, Proceedings. p. 10-26 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5668 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
ATASDAS: A tool for improving the software dependability analysis process
Monégier Du Sorbier, M. C., Pessaux, F., Escorial, D., Joaquim, L., Klefstad-Sillonville, F. & Pipan, G., 1 Dec 2004, In: European Space Agency, (Special Publication) ESA SP. 570, p. 358-366 9 p.Research output: Contribution to journal › Conference article › peer-review
-
Type-based analysis of uncaught exceptions
Leroy, X. & Pessaux, F., 1 Jan 2000, In: ACM Transactions on Programming Languages and Systems. 22, 2, p. 340-377 38 p.Research output: Contribution to journal › Article › peer-review
Open Access