The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susanne Graf: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
    What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:275-285 [Conf]
  2. Saddek Bensalem, Susanne Graf, Yassine Lakhnech
    Abstraction as the Key for Invariant Verification. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:67-99 [Conf]
  3. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
    IF: A Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:543-547 [Conf]
  4. Marius Bozga, Susanne Graf, Laurent Mounier
    IF-2.0: A Validation Environment for Component-Based Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:343-348 [Conf]
  5. Costas Courcoubetis, Susanne Graf, Joseph Sifakis
    An Algebra of Boolean Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:454-465 [Conf]
  6. Susanne Graf
    Verification of a Distributed Cache Memory by Using Abstractions. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:207-219 [Conf]
  7. Susanne Graf, Claire Loiseaux
    A Tool for Symbolic Program Verification and Abstration. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:71-84 [Conf]
  8. Susanne Graf, Bernhard Steffen
    Compositional Minimization of Finite State Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:186-196 [Conf]
  9. Susanne Graf, Hassen Saïdi
    Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:196-207 [Conf]
  10. Susanne Graf, Hassen Saïdi
    Construction of Abstract State Graphs with PVS. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:72-83 [Conf]
  11. Susanne Graf, Jozef Hooman
    Correct Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EWSA, 2004, pp:241-249 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:307-327 [Conf]
  13. Iulian Ober, Susanne Graf, David Lesens
    Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:48-62 [Conf]
  14. M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
    Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:345-352 [Conf]
  15. Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis
    Safety for Branching Time Semantics. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:76-92 [Conf]
  16. Susanne Graf, Joseph Sifakis
    A Modal Characterization of Observational Congruence on Finite Terms of CCS. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:222-234 [Conf]
  17. Susanne Graf, Joseph Sifakis
    Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:115-125 [Conf]
  18. Ivica Crnkovic, Jakob Axelsson, Susanne Graf, Magnus Larsson, Rob C. van Ommering, Kurt C. Wallnau
    COTS Component-Based Embedded Systems - A Dream or Reality? [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2005, pp:1- [Conf]
  19. Susanne Graf, Joseph Sifakis
    Frm Synchronization Tree Logic to Acceptance Model Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:128-142 [Conf]
  20. Susanne Graf
    A Complete Inference System for an Algebra or Regular Acceptance Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:386-395 [Conf]
  21. Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
    Modelling and Analysis of Real Time and Embedded Systems - Using UML. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:126-130 [Conf]
  22. Marius Bozga, Susanne Graf, Laurent Mounier
    Automated Validation of Distributed Software Using the IF Environment. [Citation Graph (0, 0)][DBLP]
    NCA, 2001, pp:268-275 [Conf]
  23. Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
    A logig for the description of behaviours and properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:398-410 [Conf]
  24. Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
    SDL for Real-Time: What is Missing? [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:108-0 [Conf]
  25. Susanne Graf
    Expression of Time and Duration Constraints in SDL. [Citation Graph (0, 0)][DBLP]
    SAM, 2002, pp:38-52 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:423-440 [Conf]
  27. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
    Timed Extensions for SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:223-240 [Conf]
  28. Susanne Graf, Ileana Ober
    A Real-Time Profile for UML and How to Adapt It to SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:55-76 [Conf]
  29. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
    The IF Toolset. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:237-267 [Conf]
  30. Iulian Ober, Susanne Graf, Ileana Ober
    Validation of UML Models via a Mapping to Communicating Extended Timed Automata. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:127-145 [Conf]
  31. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
    IF Validation Environment Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:306-307 [Conf]
  32. Guoping Jia, Susanne Graf
    Verification Experiments on the MASCARA Protocol. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:123-142 [Conf]
  33. Susanne Graf, Claire Loiseaux
    Property Preserving Abstractions under Parallel Composition. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:644-657 [Conf]
  34. Susanne Graf, Joseph Sifakis
    An Expressive Logic for a Process Algebra with Silent Actions. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:44-61 [Conf]
  35. Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
    Modeling and Analysis of Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:58-66 [Conf]
  36. Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
    SVERTS - Specification and Validation of Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:33-42 [Conf]
  37. Susanne Graf, Joseph Sifakis
    A Logic for the Specification and Proof of Regular Controllable Processes of CCS. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:5, pp:507-527 [Journal]
  38. Susanne Graf
    Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:75-90 [Journal]
  39. Marius Bozga, Susanne Graf, Laurent Mounier
    Automated validation of distributed software using the IF environment. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  40. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
    Compositional Minimisation of Finite State Systems Using Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:607-616 [Journal]
  41. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
    Property Preserving Abstractions for the Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:1, pp:11-44 [Journal]
  42. Susanne Graf, Joseph Sifakis
    A Modal Characterization of Observational Congruence on Finite Terms of CCS [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:125-145 [Journal]
  43. Susanne Graf, Joseph Sifakis
    A Logic for the Description of Non-deterministic Programs and Their Properties [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:68, n:1-3, pp:254-270 [Journal]
  44. Susanne Graf
    On Lamport's Comparison Between Linear and Branching Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ITA, 1984, v:18, n:4, pp:345-353 [Journal]
  45. Susanne Graf
    Preface by the section editor. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:139-141 [Journal]
  46. Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic
    Preface of "Specification and Validation of Real Time and Embedded systems in UML". [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:93-96 [Journal]
  47. Iulian Ober, Susanne Graf, Ileana Ober
    Validating timed UML models by simulation and verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:128-145 [Journal]
  48. Susanne Graf, Ileana Ober, Iulian Ober
    A real-time profile for UML. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:113-127 [Journal]
  49. Susanne Graf, Andreas Prinz
    Time in State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:217-232 [Conf]
  50. Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
    Ensuring Properties of Interaction Systems. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:201-224 [Conf]
  51. Susanne Graf, Sophie Quinton
    Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:1-18 [Conf]
  52. Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
    An Approach to Modelling and Verification of Component Based Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:295-308 [Conf]
  53. Susanne Graf, Andreas Prinz
    Time in State Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:143-174 [Journal]

  54. Methods for Knowledge Based Controlling of Distributed Systems. [Citation Graph (, )][DBLP]


  55. Achieving Distributed Control through Model Checking. [Citation Graph (, )][DBLP]


  56. A model transformation tool for performance simulation of complex uml models. [Citation Graph (, )][DBLP]


  57. Model Based Architecting and Construction of Embedded Systems. [Citation Graph (, )][DBLP]


  58. Contract-Based Verification of Hierarchical Systems of Components. [Citation Graph (, )][DBLP]


  59. Using an UML profile for timing analysis with the IF validation tool-set. [Citation Graph (, )][DBLP]


  60. Implementing Distributed Controllers for Systems with Priorities [Citation Graph (, )][DBLP]


  61. Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002