Immo Grabe

According to our database, Immo Grabe authored at least 10 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Termination detection for active objects.

Frank S. de Boer, Immo Grabe, Martin Steffen

J. Log. Algebraic Methods Program., 2012

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

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.

Frank S. de Boer, Immo Grabe

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

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

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

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

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 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

Proceedings of the Formal Methods and Software Engineering, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen

Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).

Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Abstract Object Creation in Dynamic Logic.

Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe

Proceedings of the FM 2009: Formal Methods, 2009

2007

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.

Harald Fecher, Immo Grabe

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007