Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. - Harald Fecher; Immo Grabe (FSEN, 2007)

Abstract Object Creation in Dynamic Logic. - Wolfgang Ahrendt; Frank S. de Boer; Immo Grabe (FM, 2009)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 2009)

Executable Interface Specifications for Testing Asynchronous Creol Components. - Immo Grabe; Marcel Kyas; Martin Steffen; Arild B. Torjusen (FSEN, 2009)

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. - Frank S. de Boer; Immo Grabe; Mohammad Mahdi Jaghoori; Andries Stam; Wang Yi 001 (ICFEM, 2009)

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. - Immo Grabe; Mohammad Mahdi Jaghoori; Bernhard K. Aichernig; Christel Baier; Tobias Blechmann 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Behavioral interface description of an object-oriented language with futures and promises. - Erika Ábrahám; Immo Grabe; Andreas Grüner; Martin Steffen (J. Log. Algebraic Methods Program., 2009)

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. - Frank S. de Boer; Immo Grabe (SOFSEM, 2010)

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

Termination detection for active objects. - Frank S. de Boer; Immo Grabe; Martin Steffen (J. Log. Algebraic Methods Program., 2012)