Publications

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.
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.
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

[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.
2000
DOI
[bibtex]
Erika Abraham, Frank S. de Boer. Proof-Outlines for Threads in Java. Concurrency Theory (CONCUR'00), Volume 1877 of LNCS, pages 229–242, Springer Berlin Heidelberg, 2000.