Susanne Graf: Selected Publications

• 1. Journal Papers
• 2. Edited Work
• 3. Book Chapters or Collections
• 4. Conference and Workshop Papers
• 5. Technical Reports never or not yet published

1. Journal Papers

1. Graf Susanne, Quinton Sophie
   Knowledge-based Construction of Distributed Constrained Systems
   In Int. Journal on Software and System Modelling vol. 15 (4) September 2016 [download]
   
   
2. Graf Susanne, Peled Doron, Quinton Sophie
   Achieving distributed control through model checking
   In Formal Methods in System Design vol. 40 (2) 2012 [download]
   
   
3. Hafaiedh Imene Ben, Graf Susanne, Quinton Sophie
   Building Distributed Controllers for Systems with Priorities
   In J. Log. Algebr. Program. vol. 80 (3) 2011
   
   
4. Passerone Roberto, Ben-Hafaiedh Imene, Graf Susanne, Benveniste Albert, Cancila Daniela, Cuccuru Arnaud, Gérard Sébastien, Terrier François, Damm Werner, Ferrari Alberto, Mangeruca Leonardo, Josko Bernhard, Peikenkamp Thomas, Sangiovanni-Vincentelli Alberto L.
   Meta-models in Europe: Languages, Tools and Applications
   In IEEE Design \& Test of Computers vol. 26 (3) 2009 [download]
   
   
5. Ober Iulian, Graf Susanne, Yushtein Yuri, Ober Ileana
   Timing analysis and validation with UML: the case of the embedded MARS bus manager
   In Innovations in Systems and Software Engineering vol. 4 (3) September 2008 [download]
   
   
6. Graf Susanne
   OMEGA -- Correct development of Real Time Embedded Systems
   In SoSyM, int. Journal on Software \& Systems Modelling vol. 7 (2) 2008
   
   
7. Graf Susanne, Ober Iulian
   Software and architecture modelling with Omega-UML and validation with IF
   In Génie Logiciel vol. 1 (80) Hermes 2007
   
   
8. Graf Susanne, Prinz Andreas
   Time in Abstract State Machines
   In Fundamentae Informaticae, Special issue on ASM 2005 vol. 77 (1) 2007 [download]
   
   
9. Graf Susanne, Ober Ileana, Ober Iulian
   A real-time profile for UML
   In STTT, Software Tools for Technology Transfer vol. 8 (2) April 2006 [download]
   
   
10. Graf Susanne, Ober Ileana, Ober Iulian
    Validating Timed UML models by simulation and verification
    In STTT, Software Tools for Technology Transfer vol. 8 (2) April 2006 [download]
    
    
11. Graf Susanne, Ober Ileana, Haugen Oystein, Selic Bran
    Specification and Validation of Models of Real Time and Embedded Systems in UML
    In STTT, Software Tools for Technology Transfer, a special issue on the SVERTS 2003 workshop vol. 8 (2) April 2006 [download]
    
    
12. Ober Iulian, Graf Susanne, Ober Ileana, Lesens David
    Un profile UML et un outil pour la modélisation et la validation de systèmes temps-réel
    In Numéro spécial du journal Génie Logiciel consacré à la Journée NEPTUNE 05 : Ingénierie des Modèles - vérification de modèles vol. 73 May 2005 [download]
    
    
13. Graf Susanne
    Tools and Algorithms for the Construction and Analysis of Systems: An STTT special section
    In STTT, Software Tools for Technology Transfer vol. 4 (2) February 2003 [download]
    
    
14. Graf Susanne
    Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
    In Distributed Computing vol. 12 Springer Verlag 1999 [download]
    
    
15. Graf Susanne, Lüttgen Gerald, Steffen Bernhard
    Compositional Minimisation of Finite State Systems using Interface Specifications
    In Formal Aspects of Computation vol. 8 1996 [download]
    
    
16. Loiseaux Claire, Graf Susanne, Sifakis Joseph, Bouajjani Ahmed, Bensalem Saddek
    Property Preserving Abstractions for the Verification of Concurrent Systems
    In Formal Methods in System Design vol. 6 January 1995 [download]
    
    
