Publications
All my publications are primarily referenced on my lab page. On the wider web, they are also referenced on DBLP, Google Scholar and ResearchGate.
Projects
- 2012-2015: FP7 MIDAS
- 2013-*: Appointed editor of ISO/IEC 15909-1
- 2011-*: Member of the team which organises the Model Checking Contest.
Teaching
Software engineering courses (specification, design and modeling, domain specific languages, business processes, formal methods, software quality, MDD, advanced OOP), enterprise software systems development, networks, and distributed systems.
Tools
I develop and maintain PNML Framework, the companion library of ISO/IEC 15909-2 (Petri Net Markup Language), and its ecosystem of model transformation applications. [List of tools.]
Research interests
- Reliability and safety of concurrent and large distributed systems
- Extractive and generative approaches for software artifacts
- Software behavioral model inference from execution traces
- Service testing based on formal methods
- Domain Specific Languages
- Standardisation of Petri nets