Susanne Graf: Selected Publications


For viewing long items click on the publication titles

1. Journal Papers

  1. Graf Susanne, Quinton Sophie
    Knowledge-based Construction of Distributed Constrained Systems
    In Int. Journal on Software \& System Modelling vol. DOI 10.1007/s10270-014-0451-z online first, February 2015

  2. Graf Susanne, Peled Doron, Quinton Sophie
    Achieving distributed control through model checking
    In Formal Methods in System Design vol. 40 (2) 2012

  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

  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

  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. 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]

  2. 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]

  3. 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]

  4. 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]

  5. 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{"{u}}r Informatik, Germany 2009 [download]

  6. 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]

  7. 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]

  8. 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]

  9. 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]

  10. 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]

  11. 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]

  12. 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]

  13. Graf Susanne, Mounier Laurent (Eds.)
    11th International SPIN Workshop on Model Checking of Software, 2004
    Lecture Notes in Computer Science vol. 2989 2004 [download]

  14. 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]

  15. 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]

  16. 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]

  17. Graf Susanne, Schwartzbach Michael (Eds.)
    Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS2000
    LNCS vol. 1785 March 2000 [download]

  18. Graf Susanne, Jard Claude (Eds.)
    SDL and MSC Workshop SAM 2000
    IMAG Research report series June 2000 [download]

  19. 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 Embedded Systems Development Springer New York 2014

  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

4. Conference and Workshop Papers

  1. 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

  2. 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

  3. 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 [download]

  4. 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

  5. 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

  6. Graf Susanne, Passerone Roberto, Quinton Sophie
    Contract-Based Reasoning for Component Systems with Complex Interactions
    In TIMOBD'11 2011

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. Quinton Sophie, Ben-Hafaiedh Imene, Graf Susanne
    From Orchestration to Choreography: Memoryless and Distributed Orchestrators
    In Proc. of FLACOS'09 2009

  15. 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

  16. 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]

  17. 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]

  18. 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 [download]

  19. 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]

  20. Graf Susanne, Quinton Sophie
    Contracts for BIP: hierarchical interaction models for compositional verification
    In FORTE 2007, Talinn LNCS vol. 4574 2007 [download]

  21. Bozga Marius, Combes Pierre, Graf Susanne, Monin Wei, Moteau Nicolas
    Qualification d'architectures fontionnelles
    In Notere'06 2006 [download]

  22. 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]

  23. 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]

  24. 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]

  25. 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]

  26. 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]

  27. 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]

  28. 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]

  29. 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

  30. 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]

  31. 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]

  32. 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]

  33. 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]

  34. 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]

  35. 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]

  36. 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]

  37. 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

  38. 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]

  39. 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]

  40. 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]

  41. 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

  42. 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]

  43. 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]

  44. 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]

  45. 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]

  46. 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]

  47. 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]

  48. 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]

  49. Graf Susanne, Saidi Hassen
    Verifying invariants using theorem proving
    In Conference on Computer Aided Verification CAV'96 LNCS vol. 1102 July 1996 [download]

  50. 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]

  51. Graf Susanne, Loiseaux Claire
    Program Verification using compositional Abstraction
    In TAPSOFT 93, joint conference CAAP/FASE LNCS 668, Springer Verlag April 1993 [download]

  52. 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]

  53. Bouajjani Ahmed, Fernandez Jean-Claude, Graf Susanne, Sifakis Joseph, Rodr\'\iguez Carlos
    Safety for branching Semantics
    In Albert-Leach Javier, Monien Burkhard, Rodr\'\iguez-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]

  54. 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]

  55. 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

  56. 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]

  57. 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]

  58. 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

  59. 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

  60. 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

  61. 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

  62. 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

  63. 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

  64. 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. Olivier Constant, Wei Monin, Susanne Graf
    From Complex UML Models to Systematic Performance Simulation
    Verimag Research Report (TR-2007-10) July 2007 [download]

  2. 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]

  3. Susanne Graf
    States and events in the context of timed systems
    Verimag September 2003

  4. Susanne Graf
    Report on the organisations of ETAPS 2002 in Grenoble
    Verimag 2002

  5. 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

  6. Susanne Graf, Yassine Lakhnech, Pierre Wolper
    Coping with Process Identities in Networks of Similar Processes
    Verimag January 1999

  7. Susanne Graf
    Efficient Automata Encoding of Arithmetic expressions
    VERIMAG, Grenoble 1995

  8. Carlos Rodriguez, Jean-Luc Richier, Jacques Voiron, Susanne Graf
    XESAR version 3.1
    LGI, Grenoble November 1988

  9. Susanne Graf, Jacques Voiron
    Formal Specification of the Turbo-TR/MAC Protocol
    LGI, Grenoble April 1988

  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