Susanne Graf - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Monitoring Distributed Systems Using KnowledgeSusanne Graf, Doron Peled, Sophie Quinton. forte 2011: 183-197 [doi]

Building Distributed Controllers for Systems with PrioritiesImene Ben Hafaiedh, Susanne Graf, Sophie Quinton. jlp, 80(3-5):194-218, 2011. [doi]

2010

2009

Metamodels in Europe: Languages, Tools, and ApplicationsRoberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, FranÃ§ois Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli. dt, 26(3):38-53, 2009. [doi]

2008

A model transformation tool for performance simulation of complex uml modelsOlivier Constant, Wei Monin, Susanne Graf. ICSE 2008: 923-924 [doi]

Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 5382 of Lecture Notes in Computer Science, Springer, 2008.

OMEGA: correct development of real time and embedded systemsSusanne Graf. SoSyM, 7(2):127-130, 2008. [doi]

Timing analysis and validation with UML: the case of the embedded MARS bus managerIulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober. isse, 4(3):301-308, 2008. [doi]

Model Based Architecting and Construction of Embedded SystemsIulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard. MoDELS 2009: 1-4 [doi]

Contract-Based Verification of Hierarchical Systems of ComponentsSophie Quinton, Susanne Graf. sefm 2008: 377-381 [doi]

2007

Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4709 of Lecture Notes in Computer Science, Springer, 2007.

Contracts for BIP: Hierarchical Interaction Models for Compositional VerificationSusanne Graf, Sophie Quinton. forte 2007: 1-18 [doi]

Time in State MachinesSusanne Graf, Andreas Prinz. FUIN, 77(1-2):143-174, 2007. [doi]

An Approach to Modelling and Verification of Component Based SystemsGregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis. sofsem 2007: 295-308 [doi]

2006

Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4111 of Lecture Notes in Computer Science, Springer, 2006.

Preface of Specification and Validation of Real Time and Embedded systems in UML Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic. STTT, 8(2):93-96, 2006. [doi]

A real-time profile for UMLSusanne Graf, Ileana Ober, Iulian Ober. STTT, 8(2):113-127, 2006. [doi]

Modelling and Analysis of Real Time and Embedded Systems - Using UMLSusanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic. MoDELS 2006: 126-130 [doi]

Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006Susanne Graf, Wenhui Zhang, editors, Volume 4218 of Lecture Notes in Computer Science, Springer, 2006.

Ensuring Properties of Interaction SystemsGregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis. birthday 2007: 201-224 [doi]

Validating timed UML models by simulation and verificationIulian Ober, Susanne Graf, Ileana Ober. STTT, 8(2):128-145, 2006. [doi]

Using an UML profile for timing analysis with the IF validation tool-setIulian Ober, Susanne Graf, Yuri Yushtein. mbees 2006: 75-84 [doi]

Modeling and Validation of a Software Architecture for the Ariane-5 LauncherIulian Ober, Susanne Graf, David Lesens. fmoods 2006: 48-62 [doi]

2005

2004

The IF ToolsetMarius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis. sfm 2004: 237-267 [doi]

IF Validation Environment TutorialMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. spin 2004: 306-307 [doi]

Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3188 of Lecture Notes in Computer Science, Springer, 2004.

Correct Development of Embedded SystemsSusanne Graf, Jozef Hooman. ewsa 2004: 241-249 [doi]

SVERTS - Specification and Validation of Real-Time and Embedded SystemsSusanne Graf, Øystein Haugen, Ileana Ober, Bran Selic. uml 2005: 33-42 [doi]

Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, ProceedingsSusanne Graf, Laurent Mounier, editors, Volume 2989 of Lecture Notes in Computer Science, Springer, 2004.

Validation of UML Models via a Mapping to Communicating Extended Timed AutomataIulian Ober, Susanne Graf, Ileana Ober. spin 2004: 127-145 [doi]

2003

