Martin Steffen

	2009
38		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230
	2008
37		Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67
36		Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, Eric D. Kolaczyk: Integration of relational and hierarchical network information for protein function prediction. BMC Bioinformatics 9: (2008)
35		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		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		Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
32		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		Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10
30		Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232
29		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		Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
26		Harald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)
25		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		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		Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
22		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		Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313
20		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		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		Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227-
17		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		Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548
15		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		Natalia Sidorova, Martin Steffen: Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93
13		Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church: Automated modelling of signal transduction networks. BMC Bioinformatics 3: 34 (2002)
12		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
	2001
11		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
10		Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109
9		Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57
8		Natalia Sidorova, Martin Steffen: Embedding Chaos. SAS 2001: 319-334
7		Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420
	2000
6		Natalia Sidorova, Martin Steffen: Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91
	1999
5		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		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	[37] [38]
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	Xiaoyu Jiang	[36]
18	Einar Broch Johnsen	[37] [38]
19	Simon Kasif	[36]
20	Felix Klaedtke	[27]
21	Eric D. Kolaczyk	[36]
22	Yassine Lakhnech	[5] [11] [12]
23	Wolfgang Naraschewski	[4]
24	Naoki Nariai	[36]
25	Uwe Nestmann	[2]
26	Olaf Owe	[33] [37] [38]
27	Allegra Petti	[13]
28	Benjamin C. Pierce	[1] [3]
29	Willem P. de Roever	[15] [17] [19] [20] [25] [29] [35]
30	Gerardo Schneider	[33]
31	Natalia Sidorova	[6] [7] [8] [14] [16] [18] [21]
32	Karsten Stahl	[5]
33	Terry Stroup	[4]
34	Gianluigi Zavattaro	[28]

Colors in the list of coauthors