Background and activities

Research topics

  • Model-Based Engineering of Networked Services based on Collaborative Techniques
  • Functional and Security Aspects of Distributed Component-Structured Software
  • Trust Management Issues
  • Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems


  • UbiCompForAll (Ubiquitous Computing For All Users, 2008-2012)
  • Arctis (Analysis, Refinement, Composition and Transformation of Interactive Services, Verification Project, 2010-2011, extended until 2012)
  • EuroNF (Network of the Future, 2008-2011)
  • ISIS (Infrastructure for Integrated Services, 2007-2011)
  • SIMS (Semantic Interfaces for Mobile Services, 2006-2008)
  • iTrust (2003-2005)


Reactive Blocks, the tool for engineering networked services. You find more information here.


Below, you will find selected publications. A more comprehensive and up-to-date list is available on my homepage.


Scientific, academic and artistic work

A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database

Journal publications