Publications

Publications

  • Dghaym, Dana, Hoang, Thai Son, Butler, Michael, Hu, Runshan, Aniello, Leonardo and Sassone, Vladimiro (2021). “Verifying System-level Security of a Smart Ballot Box”. In ABZ 2021 – 8th International Conference on Rigorous State Based Methods: ABZ 2021.Springer Nature Switzerland AG. 16 pp. (In Press)
  • Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael (2021). “The CamilleX Framework for the Rodin Platform”. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, Virtual. 07 - 11 Jun 2021. 6 pp. (In Press)
  • Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2021). “Extensible Record Structures in Event-B”. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, Virtual. 07 - 11 Jun 2021. 6 pp. (In Press)

Posters

  • DSbD All Hands Networking Meeting - Poster