Susanne Graf

Research Laboratory: VERIMAG

Research Team: Distributed and Complex Systems

Main Research interests: Models and Methods for the Construction and Verification of Complex Concurrent Systems

• Component-based system specification and analysis (see also projects SPEEDS and BIP)
• Heterogeneous Designs (SPEEDS and BIP)
• Real-Time UML (see also OMEGA) and associated verification techniques
• Component based design and verification (see also OMEGA and ARTIST
• Verification in the Large: IF language and Tool-set
• Semantics of real-time and distributed systems,
• Time extensions of Modelling languages (INTERVAL, OMEGA)
• Verification of infinite state systems by means of abstract interpretation
• Combination of abstraction, algorithmic model checking and theorem proving (Invariant Checker)
• Temporal Logics and associated Verification Techniques

Main Current Projects

• ARTIST2 and ARTIST DESIGN (2008-2011)
  • Cluster Real Time Components
  • Platform Real Time Components
• IST Integrated project SPEEDS Speculative and Exploratory Design in Systems Engineering (2006-2009):
• French RNTL project OpenEmBEDD An open source platform making available model-based techniques for the development of real-time and embedded systems (2006-2008)<
• French RNRT project PERSIFORM Performance engineering based on simulation of formal functional models (2005-2007)