17. Graf Susanne, Sifakis Joseph
    A Logic for the Description of non Deterministic Programs and their Properties
    In Information and Control vol. 68 1986
    
    
18. Graf Susanne, Sifakis Joseph
    A Modal Characterization of Observational Congruence on Finite Terms of CCS
    In Information and Control vol. 68 1986 [download]
    
    
19. Graf Susanne, Sifakis Joseph
    A logic for the specification and proof of regular controllable processes of CCS
    In Acta Informatica vol. 23 1986
    
    
20. Graf Susanne, Sifakis Joseph
    A logic for the specification and proof of regular controllable processes of CCS
    In Logics and Models of Concurrent Systems 1985
    
    
21. Graf Susanne
    On Lamport's comparison between linear and branching time logic
    In RAIRO Informatique Théorique vol. 18 (4) 1984
    
    

2. Edited Work

1. Tiziana Margaria, Susanne Graf, Larsen Kim Guldstrand (Eds.)
   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 vol. 11200 Springer 2019 [download]
   
   
2. Susanne Graf, Mahesh Viswanathan (Eds.)
   Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th DisCoTec, Grenoble, France, June 2-4, 2015
   Lecture Notes in Computer Science vol. 9039 Springer 2015 [download]
   
   
3. Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar (Eds.)
   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 vol. 1508 2015
   
   
4. Florian Noyrit, Susanne Graf, Iulia Dragomir (Eds.)
   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 vol. 1250 CEUR-WS.org 2014 [download]
   
   
5. Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai (Eds.)
   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 vol. 1084 CEUR-WS.org 2013 [download]
   
   
6. Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer (Eds.)
   Design and Validation of Concurrent Systems, 30.08. - 04.09.2009
   Dagstuhl Seminar Proceedings vol. 09361 Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik, Germany 2009 [download]
   
   
7. Van Baelen Stefan, Ober Iulian, Graf Susanne, Filali Mamoun, Weigert Thomas (Eds.)
   ACESMB 2008 First International Workshop on Model Based Architecting and Constructing of Embedded Systems, Toulouse, 29/09/2008 - 29/09/2008
   IRIT Press September 2008 [download]
   
   
8. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
   6th Symposium on Formal Methods for Components and Objects, October 24-26, 2007, Revised Lectures
   Lecture Notes in Computer Science vol. 5382 2008 [download]
   
   
9. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
   5th Symposium on Formal Methods for Components and Objects, November 7-10, 2006, Revised Lectures
   Lecture Notes in Computer Science vol. 4709 2007 [download]
   
   
10. Graf Susanne, Zhang Wenhui (Eds.)
    Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
    LNCS vol. 4218 2006 [download]
    
    
11. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
    4th Symposium on Formal Methods for Components and Objects, revised lectures
    Lecture Notes in Computer Science vol. 4111 2006 [download]
    
    
12. Gérard Sébastien, Graf Susanne, Haugen Oystein, Ober Iulian, Selic Bran (Eds.)
    2nd workshop on Modelling and Analysis of Real-Time Embedded Systems (MARTES 2006)
    Proceedings appeared as Research Report 343 of the university of Oslo 2006 [download]
    
    
13. Gérard Sébastien, Graf Susanne, Haugen Oystein, Ober Iulian, Selic Bran (Eds.)
    1st workshop on Modelling and Analysis of Real-Time Embedded Systems (MARTES 2005)
    Online proceedings available at \url{http://www.martes.org/} 2005 [download]
    
    
14. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
    3rd Symposium on Formal Methods for Components and Objects, revised lectures
    LNCS Tutorials vol. 3657 2005 [download]
    
    
15. Graf Susanne, Mounier Laurent (Eds.)
    11th International SPIN Workshop on Model Checking of Software, 2004
    Lecture Notes in Computer Science vol. 2989 2004 [download]
    
    
16. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
    2nd Symposium on Formal Methods for Components and Objects, revised lectures
    LNCS Tutorials vol. 3188 2004 [download]
    
    
17. Graf Susanne, Haugen Oystein, Ober Ileana, Selic Bran (Eds.)
    1st workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003)
    Verimag technical report 2003/10/22 2003 [download]
    
    
