Research Areas

The AMfoRS team has been created in January 2015. Its core expertise is on verification and resiliency. This expertise comes from the joint skills of part of the members of the previous ARIS and VDS groups. AMfoRS aims at increasing the synergies between verification activities and activities on design and validation of reliable, safe and secure integrated systems, with a focus on digital parts.

The team addresses crucial challenges regarding what we summarize as "resilient systems" i.e., both the guarantee that systems will not behave unexpectedly and that they will afford a substantial level of robustness and security. This includes three main axes:


TIMA
46 avenue Félix Viallet
38031 GRENOBLE Cedex France