In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques
In: 2012 1st International Workshop on European Software Services and Systems Research - Results and Challenges, S-Cube 2012, 2012-06-05, Zürich, Svájc.
A holistic service provisioning solution for Federated Cloud infrastructures