Immo Grabe

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Termination detection for active objects.
J. Log. Algebr. Program., 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.
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.
J. Log. Algebr. Program., 2009

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
Proceedings of the Formal Methods and Software Engineering, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.
Proceedings of the Fundamentals of Software Engineering, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Abstract Object Creation in Dynamic Logic.
Proceedings of the FM 2009: Formal Methods, 2009

2007
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007


  Loading...