A Logic for the Specification and Proof of Controllable Processes of CCS. - Susanne Graf; Joseph Sifakis (Logics and Models of Concurrent Systems, 1984)

On Lamport's Comparison Between Linear and Branching Time Temporal Logic. - Susanne Graf (RAIRO Theor. Informatics Appl., 1984)

Logique du temps arborescent pour la spécification et la preuve de programmes. - Susanne Graf (1984)

Frm Synchronization Tree Logic to Acceptance Model Logic. - Susanne Graf; Joseph Sifakis (Logic of Programs, 1985)

A Complete Inference System for an Algebra or Regular Acceptance Models. - Susanne Graf (MFCS, 1986)

A Logic for the Specification and Proof of Regular Controllable Processes of CCS. - Susanne Graf; Joseph Sifakis (Acta Informatica, 1986)

A Modal Characterization of Observational Congruence on Finite Terms of CCS - Susanne Graf; Joseph Sifakis (Inf. Control., 1986)

A Logic for the Description of Non-deterministic Programs and Their Properties - Susanne Graf; Joseph Sifakis (Inf. Control., 1986)

Readiness Semantics for Regular Processes with Silent Actions. - Susanne Graf; Joseph Sifakis (ICALP, 1987)

An Expressive Logic for a Process Algebra with Silent Actions. - Susanne Graf; Joseph Sifakis (Temporal Logic in Specification, 1987)

A logig for the description of behaviours and properties of concurrent systems. - Ahmed Bouajjani; Susanne Graf; Joseph Sifakis (REX Workshop, 1988)

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? - Susanne Graf; Jean-Luc Richier; Carlos Rodríguez; Jacques Voiron (Automatic Verification Methods for Finite State Systems, 1989)

