Bakgrunn og aktiviteter

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

Projects

  • 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)

Tools

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

Publications

A comprehensive list of my publications can be found on my homepage.

 

Postadresse

Institutt for telematikk Norges teknisk-naturvitenskapelige universitet 7491 Trondheim Norge