18. De Boer Frank, Bonsangue Marcello, Graf Susanne, De Roever Willem-Paul (Eds.)
    1st Symposium on Formal Methods for Components and Objects, revised lectures
    LNCS Tutorials vol. 2852 2003 [download]
    
    
19. Graf Susanne, Schwartzbach Michael (Eds.)
    Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS2000
    LNCS vol. 1785 March 2000 [download]
    
    
20. Graf Susanne, Jard Claude (Eds.)
    SDL and MSC Workshop SAM 2000
    IMAG Research report series June 2000 [download]
    
    
21. Garavel Hubert, Graf Susanne
    Formal Methods for Safe and Secure Computers Systems - BSI Study 875
    BSI German Federal Office for Information Security 2013
    
    

3. Book Chapters or Collections

1. Graf Susanne, Passerone Roberto, Quinton Sophie
   Contract-Based Reasoning for Component Systems with Rich Interactions
   In Alberto L. Sangiovanni Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (Eds.) Embedded Systems Development, From Functional Models to Implementations Springer New York 2014 [download]
   
   
2. Bozga Marius, Graf Susanne, Mounier Laurent, Ober Iulian
   Modeling and Verification of Real Time Systems Using the IF Toolbox
   In Navet Nicolas (Eds.) Real Time Systems 1: Modeling and verification techniques Traité IC2, série Informatique et systèmes d'information vol. 1 Hermes, Lavoisier 2008
   
   
3. Bozga Marius, Graf Susanne, Mounier Laurent, Ober Iulian
   La boîte à outils IF pour la modélisation et la vérification de systèmes temps réel
   In Navet Nicolas (Eds.) Systèmes temps réel : techniques de description et de vérification Traité IC2, série Informatique et systèmes d'information vol. 1 Hermes, Lavoisier 2006
   
   
4. Jonsson Bengt, Brinksma Ed, Coulson Geoff, Graf Susanne, Crnkovic Ivica, Gérard Sébastien, Hermanns Holger, Jezequel Jean-Marc, Ravn Anders, Schnoebelen Philippe, Terrier François, Votintseva Angelika
   Roadmap: Component based design and Integration platforms
   In Sifakis Joseph, Bouyssounouse Bruno (Eds.) Embedded Systems Design: The ARTIST Roadmap for Research and Development LNCS vol. 3436 Springer 2005 [download]
   
   
5. Graf Susanne, Richier Jean-Luc, Voiron Jacques
   Verification of systems with time-constraints
   In ``Delta-4 Architecture Guide'', collection ESPRIT Springer Verlag 1991 [download]
   
   

4. Conference and Workshop Papers

1. Wang Yi, Morteza Mohaqeqi, Susanne Graf
   MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
   In Maurice H. ter Beek, Marjan Sirjani (Eds.) Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings Lecture Notes in Computer Science vol. 13271 Springer 2022 [download]
   
   
2. Lea Schönberger, Susanne Graf, Selma Saidi, Dirk Ziegenbein, Arne Hamann
   Contract-Based Quality-of-Service Assurance in Dynamic Distributed Systems
   In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu (Eds.) 2022 Design, Automation \& Test in Europe Conference \& Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022 IEEE 2022 [download]
   
   
3. Tiziana Margaria, Susanne Graf, Kim Guldstrund Larsen
   Models, Mindsets, Meta: The What, the How, and the Why Not?
   In 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 vol. 11200 Springer 2018
   
   
4. Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gö\ssler
   Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
   In Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings Lecture Notes in Computer Science vol. 11119 Springer 2018 [download]
   
   
5. Lijun Shan, Susanne Graf, Sophie Quinton, Lo"\ic Fejoz
   A Framework for Evaluating Schedulability Analysis Tools
   In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Lecture Notes in Computer Science vol. 10460 Springer 2017 [download]
   
   
