CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > Publications > 2 CAFEIN papers @ HSCC’16

2 CAFEIN papers @ HSCC’16

lundi 17 octobre 2016, par Pierre-Loic Garoche

Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed : A Topological Method for Finding Invariant Sets of Switched Systems. HSCC 2016 : 61-70 [DOI]

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron : Formal Analysis of Robustness at Model and Code Level. HSCC 2016 : 125-134 [DOI]

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0