Three cars parked in a car park, two are grey and one is white

Publications

Search our publications to read more about our work in more depth.

Research outputs

Trace semantics and refinement patterns for real-time properties in event-B models
Chenyang Zhu, Michael Butler & Corina Cirstea, 2020, Science of Computer Programming, 197
DOI: 10.1016/j.scico.2020.102513
Type: article
A multiagent framework for coordinating industrial symbiotic networks
Vahid Yazdanpanah, Devrim Murat Yazan & W. Henk M. Zijm, 2020
Type: conference
Mechanism design for efficient allocation of electric vehicles to charging stations
Emmanouil S. Rigas, Enrico Gerding, Sebastian Stein, Sarvapali D. Ramchurn & Nick Bassiliades, 2020
DOI: 10.1145/3411408.3411434
Type: conference
SHACL satisfiability and containment
Paolo Pareti, Georgios Konstantinidis, Fabio Mogavero & Timothy Norman, 2020
Type: conference
A novel self-organizing PID approach for controlling mobile robot locomotion
2020
DOI: 10.1109/FUZZ48607.2020.9177557
Type: bookChapter
A framework and protocol for dynamic management of fault tolerant systems in harsh environments
Eduardo Weber Wachter, Server Kasap, Xiaojun Zhai, Shoaib Ehsan & Klaus McDonald-Maier, 2020
DOI: 10.1109/IOLTS50870.2020.9159752
Type: conference
A self-scrubbing scheme for embedded systems in radiation environments
Yufan Lu, Xiaojun Zhai, Sangeet Saha, Shoaib Ehsan & Klaus McDonald-Maier, 2020
DOI: 10.1109/IOLTS50870.2020.9159718
Type: conference