6. Lijun Shan, Susanne Graf
   Timing Verification of an Aerial Video Tracking System Using UPPAAL
   In Formal Methods for Timing Verification Challenge at WATERS 2015 vol. part of ECRTS 2015, Lund 2015 [download]
   
   
7. Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
   Introduction to ACES-MB 2015
   In 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. 2015
   
   
8. Graf Susanne
   Distributed Implementation of Constrained Systems based on Knowledge
   In Traian Muntean (Eds.) IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2013, Porquerolles Golden Island, France, June 24-27, 2014 IEEE 2014
   
   
9. Conquet Eric, Dormoy Francois-Xavier, Dragomir Iulia, Graf Susanne, Lesens David, Nienaltowski Piotr, Ober Iulian
   Formal Model Driven Engineering for Space Onboard Software
   In International Congress on Embedded Real Time Software and Systems (ERTS2), Toulouse, February 2012 French Society for Electricity, Electronics, and Information and Communication Technologies 2012
   
   
10. Susanne Graf, Sophie Quinton
    Knowledge for the Distributed Implementation of Constrained Systems
    In Einar Broch Johnsen, Luigia Petre (Eds.) Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 Lecture Notes in Computer Science vol. 7940 Springer 2013
    
    
11. Hafaiedh Imene Ben, Graf Susanne, Jaber Mohamad
    Model-based design and distributed implementation of bus arbiter for multiprocessors
    In 18th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2011, Beirut, Lebanon, December 11-14, 2011 IEEE 2011
    
    
12. Hafaiedh Imene Ben, Graf Susanne, Mazouz Nejla
    Distributed Implementation of Systems with Multiparty Interactions and Priorities
    In Barthe Gilles, Pardo Alberto, Schneider Gerardo (Eds.) Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Lecture Notes in Computer Science vol. 7041 Springer 2011
    
    
13. Graf Susanne, Passerone Roberto, Quinton Sophie
    Contract-Based Reasoning for Component Systems with Complex Interactions
    In TIMOBD'11 2011 [download]
    
    
14. Graf Susanne, Peled Doron, Quinton Sophie
    Monitoring Distributed Systems Using Knowledge
    In Bruni Roberto, Dingel Jürgen (Eds.) Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Lecture Notes in Computer Science vol. 6722 Springer 2011 [download]
    
    
15. Ben-Hafaiedh Imene, Graf Susanne, Khairallah Hammadi
    Implementing Distributed Controllers for Systems with Priorities
    In Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA EPTCS vol. 30 2010
    
    
16. Ben-Hafaiedh Imene, Graf Susanne, Quinton Sophie
    Reasoning about Safety and Progress Using Contracts
    In Dong Jin Song, Zhu Huibiao (Eds.) Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings Lecture Notes in Computer Science vol. 6447 Springer 2010
    
    
17. Ben-Hafaiedh Imene, Graf Susanne, Quinton Sophie
    Contract-Based Reasoning about Progress: Application to Resource Sharing in a Network
    In Proc. of FLACOS'10 2010
    
    
18. Bensalem Saddek, Bozga Marius, Graf Susanne, Peled Doron, Quinton Sophie
    Methods for Knowledge Based Controlling of Distributed Systems
    In Bouajjani Ahmed, Chin Wei-Ngan (Eds.) Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings Lecture Notes in Computer Science vol. 6252 Springer 2010 [download]
    
    
19. Graf Susanne, Peled Doron, Quinton Sophie
    Achieving Distributed Control through Model Checking
    In Touili Tayssir, Cook Byron, Jackson Paul (Eds.) Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings Lecture Notes in Computer Science vol. 6174 Springer 2010 [download]
    
    
20. Ben-Hafaiedh Imene, Constant Olivier, Graf Susanne, Robbana Riadh
    A Model-Based Design and Validation Approach with the OMEGA-UML Profile and the IF Toolset
    In 2nd Mediterranean Conference on Intelligent Systems and Automation, CISA 2009, March 23-25, Zarzis, Tunesia AIP Conference Proceedings vol. 1107 American Institut of Physics 2009
    
    
