Martin Steffen

2009
37	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
2008
36	EE	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
35	EE	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)
34	EE	Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-abstraction for an object-oriented calculus with thread classes. Software and System Modeling 7(2): 177-208 (2008)
2007
33	EE	Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
32	EE	Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Bounded Model Checking with Parametric Data Structures. Electr. Notes Theor. Comput. Sci. 174(3): 3-16 (2007)
2006
31	EE	Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10
30	EE	Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232
29	EE	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java. Electr. Notes Theor. Comput. Sci. 159: 281-297 (2006)
2005
28		Martin Steffen, Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Springer 2005
27	EE	Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
26	EE	Harald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)
25	EE	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005)
2004
24	EE	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316
23	EE	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
22	EE	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen: Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51
2003
21	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313
20	EE	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169
19	EE	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303
2002
18	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227-
17	EE	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32
16	EE	Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548
15	EE	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20
14	EE	Natalia Sidorova, Martin Steffen: Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93
13	EE	Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church: Automated modelling of signal transduction networks. BMC Bioinformatics 3: 34 (2002)
12	EE	Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
2001
11	EE	Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
10	EE	Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109
9	EE	Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57
8	EE	Natalia Sidorova, Martin Steffen: Embedding Chaos. SAS 2001: 319-334
7	EE	Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420
2000
6	EE	Natalia Sidorova, Martin Steffen: Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91
1999
5	EE	Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen: Divide, Abstract, and Model-Check. SPIN 1999: 57-76
1998
4		Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup: Inheritance of Proofs. TAPOS 4(1): 51-69 (1998)
1997
3	EE	Benjamin C. Pierce, Martin Steffen: Higher-Order Subtyping. Theor. Comput. Sci. 176(1-2): 235-282 (1997)
1995
2		Uwe Nestmann, Martin Steffen: Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42
1994
1		Martin Steffen, Benjamin C. Pierce: Higher-Order Subtyping. PROCOMET 1994: 511-530

Coauthor Index

1	John Aach	[13]
2	Erika Ábrahám (Erika Ábrahám-Mumm)	[9] [10] [15] [17] [19] [20] [22] [23] [24] [25] [27] [29] [30] [31] [32] [34] [35]
3	Kai Baukus	[5]
4	Bernd Becker	[27] [32]
5	Frank S. de Boer	[15] [17] [19] [20] [22] [23] [24] [25] [29] [35]
6	Marcello M. Bonsangue	[22] [23] [24]
7	George M. Church	[13]
8	Patrik D'haeseleer	[13]
9	Dennis Dams	[11] [12]
10	Johan Dovland	[36] [37]
11	Harald Fecher	[26]
12	Andreas Grüner	[24] [30] [31] [34]
13	Ulrich Hannemann	[9] [10]
14	Marc Herbstritt	[32]
15	Martin Hofmann	[4]
16	Natalia Ioustinova	[16] [18] [21]
17	Einar Broch Johnsen	[36] [37]
18	Felix Klaedtke	[27]
19	Yassine Lakhnech	[5] [11] [12]
20	Wolfgang Naraschewski	[4]
21	Uwe Nestmann	[2]
22	Olaf Owe	[33] [36] [37]
23	Allegra Petti	[13]
24	Benjamin C. Pierce	[1] [3]
25	Willem P. de Roever	[15] [17] [19] [20] [25] [29] [35]
26	Gerardo Schneider	[33]
27	Natalia Sidorova	[6] [7] [8] [14] [16] [18] [21]
28	Karsten Stahl	[5]
29	Terry Stroup	[4]
30	Gianluigi Zavattaro	[28]

Colors in the list of coauthors