Susanne Graf

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 10

Top Venues

ACES-MB&WUCOR@MoDELS

CoRR

Dagstuhl Artifacts Ser.

Models, Mindsets, Meta

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Lea Schönberger, Susanne Graf, Selma Saidi, Dirk Ziegenbein, Arne Hamann
Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems. DATE (2022)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION (2022)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR (2020)
Tiziana Margaria, Susanne Graf, Kim G. Larsen
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta (2018)
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS (2018)
Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools (2017)
Susanne Graf, Sophie Quinton
Knowledge-based construction of distributed constrained systems. Softw. Syst. Model. 15 (4) (2016)
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS (2015)
Susanne Graf
Distributed Implementation of Constrained Systems Based on Knowledge. ISPDC (2014)
Susanne Graf, Sophie Quinton
Knowledge for the Distributed Implementation of Constrained Systems. IFM (2013)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving distributed control through model checking. Formal Methods Syst. Des. 40 (2) (2012)
Susanne Graf, Doron A. Peled, Sophie Quinton
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE (2011)
Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz
Distributed Implementation of Systems with Multiparty Interactions and Priorities. SEFM (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber
Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Reasoning about Safety and Progress Using Contracts. ICFEM (2010)
Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah
Implementing Distributed Controllers for Systems with Priorities FOCLASA (2010)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving Distributed Control through Model Checking. CAV (2010)
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
Methods for Knowledge Based Controlling of Distributed Systems. ATVA (2010)
Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems (2009)
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems. MoDELS (Workshops) (2008)
Sophie Quinton, Susanne Graf
Contract-Based Verification of Hierarchical Systems of Components. SEFM (2008)
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager. Innov. Syst. Softw. Eng. 4 (3) (2008)
Susanne Graf
OMEGA: correct development of real time and embedded systems. Softw. Syst. Model. 7 (2) (2008)
Olivier Constant, Wei Monin, Susanne Graf
A model transformation tool for performance simulation of complex uml models. ICSE Companion (2008)
Susanne Graf, Sophie Quinton
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE (2007)
Susanne Graf, Andreas Prinz
Time in State Machines. Fundam. Informaticae 77 (1-2) (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) (2007)
Iulian Ober, Susanne Graf, Yuri Yushtein
Using an UML profile for timing analysis with the IF validation tool-set. MBEES (2006)
Iulian Ober, Susanne Graf, David Lesens
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS (2006)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
Ensuring Properties of Interaction Systems. Program Analysis and Compilation (2006)
Susanne Graf, Ileana Ober, Iulian Ober
A real-time profile for UML. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
Preface of "Specification and Validation of Real Time and Embedded systems in UML". Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Iulian Ober, Susanne Graf, Ileana Ober
Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
Modelling and Analysis of Real Time and Embedded Systems - Using UML. MoDELS (Workshops) (2006)
Susanne Graf, Andreas Prinz
Time in State Machines. Abstract State Machines (2005)
Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
Modeling and Analysis of Real-Time and Embedded Systems. MoDELS (Satellite Events) (2005)
Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob C. van Ommering, Kurt C. Wallnau
COTS Component-Based Embedded Systems - A Dream or Reality? ICCBSS (2005)
Iulian Ober, Susanne Graf, Ileana Ober
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN (2004)
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
IF Validation Environment Tutorial. SPIN (2004)
Susanne Graf, Jozef Hooman
Correct Development of Embedded Systems. EWSA (2004)
Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
SVERTS - Specification and Validation of Real-Time and Embedded Systems. UML Satellite Activities (2004)
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
The IF Toolset. SFM (2004)
Susanne Graf, Ileana Ober
A Real-Time Profile for UML and How to Adapt It to SDL. SDL Forum (2003)
Saddek Bensalem, Susanne Graf, Yassine Lakhnech
Abstraction as the Key for Invariant Verification. Verification: Theory and Practice (2003)
Susanne Graf
Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Susanne Graf
Expression of Time and Duration Constraints in SDL. SAM (2002)
Marius Bozga, Susanne Graf, Laurent Mounier
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV (2002)
Guoping Jia, Susanne Graf
Verification Experiments on the MASCARA Protocol. SPIN (2001)
Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
Timed Extensions for SDL. SDL Forum (2001)
Marius Bozga, Susanne Graf, Laurent Mounier
Automated validation of distributed software using the IF environment. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Marius Bozga, Susanne Graf, Laurent Mounier
Automated Validation of Distributed Software Using the IF Environment. NCA (2001)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. CAV (2000)
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
SDL for Real-Time: What is Missing? SAM (2000)
Susanne Graf
Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. Distributed Comput. 12 (2-3) (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods (1999)
Susanne Graf, Hassen Saïdi
Construction of Abstract State Graphs with PVS. CAV (1997)
Susanne Graf, Hassen Saïdi
Verifying Invariants Using theorem Proving. CAV (1996)
Susanne Graf, Bernhard Steffen, Gerald Lüttgen
Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. 8 (5) (1996)
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. 6 (1) (1995)
Susanne Graf
Verification of a Distributed Cache Memory by Using Abstractions. CAV (1994)
Susanne Graf, Claire Loiseaux
Property Preserving Abstractions under Parallel Composition. TAPSOFT (1993)
Susanne Graf, Claire Loiseaux
A Tool for Symbolic Program Verification and Abstration. CAV (1993)
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
Safety for Branching Time Semantics. ICALP (1991)
Costas Courcoubetis, Susanne Graf, Joseph Sifakis
An Algebra of Boolean Processes. CAV (1991)
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE (1990)
Susanne Graf, Bernhard Steffen
Compositional Minimization of Finite State Systems. CAV (1990)
Susanne Graf, Bernhard Steffen
Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) (1990)
Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems (1989)
Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
A logig for the description of behaviours and properties of concurrent systems. REX Workshop (1988)
Susanne Graf, Joseph Sifakis
An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification (1987)
Susanne Graf, Joseph Sifakis
Readiness Semantics for Regular Processes with Silent Actions. ICALP (1987)
Susanne Graf
A Complete Inference System for an Algebra or Regular Acceptance Models. MFCS (1986)
Susanne Graf, Joseph Sifakis
A Modal Characterization of Observational Congruence on Finite Terms of CCS Inf. Control. 68 (1-3) (1986)
Susanne Graf, Joseph Sifakis
A Logic for the Description of Non-deterministic Programs and Their Properties Inf. Control. 68 (1-3) (1986)
Susanne Graf, Joseph Sifakis
A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Informatica 23 (5) (1986)
Susanne Graf, Joseph Sifakis
Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs (1985)
Susanne Graf
On Lamport's Comparison Between Linear and Branching Time Temporal Logic. RAIRO Theor. Informatics Appl. 18 (4) (1984)
Susanne Graf, Joseph Sifakis
A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP (1984)
Susanne Graf, Joseph Sifakis
A Logic for the Specification and Proof of Controllable Processes of CCS. Logics and Models of Concurrent Systems (1984)

Susanne Graf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Susanne Graf