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