Research fellow / Chargé de recherche INRIA

Head of the SPADES team

Research Activity:

Formal methods for component-based design of embedded systems.

New: G. Gössler and J.-B. Stefani. Causality analysis and fault ascription in component-based systems. Theoretical Computer Science 837, 2020 (share link).

For an up-to-date list of publications please check out DBLP and HAL (open access).

Publications (list not maintained):