21. Quinton Sophie, Ben-Hafaiedh Imene, Graf Susanne
    From Orchestration to Choreography: Memoryless and Distributed Orchestrators
    In Proc. of FLACOS'09 2009
    
    
22. Ober Iulian, Baelen Stefan Van, Graf Susanne, Filali Mamoun, Weigert Thomas, Gérard Sébastien
    Model Based Architecting and Construction of Embedded Systems
    In Chaudron Michel (Eds.) Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers Lecture Notes in Computer Science vol. 5421 Springer 2009
    
    
23. Constant Olivier, Monin Wei, Graf Susanne
    A Model Transformation Tool for Performance Simulation of Complex UML Models
    In ICSE 2008, tool track vol. ICSE Companion ACM 2008 [download]
    
    
24. Quinton Sophie, Graf Susanne
    Contract-Based Verification of Hierarchical Systems of Components
    In 6th IEEE Int. Conferences on Software Engineering and Formal Methods, SEFM08, Cape Town, South Africa, 10-14 November 2008 IEEE Computer Society Press 2008 [download]
    
    
25. Quinton Sophie, Graf Susanne
    A Framework for Contract-Based Reasoning: Motivation and Application
    In Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS, Malta, november 2008 2008
    
    
26. Gössler Gregor, Graf Susanne, Majster-Cederbaum Mila, Martens Moritz, Sifakis Joseph
    An Approach to Modeling and Verification of Component Based Systems
    In Current Trends in Theory and Practice of Computer Science, SOFSEM'07 LNCS vol. 4362 2007 [download]
    
    
27. Graf Susanne, Quinton Sophie
    Contracts for BIP: hierarchical interaction models for compositional verification
    In FORTE 2007, Talinn LNCS vol. 4574 2007 [download]
    
    
28. Bozga Marius, Combes Pierre, Graf Susanne, Monin Wei, Moteau Nicolas
    Qualification d'architectures fontionnelles
    In Notere'06 2006 [download]
    
    
29. Graf Susanne, Gérard Sébastien, Haugen Oystein, Ober Iulian, Selic Bran
    MARTES - Modelling and Analysis of Real Time and Embedded Systems Using UML
    In MoDELS 2006 International Workshops, Doctoral Symposium, Educators Symposium; Genoa, October 2006, Revised Selected Papers LNCS vol. 4364 2006 [download]
    
    
30. Gössler Gregor, Graf Susanne, Majster-Cederbaum Mila, Martens Moritz, Sifakis Joseph
    Ensuring Properties of Interaction Systems by Construction
    In Program Analysis and Compilation, Theory and Practice LNCS vol. 4444 2006 [download]
    
    
31. Ober Iulian, Graf Susanne, Yushtein Yuri
    Using an UML profile for timing analysis with the IF validation tool-set
    In Proceedings of Model-Based Development of Embedded Systems, MBEES, Dagstuhl, Germany Technical Report SSE, U. Braunschweig vol. 2006-1 January 2006 [download]
    
    
32. Ober Iulian, Graf Susanne, Lesens David
    A case study in UML model-based validation: The Ariane-5 launcher
    In Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006 LNCS vol. 4037 2006 [download]
    
    
33. Graf Susanne, Gérard Sébastien, Haugen Oystein, Ober Iulian, Selic Bran
    MARTES - Specification and Validation of Real-time and Embedded Systems, workshop overview
    In MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium; Montenegro Bay, Jamaica, October 2005, Revised Selected Papers LNCS vol. 3844 2005 [download]
    
    
34. Ober Iulian, Graf Susanne, Yushtein Yuri
    Timing analysis and validation of the embedded MARS bus manager
    In Intl Workshop on Modeling and Analysis of Real Time Embedded Systems, MARTES 2005, associated with MoDELS 2005 October 2005 [download]
    
    
35. Crnkovic Ivica, Axelsson Jakob, Graf Susanne, Larsson Magnus, Ommering Rob C. van, Wallnau Kurt C.
    COTS component-Based Embedded Systems - A Dream or Reality?
    In ICCBSS 2005, Bilbao, January 2005 LNCS vol. 3412 2005 [download]
    
    
