Gregor GOESSLER

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):