Abstraction as the Key for Invariant VerificationSaddek Bensalem, Susanne Graf, Yassine Lakhnech. BIRTHDAY 2003: 67-99 [doi]

Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 2852 of Lecture Notes in Computer Science, Springer, 2003.

Preface by the section editorSusanne Graf. STTT, 4(2):139-141, 2003. [doi]

A Real-Time Profile for UML and How to Adapt It to SDLSusanne Graf, Ileana Ober. sdl 2003: 55-76 [doi]

2002

IF-2.0: A Validation Environment for Component-Based Real-Time SystemsMarius Bozga, Susanne Graf, Laurent Mounier. cav 2002: 343-348 [doi]

Expression of Time and Duration Constraints in SDLSusanne Graf. sam 2003: 38-52 [doi]

2001

2000

SDL for Real-Time: What is Missing?Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. sam 2000: 108

IF: A Validation Environment for Timed Asynchronous SystemsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier. cav 2000: 543-547

Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, ProceediSusanne Graf, Michael I. Schwartzbach, editors, Volume 1785 of Lecture Notes in Computer Science, Springer, 2000.

1999

1997

Construction of Abstract State Graphs with PVSSusanne Graf, Hassen Saïdi. cav 1997: 72-83

1996

Verifying Invariants Using theorem ProvingSusanne Graf, Hassen Saïdi. cav 1996: 196-207

Compositional Minimisation of Finite State Systems Using Interface SpecificationsSusanne Graf, Bernhard Steffen, Gerald Lüttgen. fac, 8(5):607-616, 1996.

1995

Property Preserving Abstractions for the Verification of Concurrent SystemsClaire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem. fmsd, 6(1):11-44, 1995.

1994

Verification of a Distributed Cache Memory by Using AbstractionsSusanne Graf. cav 1994: 207-219

1993

A Tool for Symbolic Program Verification and AbstrationSusanne Graf, Claire Loiseaux. cav 1993: 71-84

Property Preserving Abstractions under Parallel CompositionSusanne Graf, Claire Loiseaux. tapsoft 1993: 644-657

1991

Safety for Branching Time SemanticsAhmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis. icalp 1991: 76-92

An Algebra of Boolean ProcessesCostas Courcoubetis, Susanne Graf, Joseph Sifakis. cav 1992: 454-465

1990

Formal Specification and Verification of a Network Independent Atomic Multicast ProtocolM. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron. forte 1991: 345-352

Compositional Minimization of Finite State SystemsSusanne Graf, Bernhard Steffen. cav 1991: 186-196

1989

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron. avmfss 1990: 275-285

1988

A logig for the description of behaviours and properties of concurrent systemsAhmed Bouajjani, Susanne Graf, Joseph Sifakis. rex 1989: 398-410

1987

An Expressive Logic for a Process Algebra with Silent ActionsSusanne Graf, Joseph Sifakis. tls 1989: 44-61

Readiness Semantics for Regular Processes with Silent ActionsSusanne Graf, Joseph Sifakis. icalp 1987: 115-125

1986

A Modal Characterization of Observational Congruence on Finite Terms of CCSSusanne Graf, Joseph Sifakis. iandc, 68(1-3):125-145, January/February/March 1986.

A Logic for the Specification and Proof of Regular Controllable Processes of CCSSusanne Graf, Joseph Sifakis. ACTA, 23(5):507-527, 1986.

A Logic for the Description of Non-deterministic Programs and Their PropertiesSusanne Graf, Joseph Sifakis. iandc, 68(1-3):254-270, January/February/March 1986.

A Complete Inference System for an Algebra or Regular Acceptance ModelsSusanne Graf. mfcs 1986: 386-395

1985

Frm Synchronization Tree Logic to Acceptance Model LogicSusanne Graf, Joseph Sifakis. lop 1985: 128-142

1984

A Modal Characterization of Observational Congruence on Finite Terms of CCSSusanne Graf, Joseph Sifakis. icalp 1984: 222-234

On Lamport s Comparison Between Linear and Branching Time Temporal LogicSusanne Graf. ita, 18(4):345-353, 1984.