Executable interface specifications for testing asynchronous creol components · Author Picture Immo Grabe. Christian-Albrechts University Kiel, Germany.

Immo Grabe's 12 research works with 109 citations, including: A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.

Apr 25, 2024 · List of computer science publications by Immo Grabe.

Dec 17, 2012 · CWI researcher Immo Grabe has developed new formal methods for analysis of parallel object-oriented software. Formal methods form the ...

Berufserfahrung von Immo Grabe · Bis heute 4 Jahre und 4 Monate, seit Juli 2020. Management Consultant. L&B Solutions GmbH · 7 Jahre und 1 Monat, März 2013 - ...

Browsing Institutt for informatikk by Author "Grabe, Immo" ... This paper formalizes the observable interface behavior of an concurrent, objectoriented language ...

In this paper we give a representation of a weakest precondition calculus for abstract object creation in dynamic logic, the logic underlying the KeY ...

Nov 17, 2009 · We give a representation of a weakest precondition calculus for abstract object creation in dynamic logic, the logic underlying the KeY theorem ...

Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the ...