publication venue for
- Cameo: an alternative model of concurrency for Eiffel 2009
- TOrPEDO: witnessing model correctness with topological proofs. 33:1039-1066. 2021
- PuRSUE -from specification of robotic environments to synthesis of controllers. 32:187-227. 2020
- Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput. 32:153-153. 2020
- A verification-driven framework for iterative design of controllers. 31:459-502. 2019
- Multiple model synchronization with multiary delta lenses with amendment andK-Putput. 31:611-640. 2019
- Simulation relations for fault-tolerance. 29:1013-1050. 2017
- Categorical foundations for structured specifications in Z. 27:831-865. 2015
- Strategy based semantics for mobility with time and access permissions. 27:525-549. 2015
- Editorial. 24:161-162. 2012
- Editorial. 22:215-216. 2010
- Editorial. 21:303-303. 2009
- A compositional Petri net translation of general π -calculus terms. 20:429-450. 2008
- A CSP model of Eiffel’s SCOOP. 19:487-512. 2007
- ERC ? An object-oriented refinement calculus for Eiffel. 16:51-79. 2004
- Exploring Tabular Verification and Refinement. 15:215-236. 2003
- Algebraic Composition of Function Tables. 12:41-51. 2000
- Heterogeneous Notations for Pure Formal Method Integration. 10:233-242. 1998
- Two implementation relations and the correctness of communicating replicated processes. 9:119-148. 1997
- Transformations of normal and inverted function tables. 8:679-705. 1996
- Temporal theories as modularisation units for concurrent system specification. 4:239-272. 1992
- Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput 2019