selected publications

• chapter

  • Towards Formal Modelling and Verification of Pervasive Computing Systems.  Lecture notes in computer science. 62-91. 2014
  • Towards Formal Modelling and Verification of Pervasive Computing Systems.  Lecture notes in computer science. 62-91. 2014

• conference paper

  • Formal Analysis of Pervasive Computing Systems.  . 169-178. 2012