Web VERIMAG

VERIMAG

Susanne Graf

CNRS Research professor (Directeur de Recherche)
in the MOHYTOS Team

Susanne.Graf@imag.fr
Tel: (+33) 4 57 42 22 19
Office 283 in IMAG building

Interests and Activities:

Research Topics
Invited Presentations
Boards and Committees
Workshops and Conferences
Research Projects
Design and Validation Tools
Some PHOTOS from meetings in Grenoble or events attended (oldish but some new pictures from the 1st CAV in 89)
Links (not maintained)

Publications:

My list (with abstracts, bibrefs, downloads --- somewhat outdated most of the time)
List at DLBP
Google scholar profile

Contact information:

Contact

Links on diverse topics
mostly (very) outdated

Conference Sites:
- For a good, regularly updated list see here
- ACM conference calendar

V&V Tools (for real-time) (to be completed, let me know if you want to see your tool included):
- The IF tool set for the verification of SDL spedicifications
- The Spin Verification tool
- NuSMV
- jETI platform for tool integration
- CADP
- The KRONOS tool
- Uppaal
- INVEST
- PVS Homepage and PVS News
- STeP
- TrueTime
- PEP tool and other PetriNet tools

Pictures from meetings organized at Grenoble:
- Some Recent Photos
Chorals
- AtChaPoly