36. Bozga Marius, Graf Susanne, Mounier Laurent, Ober Iulian
    IF Tutorial
    In 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain Lecture Notes in Computer Science vol. 2989 April 2004
    
    
37. Bozga Marius, Graf Susanne, Ober Iulian, Ober Ileana, Sifakis Joseph
    The IF toolset
    In 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, SFM-04:RT, Bologna, Sept. 2004 LNCS Tutorials vol. 3185 Springer Verlag 2004 [download]
    
    
38. Graf Susanne, Hooman Jozef
    Correct Development of Embedded Systems
    In European Workshop on Software Architecture: Languages, Styles, Models, Tools, and Applications (EWSA 2004), co-located with ICSE 2004, St Andrews, Scotland LNCS vol. 3047 May 2004 [download]
    
    
39. Graf Susanne, Ober Ileana
    How useful is the UML real-time profile SPT without Semantics?
    In Int. workshop SIVOES 2004, associated with RTAS 2004, Toronto Canada April 2004 [download]
    
    
40. Graf Susanne, Haugen Oystein, Ober Ileana, Selic Bran
    SVERTS - Specification and Validation of Real-time and Embedded Systems, workshop overview
    In UML Modeling Languages and Applications, UML 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers LNCS vol. 3297 2004 [download]
    
    
41. Ober Iulian, Graf Susanne, Ober Ileana
    Model Checking of UML Models via a Mapping to Communicating Extended Timed Automata
    In 11th International SPIN Workshop on Model Checking of Software, 2004 LNCS vol. 2989 2004 [download]
    
    
42. Bensalem Saddek, Graf Susanne, Lakhnech Yassine
    Abstraction as the Key for Invariant Verification
    In Dershowitz Nachum (Eds.) Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Lecture Notes in Computer Science vol. 2772 Springer 2003 [download]
    
    
43. Graf Susanne, Ober Ileana
    A Real-time profile for UML and how to adapt it to SDL
    In SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings LNCS vol. 2708 July 2003 [download]
    
    
44. Ober Iulian, Graf Susanne, Ober Ileana
    Validating Timed UML models by simulation and verification
    In Workshop SVERTS on Specification and Validation of UML models for Real Time and Embedded Systems, a satellite event of UML 2003, San Francisco, October 2003 October 2003
    
    
45. Bozga Marius, Graf Susanne, Mounier Laurent
    IF-2.0: A Validation Environment for Component-Based Real-Time Systems
    In Brinksma Ed, Larsen Kim Guldstrand (Eds.) Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen LNCS vol. 2404 Springer Verlag June 2002 [download]
    
    
46. Graf Susanne
    Expression of time and duration constraints in SDL
    In 3rd SAM Workshop on SDL and MSC, University of Wales Aberystwyth LNCS vol. 2599 Springer Verlag June 2002 [download]
    
    
47. Bozga Marius, Graf Susanne, Mounier Laurent
    Automated validation of distributed software using the IF environment
    In Stoller Scott D., Visser Willem (Eds.) Workshop on Software Model-checking, associated with CAV 2001, Paris Electronic Notes in Theoretical Computer Science vol. 55 Elsevier Science Publishers July 2001 [download]
    
    
48. Bozga Marius, Mounier Laurent, Graf Susanne
    Automated validation of distributed software using the IF environment
    In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001) IEEE October 2001
    
    
49. Bozga Marius, Kerbrat Alain, Graf Susanne, Mounier Laurent, Ober Iulian, Vincent Daniel
    Timed Extensions for SDL
    In Proceedings of SDL FORUM'01 (Copenhagen, Denmark) LNCS vol. 2078 Springer Verlag June 2001 [download]
    
    
50. Graf Susanne, Jia Guoping
    Verification Experiments on the Mascara Protocol
    In Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings LNCS vol. 2057 Springer Verlag May 2001 [download]
    
    
