Susanne Graf

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

Coauthor Index

1	Jakob Axelsson	[47]
2	Stefan Van Baelen	[65]
3	M. Baptista	[12]
4	Saddek Bensalem	[19] [36]
5	Frank S. de Boer	[38] [44] [49] [57] [61] [67]
6	Marcello M. Bonsangue	[38] [44] [49] [57] [61] [67]
7	Ahmed Bouajjani	[10] [14] [19]
8	Marius Bozga	[24] [25] [26] [27] [29] [31] [32] [34] [40] [42]
9	Olivier Constant	[66]
10	Costas Courcoubetis	[15]
11	Ivica Crnkovic	[47]
12	Jean-Claude Fernandez	[14] [24] [25] [27]
13	Mamoun Filali	[65]
14	Sébastien Gérard (Sebastien Gerard)	[46] [54] [65]
15	Lucian Ghirvu	[24] [25] [27]
16	Gregor Gößler	[53] [59]
17	Øystein Haugen	[39] [46] [50] [54]
18	Jozef Hooman	[43]
19	Guoping Jia	[30]
20	Alain Kerbrat	[26]
21	Jean-Pierre Krimm	[24] [25] [27]
22	Yassine Lakhnech	[36]
23	Magnus Larsson	[47]
24	David Lesens	[55]
25	Claire Loiseaux	[16] [17] [19]
26	Gerald Lüttgen	[20]
27	Mila E. Majster-Cederbaum	[53] [59]
28	Moritz Martens	[53] [59]
29	Wei Monin	[66]
30	Laurent Mounier	[24] [25] [26] [27] [29] [31] [32] [34] [40] [45]
31	Ileana Ober	[37] [39] [41] [42] [50] [51] [52] [63]
32	Iulian Ober	[26] [31] [40] [41] [42] [46] [51] [52] [54] [55] [63] [65]
33	Rob C. van Ommering	[47]
34	Andreas Prinz	[48] [58]
35	Sophie Quinton	[60] [64]
36	Jean-Luc Richier	[11] [12]
37	Luís Rodrigues	[12]
38	Carlos Rodriguez	[11] [12] [14]
39	Willem P. de Roever	[38] [44] [49] [57] [61] [67]
40	Jean-Luc Roux	[31]
41	Hassen Saïdi	[21] [22]
42	Michael I. Schwartzbach	[28]
43	Bran Selic	[39] [46] [50] [54]
44	Joseph Sifakis	[2] [3] [4] [5] [6] [8] [9] [10] [14] [15] [19] [25] [42] [53] [59]
45	Bernhard Steffen	[13] [20]
46	Paulo Veríssimo	[12]
47	Daniel Vincent	[26] [31]
48	Jacques Voiron	[11] [12]
49	Kurt C. Wallnau	[47]
50	Thomas Weigert	[65]
51	Yuri Yushtein	[63]
52	Wenhui Zhang	[56]

Colors in the list of coauthors