Compositional Minimization of Finite State Systems. - Susanne Graf; Bernhard Steffen (CAV, 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 Rodríguez; Paulo Veríssimo; Jacques Voiron (FORTE, 1990)

An Algebra of Boolean Processes. - Costas Courcoubetis; Susanne Graf; Joseph Sifakis (CAV, 1991)

Safety for Branching Time Semantics. - Ahmed Bouajjani; Jean-Claude Fernandez; Susanne Graf; Carlos Rodríguez; Joseph Sifakis (ICALP, 1991)

A Tool for Symbolic Program Verification and Abstration. - Susanne Graf; Claire Loiseaux (CAV, 1993)

Property Preserving Abstractions under Parallel Composition. - Susanne Graf; Claire Loiseaux (TAPSOFT, 1993)

Verification of a Distributed Cache Memory by Using Abstractions. - Susanne Graf (CAV, 1994)

Property Preserving Abstractions for the Verification of Concurrent Systems. - Claire Loiseaux; Susanne Graf; Joseph Sifakis; Ahmed Bouajjani; Saddek Bensalem (Formal Methods Syst. Des., 1995)

Verifying Invariants Using theorem Proving. - Susanne Graf; Hassen Saïdi (CAV, 1996)

Compositional Minimisation of Finite State Systems Using Interface Specifications. - Susanne Graf; Bernhard Steffen; Gerald Lüttgen (Formal Aspects Comput., 1996)

Construction of Abstract State Graphs with PVS. - Susanne Graf; Hassen Saïdi (CAV, 1997)

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 (World Congress on Formal Methods, 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 (SDL Forum, 1999)

Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. - Susanne Graf (Distributed Comput., 1999)

IF: A Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (CAV, 2000)

SDL for Real-Time: What is Missing? - Marius Bozga; Susanne Graf; Alain Kerbrat; Laurent Mounier; Iulian Ober; Daniel Vincent (SAM, 2000)

Timed Extensions for SDL. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober; Jean-Luc Roux; Daniel Vincent (SDL Forum, 2001)

Verification Experiments on the MASCARA Protocol. - Guoping Jia; Susanne Graf (SPIN, 2001)

Automated validation of distributed software using the IF environment. - Marius Bozga; Susanne Graf; Laurent Mounier (Workshop on Software Model Checking @ CAV, 2001)

IF-2.0: A Validation Environment for Component-Based Real-Time Systems. - Marius Bozga; Susanne Graf; Laurent Mounier (CAV, 2002)

Expression of Time and Duration Constraints in SDL. - Susanne Graf (SAM, 2002)

Abstraction as the Key for Invariant Verification. - Saddek Bensalem; Susanne Graf; Yassine Lakhnech (Verification: Theory and Practice, 2003)

A Real-Time Profile for UML and How to Adapt It to SDL. - Susanne Graf; Ileana Ober (SDL Forum, 2003)

Preface by the section editor. - Susanne Graf (Int. J. Softw. Tools Technol. Transf., 2003)

Correct Development of Embedded Systems. - Susanne Graf; Jozef Hooman (EWSA, 2004)

The IF Toolset. - Marius Bozga; Susanne Graf; Ileana Ober; Iulian Ober; Joseph Sifakis (SFM, 2004)

IF Validation Environment Tutorial. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober (SPIN, 2004)

Validation of UML Models via a Mapping to Communicating Extended Timed Automata. - Iulian Ober; Susanne Graf; Ileana Ober (SPIN, 2004)

SVERTS - Specification and Validation of Real-Time and Embedded Systems. - Susanne Graf; Øystein Haugen; Ileana Ober; Bran Selic (UML Satellite Activities, 2004)

COTS Component-Based Embedded Systems - A Dream or Reality? - Ivica Crnkovic; Jakob Axelsson; Susanne Graf; Magnus Larsson; Rob C. van Ommering; Kurt C. Wallnau (ICCBSS, 2005)

Modeling and Analysis of Real-Time and Embedded Systems. - Susanne Graf; Sébastien Gérard; Øystein Haugen; Iulian Ober; Bran Selic (MoDELS (Satellite Events), 2005)

Ensuring Properties of Interaction Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (Program Analysis and Compilation, 2006)

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. - Iulian Ober; Susanne Graf; David Lesens (FMOODS, 2006)

Using an UML profile for timing analysis with the IF validation tool-set. - Iulian Ober; Susanne Graf; Yuri Yushtein (MBEES, 2006)

Modelling and Analysis of Real Time and Embedded Systems - Using UML. - Susanne Graf; Sébastien Gérard; Øystein Haugen; Iulian Ober; Bran Selic (MoDELS (Workshops), 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)

A real-time profile for UML. - Susanne Graf; Ileana Ober; Iulian Ober (Int. J. Softw. Tools Technol. Transf., 2006)

Validating timed UML models by simulation and verification. - Iulian Ober; Susanne Graf; Ileana Ober (Int. J. Softw. Tools Technol. Transf., 2006)

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. - Susanne Graf; Sophie Quinton (FORTE, 2007)

An Approach to Modelling and Verification of Component Based Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (SOFSEM (1), 2007)

Time in State Machines. - Susanne Graf; Andreas Prinz 001 (Fundam. Informaticae, 2007)

A model transformation tool for performance simulation of complex uml models. - Olivier Constant; Wei Monin; Susanne Graf (ICSE Companion, 2008)

Model Based Architecting and Construction of Embedded Systems. - Iulian Ober; Stefan Van Baelen; Susanne Graf; Mamoun Filali; Thomas Weigert; Sébastien Gérard (MoDELS (Workshops), 2008)

Contract-Based Verification of Hierarchical Systems of Components. - Sophie Quinton; Susanne Graf (SEFM, 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)

OMEGA: correct development of real time and embedded systems. - Susanne Graf (Softw. Syst. Model., 2008)

09361 Abstracts Collection - Design and Validation of Concurrent Systems. - Cormac Flanagan; Susanne Graf; Madhusan Parthasarathy; Shaz Qadeer (Design and Validation of Concurrent Systems, 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; et al. (IEEE Des. Test Comput., 2009)

Methods for Knowledge Based Controlling of Distributed Systems. - Saddek Bensalem; Marius Bozga; Susanne Graf; Doron A. Peled; Sophie Quinton (ATVA, 2010)

Reasoning about Safety and Progress Using Contracts. - Imene Ben Hafaiedh; Susanne Graf; Sophie Quinton (ICFEM, 2010)

Implementing Distributed Controllers for Systems with Priorities - Imene Ben Hafaiedh; Susanne Graf; Hammadi Khairallah (FOCLASA, 2010)

Monitoring Distributed Systems Using Knowledge. - Susanne Graf; Doron A. Peled; Sophie Quinton (FMOODS/FORTE, 2011)

Model-based design and distributed implementation of bus arbiter for multiprocessors. - Imene Ben Hafaiedh; Susanne Graf; Mohamad Jaber 001 (ICECS, 2011)

Distributed Implementation of Systems with Multiparty Interactions and Priorities. - Imene Ben Hafaiedh; Susanne Graf; Nejla Mazouz (SEFM, 2011)

Building Distributed Controllers for Systems with Priorities. - Imene Ben Hafaiedh; Susanne Graf; Sophie Quinton (J. Log. Algebraic Methods Program., 2011)

Achieving distributed control through model checking. - Susanne Graf; Doron A. Peled; Sophie Quinton (Formal Methods Syst. Des., 2012)

Knowledge for the Distributed Implementation of Constrained Systems. - Susanne Graf; Sophie Quinton (IFM, 2013)

Contract-Based Reasoning for Component Systems with Rich Interactions. - Susanne Graf; Roberto Passerone; Sophie Quinton (Embedded Systems Development, From Functional Models to Implementations, 2014)

Distributed Implementation of Constrained Systems Based on Knowledge. - Susanne Graf (ISPDC, 2014)

Introduction to ACES-MB 2015. - Iulia Dragomir; Susanne Graf; Gabor Karsai; Florian Noyrit; Iulian Ober (ACES-MB&WUCOR@MoDELS, 2015)

Knowledge-based construction of distributed constrained systems. - Susanne Graf; Sophie Quinton (Softw. Syst. Model., 2016)

A Framework for Evaluating Schedulability Analysis Tools. - Lijun Shan; Susanne Graf; Sophie Quinton; Loïc Fejoz (Models, Algorithms, Logics and Tools, 2017)

Models, Mindsets, Meta: The What, the How, and the Why Not? - Tiziana Margaria; Susanne Graf; Kim G. Larsen (Models, Mindsets, Meta, 2018)

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. - Susanne Graf; Sophie Quinton; Alain Girault; Gregor Gößler (FMICS, 2018)

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. - Wang Yi 001; Morteza Mohaqeqi; Susanne Graf (COORDINATION, 2022)

Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems. - Lea Schönberger; Susanne Graf; Selma Saidi; Dirk Ziegenbein; Arne Hamann 001 (DATE, 2022)

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; et al. (ECRTS, 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; et al. (Dagstuhl Artifacts Ser., 2023)

Timing is All You Need. - Susanne Graf; Bengt Jonsson 001; Behnam Khodabandeloo; Chengzi Huang; Nikolaus Huber; Philipp Rümmer; Wang Yi 001 (The Combined Power of Research, Education, and Dissemination, 2025)

All About Time. - Susanne Graf; Paul Pettersson; Bernhard Steffen (Real Time and Such, 2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. - Nikolaus Huber; Susanne Graf; Philipp Rümmer; Wang Yi 001 (COORDINATION, 2025)