selected publications

• chapter

  • On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.  Lecture notes in computer science. 425-430. 2018
  • Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.  Lecture notes in computer science. 124-138. 2017
  • On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems.  Lecture notes in computer science. 604-618. 2014

• conference paper

  • Formal verification of tamper-evident storage for e-voting.  . 329-338. 2007