Jérôme Guitton

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Operational Semantics

Restrictive Assumptions

Information Fusion

Top Venues

Ingénierie des Systèmes d Inf.

Publications

Ely Beibou, Jérôme Guitton, Julien Barde, Thérèse Libourel
Des indicateurs et des métadonnées pour les décrire : intégration au sein d'atlas géomatique en ligne. SAGEO (2015)
Ely Beibou, Jérôme Guitton, Julien Barde
SICP : système d'information collaboratif pour l'environnement et la gestion durable des pêches en Mauritanie. Ingénierie des Systèmes d Inf. 20 (3) (2015)
Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. TAP@STAF (2014)
Ely Beibou, Jérôme Guitton, Thérèse Libourel
Atlas géomatique collaboratif pour l'environnement et la gestion durable des ressources halieutiques, en Afrique de l'ouest, cas de la Mauritanie : Elaboration d'un système d'information collaboratif. INFORSID (2014)
Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT (2013)
Mathieu Colléter, Jérôme Guitton, Didier Gascuel
An Introduction to the EcoTroph R Package: Analyzing Aquatic Ecosystem Trophic Networks. R J. 5 (1) (2013)
Johannes Kanig, Jérôme Guitton, Yannick Moy
Hi-Lite - Verification by Contract. Softwaretechnik-Trends 31 (3) (2011)
Romain Berrendonner, Jérôme Guitton
The ESA Ravenscar Benchmark. Ada-Europe (2005)