Publications

Our projects have an impact in many different industries. Browse our publications to find out more

An STPA-based formal composition framework for trustworthy autonomous maritime systems

Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes & Ben Pritchard, 2021, Safety Science, 136(0925-7535)

DOI: 10.1016/j.ssci.2020.105139

Type: article

Discrete‐time systems with slope restricted nonlinearities: Zames–Falb multiplier analysis using external positivity

Matthew C. Turner & Ross Drummond, 2021, International Journal of Robust and Nonlinear Control, 31(6), 2255-2273

DOI: 10.1002/rnc.5391

Type: article

General hardware multicasting for fine-grained message-passing architectures

Matthew Naylor, Simon W. Moore, David Thomas, Jonathan R. Beaumont, Shane Fleming, Mark Vousden, A. Theodore Markettos, Thomas Bytheway & Andrew Brown, 2021

DOI: 10.1109/PDP52278.2021.00028

Type: conference

Exploring the effect of energy storage sizing on intermittent computing system performance

Jie Zhan, Geoff Merrett & Alexander Weddell, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/TCAD.2021.3068946

Type: article

Partner selection in self-organised wireless sensor networks for opportunistic energy negotiation: A multi-armed bandit based approach

Andre P. Ortega, Sarvapali Ramchurn, Long Tran-Thanh & Geoff Merrett, 2021, Ad Hoc Networks, 112

DOI: 10.1016/j.adhoc.2020.102354

Type: article

Wake-up radio-enabled intermittently-powered devices for mesh networking: A power analysis

Edward Longman, Oktay Cetinkaya, Mohammed El-Hajjar & Geoff Merrett, 2021

DOI: 10.1109/CCNC49032.2021.9369557

Type: conference

Domain-specific scenarios for refinement-based methods

Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021, Journal of Systems Architecture, 112

DOI: 10.1016/j.sysarc.2020.101833

Type: article