A Formal Development of a Polychronous Polytimed Coordination Language
by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff
Computer Science/System Description Languages
2019
2018
2017
2014
Formalisation and Analysis of Component Dependencies
by Maria Spichkova
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
by Achim D. Brucker, Frédéric Tuong and Burkhart Wolff
2012
Isabelle/Circus
by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel