selected publications

• chapter

  • An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.  Lecture notes in computer science. 353-366. 2018

• conference paper

  • Verification of SGAC Access Control Policies Using Alloy and ProB.  . 120-123. 2017
  • Formal Development of a Secure Access Control Filter.  . 173-180. 2016
  • A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction.  . 438-445. 2014