Immo Grabe
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Termination detection for active objects The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
| Automated deadlock detection in synchronized reentrant multithreaded call-graphs SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
| Executable interface specifications for testing asynchronous Creol components Fundamentals of Software Engineering | 2010-01-28 | Paper |
| Behavioral interface description of an object-oriented language with futures and promises The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
| Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic Lecture Notes in Computer Science | 2008-07-01 | Paper |
Research outcomes over time
This page was built for person: Immo Grabe
