Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
SEB-CG: Code generation tool with algorithmic refinement support for Event-B
Mohammad Sadegh Dalvandi, Michael Butler & Asieh Salehi Fathabadi, 2019
Type: conference
Reusing formal models via lifting
Dana Dghaym, Colin Snook, Thai Son Hoang & Michael Butler, 2018
DOI: 10.1109/ICECCS2018.2018.00029
Type: conference
Technical aspects of blockchain and IoT
Hany F. Atlam & Gary B. Wills, 2018
DOI: 10.1016/bs.adcom.2018.10.006
Type: bookChapter
Towards confirming an Information Assurance framework for eGovernment in Indonesia
Rio Guntur Utomo, Gary B. Wills & Robert J. Walters, 2018
DOI: 10.1109/ICTSS.2018.8550010
Type: conference
DeepSaucer
Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang & Michael Butler, 2018, arXiv
Type: article