Research and Development Activities
My research interests are in the areas of Communication Protocols
and Protocol Engineering, Concurrent and Distributed Systems, Ad
Hoc Networking, Sensor Networks, Formal Methods, State Space
Methods and Model Checking, Coloured Petri Nets, Computer Tools
for Validation and Verification. I am currently involved in the following research projects:
- DISTECH: Software Technologies for Distributed Systems. Strategic research initiative at Bergen University College.
- ASCoVeCo : Advanced State Space Methods and Computer Tools for Validation of Communication Protocols.
- CPN Book : New textbook on Coloured Petri Nets.
- PC member for the following international conference and
workshops:PN'09, PNSE'09, LOCAN'09, NSTOOLS'09, SENAMI'09, CPN'09, PN'10.
|
