publication venue for
- Teaching Interaction using State Diagrams. 363:132-152. 2022
- Semantics-Preserving DPO-Based Term Graph Rewriting. 288:26-37. 2019
- A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). 284:85-94. 2018
- Refining Santa: An Exercise in Efficient Synchronization. 282:68-86. 2018
- Robust Safety for Autonomous Vehicles through Reconfigurable Networking. 269:48-58. 2018
- Using Elm to Introduce Algebraic Thinking to K-8 Students. 270:18-36. 2018
- Communicating machines as a dynamic binding mechanism of services. 203:85-98. 2016
- Reversible Communicating Processes. 203:45-59. 2016
- A Holistic Approach in Embedded System Development. 187:72-85. 2015
- Formal Verification of Real-Time Function Blocks Using PVS. 184:65-79. 2015
- A Simple Parallel Implementation of Interaction Nets in Haskell. 179:33-47. 2015
- A Formulation of the Potential for Communication Condition using C2KA. 161:161-174. 2014
- Actions and Events in Concurrent Systems Design. 139:31-45. 2014
- Automated Reasoning over Deontic Action Logics with Finite Vocabularies. 139:16-30. 2014
- HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. 139:65-70. 2014
- On a New Notion of Partial Refinement. 115:1-14. 2013
- Membrane Systems and Petri Net Synthesis. 100:1-13. 2012
- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. 93:1-21. 2012
- Saying Hello World with Epsilon – A Solution to the 2011 Instructive Case. 74:332-339. 2011
- SAGA: A DSL for Story Management. 66:48-67. 2011
- Dependently-Typed Formalisation of Typed Term Graphs. 48:38-53. 2011
- Preface. 40. 2010
- An Efficient Explicit-time Description Method for Timed Model Checking. 14:77-91. 2009
- Verifying Real-Time Systems using Explicit-time Description Methods. 13:67-78. 2009
- Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. 40.
- Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy. 319.