Search the dblp DataBase
Susanne Graf :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] Costas Courcoubetis , Susanne Graf , Joseph Sifakis An Algebra of Boolean Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:454-465 [Conf ] Susanne Graf Verification of a Distributed Cache Memory by Using Abstractions. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:207-219 [Conf ] Susanne Graf , Claire Loiseaux A Tool for Symbolic Program Verification and Abstration. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:71-84 [Conf ] Susanne Graf , Bernhard Steffen Compositional Minimization of Finite State Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:186-196 [Conf ] Susanne Graf , Hassen Saïdi Verifying Invariants Using theorem Proving. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:196-207 [Conf ] Susanne Graf , Hassen Saïdi Construction of Abstract State Graphs with PVS. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:72-83 [Conf ] Susanne Graf , Jozef Hooman Correct Development of Embedded Systems. [Citation Graph (0, 0)][DBLP ] EWSA, 2004, pp:241-249 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Susanne Graf , Joseph Sifakis Readiness Semantics for Regular Processes with Silent Actions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:115-125 [Conf ] 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 ] 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 ] Susanne Graf A Complete Inference System for an Algebra or Regular Acceptance Models. [Citation Graph (0, 0)][DBLP ] MFCS, 1986, pp:386-395 [Conf ] 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 ] 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 ] 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 ] 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 ] Susanne Graf Expression of Time and Duration Constraints in SDL. [Citation Graph (0, 0)][DBLP ] SAM, 2002, pp:38-52 [Conf ] 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 ] 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 ] 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 ] Marius Bozga , Susanne Graf , Ileana Ober , Iulian Ober , Joseph Sifakis The IF Toolset. [Citation Graph (0, 0)][DBLP ] SFM, 2004, pp:237-267 [Conf ] 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 ] Marius Bozga , Susanne Graf , Laurent Mounier , Iulian Ober IF Validation Environment Tutorial. [Citation Graph (0, 0)][DBLP ] SPIN, 2004, pp:306-307 [Conf ] Guoping Jia , Susanne Graf Verification Experiments on the MASCARA Protocol. [Citation Graph (0, 0)][DBLP ] SPIN, 2001, pp:123-142 [Conf ] Susanne Graf , Claire Loiseaux Property Preserving Abstractions under Parallel Composition. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:644-657 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Susanne Graf Preface by the section editor. [Citation Graph (0, 0)][DBLP ] STTT, 2003, v:4, n:2, pp:139-141 [Journal ] 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 ] 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 ] 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 ] Susanne Graf , Andreas Prinz Time in State Machines. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:217-232 [Conf ] 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 ] Susanne Graf , Sophie Quinton Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:1-18 [Conf ] 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 ] 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 ] Methods for Knowledge Based Controlling of Distributed Systems. [Citation Graph (, )][DBLP ] Achieving Distributed Control through Model Checking. [Citation Graph (, )][DBLP ] A model transformation tool for performance simulation of complex uml models. [Citation Graph (, )][DBLP ] Model Based Architecting and Construction of Embedded Systems. [Citation Graph (, )][DBLP ] Contract-Based Verification of Hierarchical Systems of Components. [Citation Graph (, )][DBLP ] Using an UML profile for timing analysis with the IF validation tool-set. [Citation Graph (, )][DBLP ] Implementing Distributed Controllers for Systems with Priorities [Citation Graph (, )][DBLP ] Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP ] Search in 0.028secs, Finished in 0.031secs