Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Semantics formalisation – from Event-B contexts to theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler, 2024
Type: conference
Verifying HyperLTL properties in Event-B
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali & Thai Son Hoang, 2024
Type: conference
Formal specification of actual trust in multiagent systems
Michael Akintunde, Vahid Yazdanpanah, Asieh Fathabadi, Corina Cirstea, Mehdi Dastani & Luc Moreau, 2024
Type: conference
Actual Trust in Multiagent Systems
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cirstea, Mehdi Dastani & Luc Moreau, 2024
Type: conference
Enabling ImageNet-scale deep learning on MCUs for accurate and efficient inference
Sulaiman Sadiq, Jonathon Hare, Simon Craske, Partha Maji & Geoff Merrett, 2024, IEEE Internet of Things Journal, 11(7), 11471 - 11479
DOI: 10.1109/JIOT.2023.3331654
Type: article
Formal language semantics for triggered enable statecharts with a run-to-completion scheduling
Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook & Michael Butler, 2023
Type: conference
An information security model for an IoT-enabled smart grid in the Saudi energy sector
Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2023, Computers & Electrical Engineering, 105
DOI: 10.1016/j.compeleceng.2022.108491
Type: article