publication venue for
- Modelling Opacity Using Petri Nets 2005
- On Improving Backwards Verification of Timed Automata (Extended Abstract) 2002
- Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog 1999
- Correctness of Monadic State: An Imperative Call-by-Need Calculus 1998
- From Reversible Programs to Univalent Universes and Back. 336:5-25. 2018
- A Model Slicing Method for Workflow Verification. 295:79-93. 2013
- Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. 258:17-34. 2009
- A Software Certification Consortium and its Top 9 Hurdles. 238:11-17. 2009
- Panoptes. 226:39-48. 2009
- Quantum Arrows in Haskell. 210:139-152. 2008
- An Algebraic Approach to Refinement with Fair Choice. 214:51-79. 2008
- A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. 195:133-149. 2008
- Inequational Deduction as Term Graph Rewriting. 72:31-44. 2007
- An Algebra of Pure Quantum Programming. 170:23-47. 2007
- A Petri Net Semantics of a Simple Process Algebra for Mobility. 154:71-94. 2006
- Preface. 151:1-2. 2006
- Refinement via Consistency Checking in MDA. 137:151-161. 2005
- Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. 108:69-81. 2004
- Preface. 44:221-223. 2003
- Refinement and Development of Programs from Relational Specifications. 44:51-93. 2003
- Requirements Scenarios Formalization Technique. 44:112-135. 2003
- The Tabular Method for Relational Documentation. 44:1-26. 2003
- Tabular Verification and Refinement. 70:179-198. 2002
- A Branching Time Logical System for Open Distributed Systems Development. 67:184-203. 2002
- Using Net Refinement to Compute the Fixpoint of a Recursive Expression. 2:27-28. 1995