Theses

  1. An Assertional Proof System for Multithreaded Java - Theory and Tool Support
    PhD Thesis.
    Erika Ábrahám, University of Leiden, January 2005. (gzipped ps)

  2. Bestimmung der Gesichtspose mit künstlichen neuronalen Netzen
    Master's thesis.
    Erika Ábrahám-Mumm, Christian-Albrechts-Universität zu Kiel, Institut für Informatik und Praktische Mathematik, 1998.

    3. Journal articles

  3. Behavioral interface description of an object-oriented language with futures and promises
    Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen
    To appear in a special issue of the Journal of Logic and Algebraic Programming with selected articles from NWPT'07. (pdf)

  4. Parallel SAT Solving in Bounded Model Checking
    Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fraenzle, and Christian Herde
    To appear in the Journal of Logic and Computation, 2009.

  5. A Deductive Proof System for Multitheaded Java with Exceptions
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Fundamenta Informaticae, 82(4):391-463, 2008.

  6. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
    Erika Ábrahám, Andreas Grüner, Martin Steffen
    Journal of Software and Systems Modeling, 7(2):177--208, 2008. (pdf)

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

  8. An Assertion-based Proof System for Multithreaded Java
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Theoretical Computer Science, 331(2-3):251-290, 2005. (pdf)

    9. Conference and workshop papers

  9. The SCALASCA Performance Toolset Architecture
    Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, and Bernd Mohr
    Proc. of the International Workshop on Scalable Tools for High-End Computing (STHEC'08), 2008. (pdf)

  10. Usage of the SCALASCA Toolset for Scalable Performance Analysis of Large-Scale Parallel Applications
    Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-André Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, and Zoltán Szebenyi
    Proc. of the 2nd HLRS Parallel Tools Workshop, pages 157--167, 2008. (pdf)

  11. Bounded Model Checking with Parametric Data Structures
    Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen
    Proc. of Bounded Model Checking (BMC'06), Electronic Notes in Theoretical Computer Science (ENTCS) 174(3):3--16, Elsevier Science, 2007. (pdf)

  12. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
    Marc Herbstritt, Bernd Becker, Erika Ábrahám, and Christian Herde
    Proc. of the IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'07), pages 391--396, IEEE Computer Society Press, 2007.

  13. Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises
    Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen
    Proc. of Nordic Workshop on Programming Theory (NWPT'07), 2007.

  14. Parallel SAT Solving in Bounded Model Checking
    Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde
    Proc. of the 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC'06), LNCS 4346, pages 301--315, ©Springer-Verlag, 2006.

  15. Memory-aware Bounded Model Checking for Linear Hybrid Systems
    Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen
    Proc. of ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pages 153--162, ISBN 3-9810287-1-6, 2006. (pdf)

  16. Abstract Interface Behavior of Object-Oriented Languages with Monitors
    Erika Ábrahám, Andreas Grüner, and Martin Steffen
    Proc. of the 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'06), LNCS 4037, pages 218--232, ©IFIP/Springer-Verlag, 2006.

  17. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
    Erika Ábrahám, Andreas Grüner, Martin Steffen
    Proc. of Logical Approaches to Computational Barriers (CiE'06), LNCS 3988, pages 1--10, ©Springer-Verlag, 2006.

  18. Optimizing Bounded Model Checking for Linear Hybrid Systems
    Erika Ábrahám, Bernd Becker, Felix Klaedtke, and Martin Steffen
    Proc. of the 6th International Workshop on Verification, Model Checking, and Abstraction (VMCAI'05),
    LNCS 3385, pages 396--412, ©Springer-Verlag, 2005. (ps)

  19. Inductive Proof Outlines for Exceptions in Multithreaded Java
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), Electronic Notes in Theoretical Computer Science, 159:281--297, Elsevier Science Publishers, 2005. (pdf)

  20. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes
    Erika Ábrahám, Andreas Grüner, and Martin Steffen
    Proc. of ICALP satellite workshop Cosmicah'05, Queen Mary Technical Report RR-05-04, pages 47--61, 2005.
    (pdf)

  21. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
    Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, and Martin Steffen
    Proc. of Colloquium on Theoretical Aspects of Computing (ICTAC'04), LNCS 3407, pages 37--51, ©Springer-Verlag, 2005. (pdf)

  22. A Fully Abstract Trace Semantics for UML Components
    Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, and Erika Ábrahám
    Proc. of Formal Methods for Components and Objects (FMCO'04), LNCS 3657, pages 49--69, ©Springer-Verlag, 2005. (pdf)

  23. Observability, Connectivity, and Replay in a Sequential Calculus of Classes
    Erika Ábrahám, Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, and Martin Steffen
    Proc. of Formal Methods for Components and Objects (FMCO'04), LNCS 3657, pages 296--316, ©Springer-Verlag, 2005. (pdf)

  24. A Compositional Operational Semantics for JavaMT
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of the International Symposium on Verification (Theory and Practice), Celebrating Zohar Manna's 64th Birthday, LNCS 2772, pages 290--303, ©Springer-Verlag, 2004. (pdf)

  25. Classes, Object Connectivity, and Observability
    Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
    Proc. of 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, University Freiburg, 2004. (pdf)

  26. Inductive Proof Outlines for Multithreaded Java with Exceptions
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of 12. Kolloquium Programmiersprachen und Grundlagen der Programmierung, University Freiburg, 2004. (pdf)

  27. Inductive Proof-Outlines for Monitors in Java
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), LNCS 2884, pages 155--169, ©Springer-Verlag, 2003.
    (ps)

  28. A Tool-supported Proof System for Multithreaded Java
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of Formal Methods for Components and Objects (FMCO'02), LNCS 2852, pages 1--32, ©Springer-Verlag, 2003. (pdf)

  29. A Tool-supported Assertional Proof System for Multithreaded Java
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of the Ecoop-workshop about Formal Techniques for Java-like Programs (FTfJP'03), Technical Report 408 from ETH Zürich, 2003.

  30. Verification for Java's Reentrant Multithreading Concept
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of Foundations of Software Science and Computation Structures (FoSSACS'02), LNCS 2303, pages 3--13, ©Springer-Verlag, 2002. (ps)

  31. Verification of Hybrid Systems: Formalization and Proof Rules in PVS
    Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen.
    Proc. of IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'01), © IEEE Computer Society Press, 2001. (ps)

  32. Assertion-Based Analysis of Hybrid Systems with PVS
    Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen.
    Proc. of Computer Aided Systems Theory (EUROCAST'01), LNCS 2178, pages 203--245, ©Springer-Verlag, 2001. (pdf)

  33. Deductive Verification for Multithreaded Java
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of the Kolloquium Programmiersprachen und Grundlagen der Programmierung, pages 121-126, 2001. (pdf)

  34. Proof Outlines for Threads in Java
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    Proc. of the 11. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 2001. (pdf)

  35. Proof-Outlines for Threads in Java
    Erika Ábrahám-Mumm and Frank S. de Boer.
    Proc. of the International Conference on Concurrency Theory (CONCUR'00), LNCS 1877, pages 229--242, ©Springer-Verlag, 2000. (gzipped ps)

  36. Formal Methods for Reflective System Specification.
    Jan B. de Meer and Erika Ábrahám-Mumm.
    Proc. of Formale Beschreibungstechniken für verteilte Systeme (FBT'00), pages 51--57, Shaker Verlag, 2000. (gzipped ps)

  37. Head-pose Estimation from Facial Images with Subspace Neural Networks
    J. Bruske, E. Ábrahám-Mumm, J. Pauli, and G. Sommer
    Proc. of Int. Conf. on Neural Network and Brain Proc. (ICNN&B'98), pages 528--530, Publishing House of Electronics Industry, 1998.

  38. Visuomotorische Koordination eines Roboterarmes mit Kohonen-Karten, Neuronalem Gas und Dynamischen Zellstrukturen - Ein Vergleich.
    J. Bruske, E. Ábrahám-Mumm, and G. Sommer.
    Proc. of Selbstorganisation von Adaptivem Verhalten (SOAVE'97), Vortschrittsberichte VDI, Reihe 8, Nr. 663, pages 203--211, VDI Verlag, 1997.

    39. Technical Reports

  39. Behavioral interface description of an object-oriented language with futures and promises
    Erika Ábrahám, Immo Grabe, Andreas Grüner, and Martin Steffen
    University of Oslo, Dept. of Informatics Research Report 364, 2007.

  40. Abstract Interface Behavior of Object-Oriented Languages with Monitors
    Erika Ábrahám, Andreas Grüner, Martin Steffen
    Christian-Albrechts-University Kiel, Institute of Computer Science and Applied Mathematics, Technical report TR-0612, 2007.

  41. Dynamic Heap-Abstraction for Open Object-Oriented Systems with Thread Classes
    Erika Ábrahám, Andreas Grüner, Martin Steffen
    University Kiel, Institute of Computer Science and Applied Mathematics technical report TR-0601, February 1, 2006.

  42. An Open Structural Operational Semantics for an Object-Oriented Calculus with Thread Classes
    Erika Ábrahám, Andreas Grüner, Martin Steffen
    University Kiel, Institute of Computer Science and Applied Mathematics technical report TR-0505, May 13, 2005
    (pdf)

  43. Optimizing Bounded Model Checking for Linear Hybrid Systems: Theory and experimental results
    Erika Ábrahám, Felix Klaedtke, Bernd Becker, and Martin Steffen
    Universtät Freiburg, Report Nr 214, November 2004
    (gzipped ps)

  44. A Structural Operational Semantics for a Concurrent Class Calculus
    Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
    University Kiel, Institute of Computer Science and Applied Mathematics technical report TR-0307, August 17, 2003
    (pdf)

  45. A Deductive Proof System for Multithreaded Java with Exceptions
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    University Kiel, Software Technology technical report TR-ST-03-x, December, 2003
    (ps)

  46. A Hoare Logic for Monitors in Java
    Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    University Kiel, Software Technology technical report TR-ST-03-1, April 15, 2003
    (pdf)

  47. A Compositional Operational Semantics for JavaMT
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    University Kiel, Software Technology technical report TR-ST-02-2, May 15, 2002
    (ps)

  48. Verification for Java's Reentrant Multithreading Concept: Soundness and Completeness
    Erika Ábrahám-Mumm, Frank S. de Boer, Willem-Paul de Roever, and Martin Steffen
    University Kiel, Software Technology technical report TR-ST-02-1, March 2002
    (gzipped ps)

  49. Verification of Hybrid Systems: Formalization and Proof Rules in PVS
    Erika Ábrahám-Mumm, Ulrich Hannemann, and Martin Steffen.
    Technical Report TR-ST-01-1, Christian-Albrechts-University Kiel, January 2001.
    (gzipped ps)