Susanne Graf

According to our database, Susanne Graf authored at least 80 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

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

Dagstuhl Artifacts Ser., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

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

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022

Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems.

Lea Schönberger, Susanne Graf, Selma Saidi, Dirk Ziegenbein, Arne Hamann

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.

Wang Yi, Morteza Mohaqeqi, Susanne Graf

Proceedings of the Coordination Models and Languages, 2022

2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Models, Mindsets, Meta: The What, the How, and the Why Not?

Tiziana Margaria, Susanne Graf, Kim G. Larsen

Proceedings of the Models, Mindsets, 2018

2017

A Framework for Evaluating Schedulability Analysis Tools.

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Knowledge-based construction of distributed constrained systems.

Susanne Graf, Sophie Quinton

Softw. Syst. Model., 2016

2015

Introduction to ACES-MB 2015.

Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

Distributed Implementation of Constrained Systems Based on Knowledge.

Susanne Graf

Proceedings of the IEEE 13th International Symposium on Parallel and Distributed Computing, 2014

Contract-Based Reasoning for Component Systems with Rich Interactions.

Susanne Graf, Roberto Passerone, Sophie Quinton

Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013

Knowledge for the Distributed Implementation of Constrained Systems.

Susanne Graf, Sophie Quinton

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Achieving distributed control through model checking.

Susanne Graf, Doron A. Peled, Sophie Quinton

Formal Methods Syst. Des., 2012

2011

Building Distributed Controllers for Systems with Priorities.

Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton

J. Log. Algebraic Methods Program., 2011

Distributed Implementation of Systems with Multiparty Interactions and Priorities.

Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model-based design and distributed implementation of bus arbiter for multiprocessors.

Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

Monitoring Distributed Systems Using Knowledge.

Susanne Graf, Doron A. Peled, Sophie Quinton

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Implementing Distributed Controllers for Systems with Priorities

Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Reasoning about Safety and Progress Using Contracts.

Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton

Proceedings of the Formal Methods and Software Engineering, 2010

Methods for Knowledge Based Controlling of Distributed Systems.

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

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

IEEE Des. Test Comput., 2009

09361 Abstracts Collection - Design and Validation of Concurrent Systems.

Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer

Proceedings of the Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009

2008

OMEGA: correct development of real time and embedded systems.

Susanne Graf

Softw. Syst. Model., 2008

Timing analysis and validation with UML: the case of the embedded MARS bus manager.

Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober

Innov. Syst. Softw. Eng., 2008

Contract-Based Verification of Hierarchical Systems of Components.

Sophie Quinton, Susanne Graf

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Model Based Architecting and Construction of Embedded Systems.

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

A model transformation tool for performance simulation of complex uml models.

Olivier Constant, Wei Monin, Susanne Graf

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Time in State Machines.

Susanne Graf, Andreas Prinz

Fundam. Informaticae, 2007

An Approach to Modelling and Verification of Component Based Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.

Susanne Graf, Sophie Quinton

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Validating timed UML models by simulation and verification.

Iulian Ober, Susanne Graf, Ileana Ober

Int. J. Softw. Tools Technol. Transf., 2006

A real-time profile for UML.

Susanne Graf, Ileana Ober, Iulian Ober

Int. J. Softw. Tools Technol. Transf., 2006

Preface of "Specification and Validation of Real Time and Embedded systems in UML".

Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic

Int. J. Softw. Tools Technol. Transf., 2006

Modelling and Analysis of Real Time and Embedded Systems - Using UML.

Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic

Proceedings of the Models in Software Engineering, 2006

Using an UML profile for timing analysis with the IF validation tool-set.

Iulian Ober, Susanne Graf, Yuri Yushtein

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.

Iulian Ober, Susanne Graf, David Lesens

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Ensuring Properties of Interaction Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the Program Analysis and Compilation, 2006

2005

Modeling and Analysis of Real-Time and Embedded Systems.

Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

COTS Component-Based Embedded Systems - A Dream or Reality?

Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob C. van Ommering, Kurt C. Wallnau

Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

2004

SVERTS - Specification and Validation of Real-Time and Embedded Systems.

Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic

Proceedings of the UML Modeling Languages and Applications, 2004

Validation of UML Models via a Mapping to Communicating Extended Timed Automata.

Iulian Ober, Susanne Graf, Ileana Ober

Proceedings of the Model Checking Software, 2004

