Research and Development Activities
My research interests are in the areas of concurrent
software systems engineering, Ad Hoc Networking, Sensor Networks,
Formal Methods, State Space Methods and Model Checking, Coloured
Petri Nets, Computer Tools for Validation and Verification,
Model-driven software engineering.
- DISTECH: Software Technologies for Distributed Systems. Strategic research initiative at Bergen University College.
- FormGrid: Formal Verification of Grid Systems.
- CPN Book : Textbook on Coloured Petri Nets.
- PN'11 (PC co-chair), IEEE MASS'11 (PC member), PNSE'11 (PC member), PN'12 (PC member), SeNAmI'12 (PC member).
- Guest editor on speciel issue of the Fundamenta Informaticae journal based on Petri Nets 2011 (with Laure Petrucci and Wojciech Penczek )
- Guest editor on special volume of the LNCS Transaction on Petri Nets and Other Models of Concurrency on Protocols, Networks, and Services (with Marco G. Ajmone Marsan and Giuliana A. Franceschinis)
|