| 2025 | Coordination | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. | Nikolaus Huber, Susanne Graf, Philipp Rmmer, Wang Yi |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2022 | Coordination | MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. | Wang Yi, Morteza Mohaqeqi, Susanne Graf |
| 2022 | DATE | Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems. | Lea Schnberger, Susanne Graf, Selma Saidi, Dirk Ziegenbein, Arne Hamann |
| 2018 | FMICS | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler |
| 2015 | MODELS | Introduction to ACES-MB 2015. | Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober |
| 2014 | ISPDC | Distributed Implementation of Constrained Systems Based on Knowledge. | Susanne Graf |
| 2013 | IFM | Knowledge for the Distributed Implementation of Constrained Systems. | Susanne Graf, Sophie Quinton |
| 2011 | FORTE | Monitoring Distributed Systems Using Knowledge. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2011 | SEFM | Distributed Implementation of Systems with Multiparty Interactions and Priorities. | Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz |
| 2010 | ATVA | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | CAV | Achieving Distributed Control through Model Checking. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | ICFEM | Reasoning about Safety and Progress Using Contracts. | Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton |
| 2008 | ICSE | A model transformation tool for performance simulation of complex uml models. | Olivier Constant, Wei Monin, Susanne Graf |
| 2008 | MODELS | Model Based Architecting and Construction of Embedded Systems. | Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sbastien Grard |
| 2008 | SEFM | Contract-Based Verification of Hierarchical Systems of Components. | Sophie Quinton, Susanne Graf |
| 2007 | FORTE | Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. | Susanne Graf, Sophie Quinton |
| 2007 | SOFSEM | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2006 | MODELS | Modelling and Analysis of Real Time and Embedded Systems - Using UML. | Susanne Graf, Sbastien Grard, ystein Haugen, Iulian Ober, Bran Selic |
| 2002 | CAV | IF-2.0: A Validation Environment for Component-Based Real-Time Systems. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2001 | NCA | Automated Validation of Distributed Software Using the IF Environment. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2000 | CAV | IF: A Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 1999 | FM | 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 |
| 1997 | CAV | Construction of Abstract State Graphs with PVS. | Susanne Graf, Hassen Sadi |
| 1996 | CAV | Verifying Invariants Using theorem Proving. | Susanne Graf, Hassen Sadi |
| 1994 | CAV | Verification of a Distributed Cache Memory by Using Abstractions. | Susanne Graf |
| 1993 | CAV | A Tool for Symbolic Program Verification and Abstration. | Susanne Graf, Claire Loiseaux |
| 1991 | CAV | An Algebra of Boolean Processes. | Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
| 1991 | ICALP | Safety for Branching Time Semantics. | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodrguez, Joseph Sifakis |
| 1990 | CAV | Compositional Minimization of Finite State Systems. | Susanne Graf, Bernhard Steffen |
| 1990 | FORTE | Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. | Mrio Baptista, Susanne Graf, Jean-Luc Richier, Lus E. T. Rodrigues, Carlos Rodrguez, Paulo Verssimo, Jacques Voiron |
| 1987 | ICALP | Readiness Semantics for Regular Processes with Silent Actions. | Susanne Graf, Joseph Sifakis |
| 1986 | MFCS | A Complete Inference System for an Algebra or Regular Acceptance Models. | Susanne Graf |
| 1984 | ICALP | A Modal Characterization of Observational Congruence on Finite Terms of CCS. | Susanne Graf, Joseph Sifakis |