Scholar
Susanne Graf
Google Scholar ID: sqk2344AAAAJ
Research Director, CNRS, Grenoble University, Verimag
Citations & Impact
Citations
449
H-index
8
i10-index
8
Publications
20
Co-authors
52
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Recipient of the 2022 CAV award (along with Hassen Saidi) for pioneering work on predicate abstraction. This work was presented at CAV'97 in the paper “Construction of abstract state graphs with PVS”, which proposed a method for the automatic construction of an abstract state graph of an arbitrary system using the PVS theorem prover. Predicate Abstraction has had a significant and lasting impact on the field of formal verification.
Research Experience
- Research professor (Directeur de Recherche) at CNRS, member of the MOHYTOS team; involved in several projects such as collaborations with Wang Yi and the Embedded Systems group in Uppsala, ERC CUSTOMER project, etc.
Background
- Research interests include design and verification of complex embedded systems, contract-based design approaches, component-based design and verification, etc.
Miscellany
- Contact: Susanne.Graf@imag.fr, Tel: (+33) 4 57 42 22 19, Office 283 in IMAG building
