Travelled to:1 × USA
2 × United Kingdom
Collaborated with:R.Berrendonner J.Kanig R.Chapman C.Comar Y.Moy E.Rees P.Courtieu M.Aponte T.Crolard Z.Zhang Robby J.Belt J.Hatcliff T.Jennings
Talks about:explicit (2) ravenscar (1) benchmark (1) program (1) assumpt (1) toward (1) static (1) semant (1) prenup (1) formal (1)
Person: Jérôme Guitton
DBLP: Guitton:J=eacute=r=ocirc=me
Contributed to:
2014
2013
2005Wrote 3 papers:
- TAP-2014-KanigCCGMR #verification
- Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
- HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
- Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
- AdaEurope-2005-BerrendonnerG #benchmark #metric
- The ESA Ravenscar Benchmark (RB, JG), pp. 260–271.