François Pessaux

Statistics

Publications

Citations

169

H-Index

Active since

1999

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

François Pessaux is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and software engineering.

ORCID

Publications per year

1999–2014

Publications

Type-based analysis of uncaught exceptions

Xavier Leroy, François Pessaux · ACM Transactions on Programming Languages and Systems · 2000 · 88 citations · Full text

Computing, Computer Science, Compilers +15

Type-based analysis of uncaught exceptions

François Pessaux, Xavier Leroy · 1999 · 55 citations · Full text

Computing, Computer Science, Compilers +15

Development Life-cycle of Critical Software Under FoCaL

Philippe Ayrault, Thérèse Hardin, François Pessaux · Electronic Notes in Theoretical Computer Science · 2009 · 16 citations · Full text

Computing, Computer Science, Formal Methods +16

FoCaLiZe: Inside an F-IDE

François Pessaux · Electronic Proceedings in Theoretical Computer Science · 2014 · 10 citations · Full text

Computing, Computer Science, Formal Methods +15

1–4 of 4