Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us 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 DOI: 10.3233/FAIA240179 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 Pagination Previous page Previous Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 … Next page Next