Publications

2016
DOI
[bibtex]
Erika Abraham, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behavior and Inheritance. Mathematical Structures in Computer Science 26(3), pages 561–605, 2016.
2011
DOI
[bibtex]
Thi Mai Thuong Tran, Martin Steffen, Erika Abraham. Inheritance and Observability. Proc. of the Nordic Workshop on Programming Theory (NWPT'11), Volume of Mathematical Structures in Computer Science, , 2011.
2009
DOI
[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-oriented Language with Futures and Promises. Journal of Logic and Algebraic Programming 78(7), pages 491–518, 2009.
2008

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Deductive Proof System for Multithreaded Java with Exceptions. Fundamenta Informaticae 82(4), pages 391–463, 2008.
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Software and Systems Modeling 7(2), pages 177–208, 2008.
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interace Behavior of Object-Oriented Languages with Monitors. Theory of Computing Systems 43(3), pages 322–361, 2008.
2007

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral Interface Description of an Object-Oriented Language with Futures and Promises. Technical report at University of Oslo, Dept. of Computer Science number 364, 2007.
DOI
[bibtex]
Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded Model Checking with Parametric Data Structures. Int. Workshop on Bounded Model Checking (BMC'06), Volume 174 of ENTCS, pages 3–16, Elsevier Science Publishers, 2007.

[bibtex]
Erika Abraham, Immo Grabe, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises. Nordic Workshop on Programming Theory (NWPT'07), , 2007.
2006

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0612, 2006.

[bibtex]
Erika Abraham, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-Aware Bounded Model Checking for Linear Hybrid Systems. 9th. Workshop for Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'06), pages 153–162, , 2006.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. Logical Approaches to Computational Barriers: 2nd Conf. on Computability in Europe (CiE'06), Volume 3988 of LNCS, pages 1–10, Springer-Verlag, 2006.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0601, 2006.
DOI
[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors. 8th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), Volume 4037 of LNCS, pages 218–232, Springer Berlin Heidelberg, 2006.
2005

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. An Open Structural Operational Semantics for an Object-Oriented Calculus with Thread Classes. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0505, 2005.
Download
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java. Theoretical Computer Science 331(2-3), pages 251–290, 2005.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Exceptions in Multithreaded Java. Foundations of Software Engineering (Theory and Practice) (FSEN'05), Volume 159 of ENTCS, pages 281–297, Elsevier Science Publishers, 2005.
DOI
[bibtex]
Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Verification, Model Checking, and Abstract Interpretation (VMCAI'05), Volume 3385 of LNCS, pages 396–412, Springer Berlin Heidelberg, 2005.

[bibtex]
Erika Abraham, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. Proc. of the 1st Int. Workshop on the Verification of Concurrent Systems with Dynamic Allocated Heaps (COSMICAH'05), pages 47-61, Queen Mary Technical Report RR-05-04, 2005.
2004

[bibtex]
Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Technical report at Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik number TR214, 2004.
DOI
[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. Theoretical Aspects of Computing (ICTAC'04), Volume 3407 of LNCS, pages 37–51, Springer Berlin Heidelberg, 2004.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 296–316, Springer Berlin Heidelberg, 2004.
DOI
[bibtex]
Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Abraham. A Fully Abstract Trace Semantics for UML Components. Formal Methods for Components and Objects (FMCO'04), Volume 3657 of LNCS, pages 49–69, Springer Berlin Heidelberg, 2004.

[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Classes, Object Connectivity, and Observability (Extended abstract). 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, University Freiburg, 2004.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Multithreaded Java with Exceptions. 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, , 2004.
2003

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Multithreaded Java with Exceptions. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0313, 2003.

[bibtex]
Erika Abraham, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. A Structural Operational Semantics for a Concurrent Class Calculus. Technical report at Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number 0307, 2003.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Hoare Logic for Monitors in Java. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-03-1, 2003.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice, Celebrating Zohar Manna's 64th Birthday, Volume 2772 of LNCS, pages 290–303, Springer Berlin Heidelberg, 2003.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof-Outlines for Monitors in Java. Formal Methods for Open Object-Based Distributed Systems (FMOODS'03), Volume 2884 of LNCS, pages 155–169, Springer Berlin Heidelberg, 2003.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Tool-Supported Proof System for Multithreaded Java. Formal Methods for Components and Objects (FMCO'02), Volume 2852 of LNCS, pages 1–32, Springer Berlin Heidelberg, 2003.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Tool-supported Assertional Proof System for Multithreaded Java. Proc. of the Workshop on Formal Techniques for Java-like Programs (FTfJP'03), Technical report 408 from the ETH Zürich, 2003.
2002

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Compositional Operational Semantics for JavaMT. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-02-2, 2002.
DOI
[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Verification for Java's Reentrant Multithreading Concept. Foundations of Software Science and Computation Structures (FoSSaCS'02), Volume 2303 of LNCS, pages 5–20, Springer Berlin Heidelberg, 2002.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Verification for Java's Reentrant Multithreading Concept: Soundness and Completeness. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-02-1, 2002.
2001
Link
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-01-1, 2001.
Link
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. IEEE Engineering of Complex Computer Systems (ICECCS'01), pages 48–57, IEEE, 2001.
DOI
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Assertion-Based Analysis of Hybrid Systems with PVS. Computer Aided Systems Theory (EUROCAST'01), Volume 2178 of LNCS, pages 94–109, Springer Berlin Heidelberg, 2001.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Deductive Verification for Multithreaded Java. 11. Kolloquium Programmiersprachen und Grundlagen der Programmierung, pages 121–126, , 2001.

[bibtex]
Erika Abraham, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Proof Outlines for Threads in Java. 11th Kolloquium Programmiersprachen und Grundlagen der Programmierung, , 2001.