Cyber Physical Systems
Cyber Physical Systems

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
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
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
Trust modelling and verification using Event-B
Asieh Salehi Fathabadi & Vahid Yazdanpanah, 2023
Type: conference
Enabling ImageNet-scale deep learning on MCUs for accurate and efficient inference
Sulaiman Sadiq, Jonathon Hare, Simon Craske, Partha Maji & Geoff Merrett, 2023, IEEE Internet of Things Journal
Type: article