51. Bozga Marius, Ghirvu Lucian, Graf Susanne, Mounier Laurent
    IF: A Validation Environment for Timed Asynchronous Systems
    In Emerson Ernest Allen, Sistla A. Prasad (Eds.) Proceedings of Conference on Computer Aided Verification, CAV'00, Chicago LNCS vol. 1855 Springer Verlag June 2000 [download]
    
    
52. Bozga Marius, Graf Susanne, Kerbrat Alain, Mounier Laurent, Ober Iulian, Vincent Daniel
    SDL for Real Time: What is missing?
    In Proceedings of SAM'00: 2nd Workshop on SDL and MSC (Grenoble, France) IMAG June 2000 [download]
    
    
53. Bozga Marius, Fernandez Jean-Claude, Ghirvu Lucian, Graf Susanne, Krimm Jean-Pierre, Mounier Laurent
    IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
    In Proceedings of Symposium on Formal Methods 99, Toulouse LNCS vol. 1708 (1708) Springer Verlag September 1999 [download]
    
    
54. Bozga Marius, Fernandez Jean-Claude, Ghirvu Lucian, Graf Susanne, Krimm Jean-Pierre, Mounier Laurent, Sifakis Joseph
    IF: An Intermediate Representation for SDL and its Applications
    In Dssouli Rachida, Bochmann Gregor, Lahav Yair (Eds.) Proceedings of SDL Forum 99, Montreal Elsevier June 1999 [download]
    
    
55. Graf Susanne, Saidi Hassen
    Construction of abstract state graphs with PVS
    In Conference on Computer Aided Verification CAV'97, Haifa LNCS vol. 1254 June 1997 [download]
    
    
56. Graf Susanne, Saidi Hassen
    Verifying invariants using theorem proving
    In Conference on Computer Aided Verification CAV'96 LNCS vol. 1102 July 1996 [download]
    
    
57. Graf Susanne
    Verification of a distributed Cache memory by using abstractions
    In Conference on Computer Aided Verification CAV'94, Stanford LNCS vol. 818 Springer Verlag June 1994 [download]
    
    
58. Graf Susanne, Loiseaux Claire
    Program Verification using compositional Abstraction
    In TAPSOFT 93, joint conference CAAP/FASE LNCS 668, Springer Verlag April 1993 [download]
    
    
59. Graf Susanne, Loiseaux Claire
    A tool for symbolic program verification and abstraction
    In Conference on Computer Aided Verification CAV 93, Heraklion Crete LNCS vol. 697 Springer Verlag 1993 [download]
    
    
60. Bouajjani Ahmed, Fernandez Jean-Claude, Graf Susanne, Sifakis Joseph, Rodriguez Carlos
    Safety for branching Semantics
    In Albert-Leach Javier, Monien Burkhard, Rodriguez-Artalejo Mario (Eds.) Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings LNCS vol. 510 Springer Verlag July 1991 [download]
    
    
61. Courcoubetis Costas, Graf Susanne, Sifakis Joseph
    An Algebra for Boolean Processes
    In Workshop on Computer-Aided Verification CAV'91, Aalborg (Denmark) LNCS vol. 575 Springer Verlag June 1991 [download]
    
    
62. Kanoun Kamara, Arlat Jean, Burrill L., Crouzet Yves, Graf Susanne, Martins Eliane, MacInness A., Powell David, Richier Jean-Luc, Voiron Jacques
    Delta-4 Architecture Validation
    In ESPRIT Conference Week 91 1991
    
    
63. Baptista M., Graf Susanne, Richier Jean-Luc, Rodrigues Luis, Rodr\'\iguez Carlos, Ver\'\issimo Paulo, Voiron Jacques
    Formal Specification and verification of a Network Independent Atomic Multicast Protocol
    In IFIP Conf. FORTE 90, Madrid North Holland November 1990 [download]
    
    
64. Graf Susanne, Steffen Bernhard
    Compositional Minimisation of Finite State Processes
    In Workshop on Computer-Aided Verification, Rutgers LNCS vol. 531 Springer Verlag June 1990 [download]
    
    
