Martin Steffen

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe locking for multi-threaded Java with exceptions. J. Log. Algebr. Program. 81(3): 257-283 (2012)

Ka I. Pun, Martin Steffen, Volker Stolz: Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebr. Program. 81(3): 331-354 (2012)

Frank S. de Boer, Immo Grabe, Martin Steffen: Termination detection for active objects. J. Log. Algebr. Program. 81(4): 541-557 (2012)

Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro: A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS 2012: 110-127

Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen: A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT 2012: 21-30

Richard J. Roberts, Yi-Chien Chang, Zhenjun Hu, John Rachlin, Brian P. Anton, Revonda M. Pokrzywa, Han-Pil Choi, Lina L. Faller, Jyotsna Guleria, Genevieve Housman, Niels Klitgord, Varun Mazumdar, Mark G. McGettrick, Lais Osmani, Rajeswari Swaminathan, Kevin R. Tao, Stanley Letovsky, Dennis Vitkup, Daniel Segrè, Steven L. Salzberg, Charles DeLisi, Martin Steffen, Simon Kasif: COMBREX: a project to accelerate the functional annotation of prokaryotic genomes. Nucleic Acids Research 39(Database-Issue): 11-14 (2011)

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Sci. Comput. Program. 76(10): 915-941 (2011)

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen: Safe Locking for Multi-threaded Java. FSEN 2011: 158-173

Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen: Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN 2011: 206-220

Thi Mai Thuong Tran, Martin Steffen: Design Issues in Concurrent Object-Oriented Languages and Observability. KSE 2011: 135-142

Olaf Owe, Martin Steffen, Jan Arne Telle (Eds.): Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6914, Springer 2011, isbn 978-3-642-22952-7

Olaf Owe, Martin Steffen, Arild B. Torjusen: Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Electr. Notes Theor. Comput. Sci. 264(3): 69-84 (2010)

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy behavioral subtyping. J. Log. Algebr. Program. 79(7): 578-607 (2010)

Dennis Dams, Ulrich Hannemann, Martin Steffen: A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness 2010: 1-9

Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen: ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164

Thi Mai Thuong Tran, Martin Steffen: Safe Commits for Transactional Featherweight Java. IFM 2010: 290-304

Dennis Dams, Ulrich Hannemann, Martin Steffen (Eds.): Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Lecture Notes in Computer Science 5930, Springer 2010, isbn 978-3-642-11511-0

Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)

Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program. 78(7): 491-518 (2009)

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen: Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Incremental Reasoning for Multiple Inheritance. IFM 2009: 215-230

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)

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)

Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43(3-4): 322-361 (2008)

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)

Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, David Gold, Eric D. Kolaczyk: Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction. BIBM 2008: 411-416

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen: Lazy Behavioral Subtyping. FM 2008: 52-67

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)

Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98

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)

Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10

Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232

Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162

Harald Fecher, Martin Steffen: Characteristic mu-Calculus Formulas for Underspecified Transition Systems. Electr. Notes Theor. Comput. Sci. 128(2): 103-116 (2005)

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)

Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535, Springer 2005, isbn 3-540-26181-8

Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69

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

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

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for Java_MT. Verification: Theory and Practice 2003: 290-303

Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Synchronous Closing and Flow Analysis for Model Checking Timed Systems. FMCO 2003: 292-313

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169

Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church: Automated modelling of signal transduction networks. BMC Bioinformatics 3: 34 (2002)

Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)

Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. APSEC 2002: 227-

Natalia Ioustinova, Natalia Sidorova, Martin Steffen: Closing Open SDL-Systems for Model Checking with DTSpin. FME 2002: 531-548

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

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

Natalia Sidorova, Martin Steffen: Synchronous Closing of Timed SDL Systems for Model Checking. VMCAI 2002: 79-93

Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297

Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109

Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57

Natalia Sidorova, Martin Steffen: Embedding Chaos. SAS 2001: 319-334

Natalia Sidorova, Martin Steffen: Verifying Large SDL-Specifications Using Model Checking. SDL Forum 2001: 403-420

Natalia Sidorova, Martin Steffen: Verification of a wireless ATM medium-access protocol. APSEC 2000: 84-91

Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen: Divide, Abstract, and Model-Check. SPIN 1999: 57-76

Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup: Inheritance of Proofs. TAPOS 4(1): 51-69 (1998)

Benjamin C. Pierce, Martin Steffen: Higher-Order Subtyping. Theor. Comput. Sci. 176(1-2): 235-282 (1997)

Uwe Nestmann, Martin Steffen: Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42

Martin Steffen, Benjamin C. Pierce: Higher-Order Subtyping. PROCOMET 1994: 511-530