Open menu
Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Intersections between IoT and distributed ledger
Hany F. Atlam & Gary B. Wills, 2019, Advances in Computers, 115, 73-113
DOI: 10.1016/bs.adcom.2018.12.001
Type: article
Pegasus: a framework for sound continuous invariant generation
2019
DOI: 10.1007/978-3-030-30942-8_10
Type: conference
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