Gregor GOESSLER

Senior research scientist, INRIA

Head of the SPADES team


Research Activity:

Formal methods for component-based design of embedded systems.

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


Publications (list not maintained):