65. Graf Susanne, Richier Jean-Luc, Rodr\'\iguez Carlos, Voiron Jacques
    What are the limits of model checking methods for the verification of real life protocols?
    In Sifakis Joseph (Eds.) Workshop on Automatic Verification Methods for Finite State Systems (1st CAV), Grenoble LNCS vol. 407 Springer Verlag June 1989
    
    
66. Bouajjani Ahmed, Graf Susanne, Sifakis Joseph
    A Logic for the description of Behaviours and Properties of Concurrent Systems
    In de Bakker J. W., de Roever Willem P., Rozenberg Grzegorz (Eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX School/Workshop, Noordwijkerhout LNCS vol. 354 May 1988
    
    
67. Graf Susanne, Sifakis Joseph
    Readiness Semantics for Regular Processes with Silent Actions
    In Ottmann Thomas (Eds.) Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987 LNCS vol. 267 Springer Verlag July 1987
    
    
68. Graf Susanne, Sifakis Joseph
    An expressive logic for a process algebra with silent actions
    In Banieqbal Behnam, Barringer Howard, Pnueli Amir (Eds.) Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings LNCS vol. 398 Springer Verlag 1987
    
    
69. Graf Susanne
    A complete inference system for an algebra of regular acceptance models
    In Gruska Jozef, Rovan Branislav, Wiedermann Juraj (Eds.) Mathematical Foundations of Computer Science MFCS'86, Bratislava, August 25-29, 1996 LNCS vol. 223 Springer Verlag 1986
    
    
70. Graf Susanne, Sifakis Joseph
    From synchronization tree logic to acceptance model logic
    In Parikh Rohit (Eds.) Logics of Programs, Conference, Brooklyn College, June 17-19, 1985 LNCS vol. 193 Springer Verlag 1985
    
    
71. Graf Susanne, Sifakis Joseph
    A Modal Characterization of Observational Congruence on Finite Terms of CCS
    In Paredaens Jan (Eds.) ICALP 84, Antwerpen LNCS vol. 172 Springer Verlag 1984
    
    

5. Technical Reports never or not yet published

1. Wang Yi, Morteza Mohaqeqi, Susanne Graf
   MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
   CoRR vol. abs/2011.13234 2020 [download]
   
   
2. Lijun Shan, Susanne Graf, Sophie Quinton
   RTLib: A Library of Timed Automata for Modeling Real-Time Systems
   Research Report Univ Grenoble Alpes - INRIA Grenoble-Rhone-Alpes 2016 [download]
   
   
3. Olivier Constant, Wei Monin, Susanne Graf
   From Complex UML Models to Systematic Performance Simulation
   Verimag Research Report (TR-2007-10) July 2007 [download]
   
   
4. Susanne Graf, Frank de Boer, Pierre Combes, Jozef Hooman, Hillel Kugler, Marcel Kyas, David Lesens, Iulian Ober, Angelika Votintseva, Yuri Yushtein, Meir Zenou
   Omega Final Project Report
   Deliverable of the Omega IST project 2005 [download]
   
   
5. Susanne Graf
   States and events in the context of timed systems
   Verimag September 2003
   
   
6. Susanne Graf
   Report on the organisations of ETAPS 2002 in Grenoble
   Verimag 2002
   
   
7. Susanne Graf, Laurent Mounier, Iulian Ober
   Timed Extensions for SDL
   Document Temporaire, ITU, secteur de standardisations des Télécommunications, groupe d'étude 10 November 2000
   
   
8. Susanne Graf, Yassine Lakhnech, Pierre Wolper
   Coping with Process Identities in Networks of Similar Processes
   Verimag January 1999
   
   
9. Susanne Graf
   Efficient Automata Encoding of Arithmetic expressions
   VERIMAG, Grenoble 1995
   
   
10. Susanne Graf, Alfred Schmitt
    Simulationsmodell für die Studie von Laufzeiten auf Hardware-Ebene
    Fakult{ä}t f{ü}r Informatik, Universit{ä}t Fredericiana Karlsruhe 1980