Slides from selected talks
Transforming Coloured Petri Nets Models into Code for TinyOS - A Case Study of the RPL Protocol
. Talk at ICATPN, Torun, Poland, 2016.
Towards a Multi Meta-modelling Approach for Developing Distributed Healthcare Application
. Talk at Norwegian Informatics Conference, Aalesund, 2016.
Model-driven Enginering of Concurrent Systems with Coloured Petri Nets
. Talk at ABB Robotics, Bryne, September 2015.
Towards a Multi Meta-modelling Approach for Developing Distributed Healthcare Applications.
Talk at Norwegian Informatics Conference, Aalesund, 2015.
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
. Talk at PNSE, Brussels, 2015.
PhD Course Lectures on Coloured Petri Nets at the Petri Nets Conference, sinde 2014:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
The CPN Modelling Language
Hierarhical Coloured Petri Nets
State Space Analysis and Verification
Example of Industrial Use: The Edge Router Discovery Protocol
Implementing the WebSocket Protocol based on Formal Modelling and Automated Code Generation
. Talk at
DAIS'14
conference in Berlin, June, 2014.
A Pragmatic Approach for Transforming Coloured Petri Net Models into Code - A Case Study of the IETF WebSocket Protocol
. Talk at
PAMT'14
symposium in Bergen, May, 2014.
A Pragmatic Approach to Automated Code Generation from CPN Simulation Models
. Invited talk at
SimuTools'14
conference in Lisbon, March, 2014.