IF Validation Environment Tutorial.

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober

Proceedings of the Model Checking Software, 2004

The IF Toolset.

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Correct Development of Embedded Systems.

Susanne Graf, Jozef Hooman

Proceedings of the Software Architecture, First European Workshop, 2004

2003

Preface by the section editor.

Susanne Graf

Int. J. Softw. Tools Technol. Transf., 2003

A Real-Time Profile for UML and How to Adapt It to SDL.

Susanne Graf, Ileana Ober

Proceedings of the SDL 2003: System Design, 2003

Abstraction as the Key for Invariant Verification.

Saddek Bensalem, Susanne Graf, Yassine Lakhnech

Proceedings of the Verification: Theory and Practice, 2003

2002

Expression of Time and Duration Constraints in SDL.

Susanne Graf

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

IF-2.0: A Validation Environment for Component-Based Real-Time Systems.

Marius Bozga, Susanne Graf, Laurent Mounier

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Automated validation of distributed software using the IF environment.

Marius Bozga, Susanne Graf, Laurent Mounier

Proceedings of the Workshop on Software Model Checking 2001, 2001

Verification Experiments on the MASCARA Protocol.

Guoping Jia, Susanne Graf

Proceedings of the Model Checking Software, 2001

Timed Extensions for SDL.

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent

Proceedings of the SDL 2001: Meeting UML, 2001

2000

SDL for Real-Time: What is Missing?

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent

Proceedings of the SAM 2000, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction.

Susanne Graf

Distributed Comput., 1999

IF: An intermediate representation for SDL and its applications.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis

Proceedings of the SDL '99 The Next Millennium, 1999

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Proceedings of the FM'99 - Formal Methods, 1999

1997

Construction of Abstract State Graphs with PVS.

Susanne Graf, Hassen Saïdi

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Compositional Minimisation of Finite State Systems Using Interface Specifications.

Susanne Graf, Bernhard Steffen, Gerald Lüttgen

Formal Aspects Comput., 1996

Verifying Invariants Using theorem Proving.

Susanne Graf, Hassen Saïdi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Property Preserving Abstractions for the Verification of Concurrent Systems.

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem

Formal Methods Syst. Des., 1995

1994

Verification of a Distributed Cache Memory by Using Abstractions.

Susanne Graf

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Property Preserving Abstractions under Parallel Composition.

Susanne Graf, Claire Loiseaux

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

A Tool for Symbolic Program Verification and Abstration.

Susanne Graf, Claire Loiseaux

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991

Safety for Branching Time Semantics.

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

An Algebra of Boolean Processes.

Costas Courcoubetis, Susanne Graf, Joseph Sifakis

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron

Proceedings of the Formal Description Techniques, 1990

Compositional Minimization of Finite State Systems.

Susanne Graf, Bernhard Steffen

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?

Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

A logig for the description of behaviours and properties of concurrent systems.

Ahmed Bouajjani, Susanne Graf, Joseph Sifakis

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

An Expressive Logic for a Process Algebra with Silent Actions.

Susanne Graf, Joseph Sifakis

Proceedings of the Temporal Logic in Specification, 1987

Readiness Semantics for Regular Processes with Silent Actions.

Susanne Graf, Joseph Sifakis

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

A Logic for the Description of Non-deterministic Programs and Their Properties

Susanne Graf, Joseph Sifakis

Inf. Control., 1986

A Modal Characterization of Observational Congruence on Finite Terms of CCS

Susanne Graf, Joseph Sifakis

Inf. Control., 1986

A Logic for the Specification and Proof of Regular Controllable Processes of CCS.

Susanne Graf, Joseph Sifakis

Acta Informatica, 1986

A Complete Inference System for an Algebra or Regular Acceptance Models.

Susanne Graf

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1985

Frm Synchronization Tree Logic to Acceptance Model Logic.

Susanne Graf, Joseph Sifakis

Proceedings of the Logics of Programs, 1985

1984

Logique du temps arborescent pour la spécification et la preuve de programmes.

Susanne Graf

PhD thesis, 1984

On Lamport's Comparison Between Linear and Branching Time Temporal Logic.

Susanne Graf

RAIRO Theor. Informatics Appl., 1984

A Logic for the Specification and Proof of Controllable Processes of CCS.

Susanne Graf, Joseph Sifakis

Proceedings of the Logics and Models of Concurrent Systems, 1984