François Pessaux

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où François Pessaux est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

1 Profils similaires

3 Contribution à une conférence
3 Article
3 Article de conférence
2 Livre

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 janv. 2021, wiley. 298 p.
Résultats de recherche: Livre/rapport › Livre › Revue par des pairs
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 janv. 2021, wiley. 236 p.
Résultats de recherche: Livre/rapport › Livre › Revue par des pairs
Interval-based simulation of Zélus IVPs using DynIbex
Brown, J. & Pessaux, F., 19 août 2020, Dans: Acta Cybernetica. 2
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Termination proofs for recursive functions in FoCaLiZe
Dubois, C. & Pessaux, F., 1 janv. 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).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
FoCaLiZe: Inside an F-IDE
Pessaux, F., 26 avr. 2014, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 149, p. 64-78 15 p.
Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Accès ouvert
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).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
Development Life-cycle of Critical Software Under FoCaL
Ayrault, P., Hardin, T. & Pessaux, F., 28 juil. 2009, Dans: Electronic Notes in Theoretical Computer Science. 243, p. 15-31 17 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
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).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
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 déc. 2004, Dans: European Space Agency, (Special Publication) ESA SP. 570, p. 358-366 9 p.
Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Type-based analysis of uncaught exceptions
Leroy, X. & Pessaux, F., 1 janv. 2000, Dans: ACM Transactions on Programming Languages and Systems. 22, 2, p. 340-377 38 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert