In: Internet of Things Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (169) Springer International Publishing, Cham (Svájc), pp. 39.
Foundations for Simulating IoT Control Mechanisms with a Chemical Analogy
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