Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarSusanne Graf
Person information
- affiliation: IMAG, Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[e14]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11200, Springer 2019, ISBN 978-3-030-22347-2 [contents]- 2018
- [c59]Tiziana Margaria, Susanne Graf, Kim G. Larsen:
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta 2018: 3-13 - [c58]Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler:
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS 2018: 19-31 - 2017
- [c57]Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz:
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools 2017: 539-559 - 2016
- [j19]Susanne Graf, Sophie Quinton:
Knowledge-based construction of distributed constrained systems. Software and Systems Modeling 15(4): 1163-1180 (2016) - 2015
- [c56]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober:
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS 2015: 1-2 - [e13]Susanne Graf, Mahesh Viswanathan:
Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9039, Springer 2015, ISBN 978-3-319-19194-2 [contents] - [e12]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar:
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), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1508, CEUR-WS.org 2015 [contents] - 2014
- [c55]Susanne Graf:
Distributed Implementation of Constrained Systems Based on Knowledge. ISPDC 2014: 10-13 - [p1]Susanne Graf, Roberto Passerone, Sophie Quinton:
Contract-Based Reasoning for Component Systems with Rich Interactions. Embedded Systems Development, From Functional Models to Implementations 2014: 139-154 - [e11]Florian Noyrit, Susanne Graf, Iulia Dragomir:
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014. CEUR Workshop Proceedings 1250, CEUR-WS.org 2014 [contents] - 2013
- [c54]Susanne Graf, Sophie Quinton:
Knowledge for the Distributed Implementation of Constrained Systems. IFM 2013: 77-93 - [e10]Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai:
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. CEUR Workshop Proceedings 1084, CEUR-WS.org 2013 [contents] - 2012
- [j18]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving distributed control through model checking. Formal Methods Syst. Des. 40(2): 263-281 (2012) - 2011
- [j17]Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. 80(3-5): 194-218 (2011) - [c53]Susanne Graf, Doron A. Peled, Sophie Quinton:
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197 - [c52]Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber:
Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS 2011: 65-68 - [c51]Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz:
Distributed Implementation of Systems with Multiparty Interactions and Priorities. SEFM 2011: 38-57 - 2010
- [c50]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66 - [c49]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving Distributed Control through Model Checking. CAV 2010: 396-409 - [c48]Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
Reasoning about Safety and Progress Using Contracts. ICFEM 2010: 436-451 - [c47]Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah:
Implementing Distributed Controllers for Systems with Priorities. FOCLASA 2010: 31-46
2000 – 2009
- 2009
- [j16]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): 38-53 (2009) - [i1]Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer:
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems 2009 - 2008
- [j15]Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober:
Timing analysis and validation with UML: the case of the embedded MARS bus manager. ISSE 4(3): 301-308 (2008) - [j14]Susanne Graf:
OMEGA: correct development of real time and embedded systems. Software and Systems Modeling 7(2): 127-130 (2008) - [c46]Olivier Constant, Wei Monin, Susanne Graf:
A model transformation tool for performance simulation of complex uml models. ICSE Companion 2008: 923-924 - [c45]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: 1-4 - [c44]Sophie Quinton, Susanne Graf:
Contract-Based Verification of Hierarchical Systems of Components. SEFM 2008: 377-381 - [e9]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5 [contents] - 2007
- [j13]Susanne Graf, Andreas Prinz:
Time in State Machines. Fundam. Inform. 77(1-2): 143-174 (2007) - [c43]Susanne Graf, Sophie Quinton:
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. FORTE 2007: 1-18 - [c42]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: 295-308 - [e8]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8 [contents] - 2006
- [j12]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): 93-96 (2006) - [j11]Susanne Graf, Ileana Ober, Iulian Ober:
A real-time profile for UML. Int. J. Softw. Tools Technol. Transf. 8(2): 113-127 (2006) - [j10]Iulian Ober, Susanne Graf, Ileana Ober:
Validating timed UML models by simulation and verification. Int. J. Softw. Tools Technol. Transf. 8(2): 128-145 (2006) - [c41]Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224 - [c40]Iulian Ober, Susanne Graf, David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. FMOODS 2006: 48-62 - [c39]Iulian Ober, Susanne Graf, Yuri Yushtein:
Using an UML profile for timing analysis with the IF validation tool-set. MBEES 2006: 75-84 - [c38]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: 126-130 - [e7]Susanne Graf, Wenhui Zhang:
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Lecture Notes in Computer Science 4218, Springer 2006, ISBN 3-540-47237-1 [contents] - [e6]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, ISBN 3-540-36749-7 [contents] - 2005
- [c37]Susanne Graf, Andreas Prinz:
Time in State Machines. Abstract State Machines 2005: 217-232 - [c36]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: 1 - [c35]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: 58-66 - [e5]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, ISBN 3-540-29131-8 [contents] - 2004
- [c34]Susanne Graf, Jozef Hooman:
Correct Development of Embedded Systems. EWSA 2004: 241-249 - [c33]Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. SFM 2004: 237-267 - [c32]Iulian Ober, Susanne Graf, Ileana Ober:
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. SPIN 2004: 127-145 - [c31]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober:
IF Validation Environment Tutorial. SPIN 2004: 306-307 - [c30]Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic:
SVERTS - Specification and Validation of Real-Time and Embedded Systems. UML Satellite Activities 2004: 33-42 - [e4]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188, Springer 2004, ISBN 3-540-22942-6 [contents] - [e3]Susanne Graf, Laurent Mounier:
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989, Springer 2004, ISBN 3-540-21314-7 [contents] - 2003
- [j9]Susanne Graf:
Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 4(2): 139-141 (2003) - [c29]Saddek Bensalem, Susanne Graf, Yassine Lakhnech:
Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99 - [c28]Susanne Graf, Ileana Ober:
A Real-Time Profile for UML and How to Adapt It to SDL. SDL Forum 2003: 55-76 - [e2]Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6 [contents] - 2002
- [c27]Marius Bozga, Susanne Graf, Laurent Mounier:
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348 - [c26]Susanne Graf:
Expression of Time and Duration Constraints in SDL. SAM 2002: 38-52 - 2001
- [j8]Marius Bozga, Susanne Graf, Laurent Mounier:
Automated validation of distributed software using the IF environment. Electron. Notes Theor. Comput. Sci. 55(3): 370-381 (2001) - [c25]Marius Bozga, Susanne Graf, Laurent Mounier:
Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275 - [c24]Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent:
Timed Extensions for SDL. SDL Forum 2001: 223-240 - [c23]Guoping Jia, Susanne Graf:
Verification Experiments on the MASCARA Protocol. SPIN 2001: 123-142 - 2000
- [c22]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier:
IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547 - [c21]Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent:
SDL for Real-Time: What is Missing? SAM 2000: 108- - [e1]Susanne Graf, Michael I. Schwartzbach:
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1785, Springer 2000, ISBN 3-540-67282-6 [contents]
1990 – 1999
- 1999
- [j7]Susanne Graf:
Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. Distributed Comput. 12(2-3): 75-90 (1999) - [c20]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: 307-327 - [c19]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: 423-440 - 1997
- [c18]Susanne Graf, Hassen Saïdi:
Construction of Abstract State Graphs with PVS. CAV 1997: 72-83 - 1996
- [j6]Susanne Graf, Bernhard Steffen, Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Asp. Comput. 8(5): 607-616 (1996) - [c17]Susanne Graf, Hassen Saïdi:
Verifying Invariants Using theorem Proving. CAV 1996: 196-207 - 1995
- [j5]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): 11-44 (1995) - 1994
- [c16]Susanne Graf:
Verification of a Distributed Cache Memory by Using Abstractions. CAV 1994: 207-219 - 1993
- [c15]Susanne Graf, Claire Loiseaux:
A Tool for Symbolic Program Verification and Abstration. CAV 1993: 71-84 - [c14]Susanne Graf, Claire Loiseaux:
Property Preserving Abstractions under Parallel Composition. TAPSOFT 1993: 644-657 - 1991
- [c13]Costas Courcoubetis, Susanne Graf, Joseph Sifakis:
An Algebra of Boolean Processes. CAV 1991: 454-465 - [c12]Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis:
Safety for Branching Time Semantics. ICALP 1991: 76-92 - 1990
- [c11]Susanne Graf, Bernhard Steffen:
Compositional Minimization of Finite State Systems. CAV 1990: 186-196 - [c10]Susanne Graf, Bernhard Steffen:
Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) 1990: 57-74 - [c9]M. 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: 345-352
1980 – 1989
- 1989
- [c8]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: 275-285 - 1988
- [c7]Ahmed Bouajjani, Susanne Graf, Joseph Sifakis:
A logig for the description of behaviours and properties of concurrent systems. REX Workshop 1988: 398-410 - 1987
- [c6]Susanne Graf, Joseph Sifakis:
Readiness Semantics for Regular Processes with Silent Actions. ICALP 1987: 115-125 - [c5]Susanne Graf, Joseph Sifakis:
An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification 1987: 44-61 - 1986
- [j4]Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Informatica 23(5): 507-527 (1986) - [j3]Susanne Graf, Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS. Inf. Control. 68(1-3): 125-145 (1986) - [j2]Susanne Graf, Joseph Sifakis:
A Logic for the Description of Non-deterministic Programs and Their Properties. Inf. Control. 68(1-3): 254-270 (1986) - [c4]Susanne Graf:
A Complete Inference System for an Algebra or Regular Acceptance Models. MFCS 1986: 386-395 - 1985
- [c3]Susanne Graf, Joseph Sifakis:
Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs 1985: 128-142 - 1984
- [b1]Susanne Graf:
Logique du temps arborescent pour la spécification et la preuve de programmes. Grenoble Institute of Technology, France, 1984 - [j1]Susanne Graf:
On Lamport's Comparison Between Linear and Branching Time Temporal Logic. RAIRO Theor. Informatics Appl. 18(4): 345-353 (1984) - [c2]Susanne Graf, Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP 1984: 222-234 - [c1]Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Controllable Processes of CCS. Logics and Models of Concurrent Systems 1984: 369-395
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-07-22 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
