The University of Southampton
×
Filter your search:
Cyber Physical Systems Research Group

Publications

Publications from the CPS group can be browsed and searched using ePrints, our institutional repository.

Search CPS publications

Browse all CPS publications

Recent CPS Publications

An integrated web-based air pollution decision support system – a prototype - Yee Leung, Kwong Sak Leung, Man Hong Wong, Terrence Mak, Kwan Yau Cheung, Leung Yau Lo, Wei Ying Yi and Yuan Lin Dong
Type: Article | 2018 | Item not available on this server.
Application- and platform-agnostic runtime power management of heterogeneous embedded systems - Domenico Balsamo, Graeme McLachlan Bragg, Charles Leech and Geoff Merrett
Type: Conference or Workshop Item | 2018
Recycled IC detection through aging sensor - Daniele Rossi, Vasileios Tenentes, Saqib Khursheed and Sudhakar M. Reddy
Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.
Can visual familiarity influence attitudes towards brands? An exploratory study of advergame design and cross-cultural consumer behaviour - Vanissa Wanick, James Stallwood, Ashokkumar Ranchhod and Gary Wills
Type: Article | 2018 | Item availability restricted.
Rule algebras for adhesive categories - Nicolas Behr and Pawel Sobocinski
Type: Conference or Workshop Item | 2018 | Item not available on this server.
Selective policies for efficient state retention in transiently-powered embedded systems: exploiting properties of NVM technologies - Theodoros D. Verykios, Domenico Balsamo and Geoff V. Merrett
Type: Article | 2018
Graphical conjunctive queries - Filippo Bonchi, Jens Seeber and Pawel Sobocinski
Type: Conference or Workshop Item | 2018
Rewriting with Frobenius - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2018 | ACM | Item availability restricted.
Application control and monitoring in heterogeneous multiprocessor systems - Charles R. Leech, Graeme McLachlan Bragg, Domenico Balsamo, Eduardo Weber Wachter, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018
Run-time power management of multi- and many-core systems - Geoff Merrett
Type: Conference or Workshop Item | 2018
PRiME: Power-efficient Reliable Many-core Embedded systems - Geoff Merrett
Type: Conference or Workshop Item | 2018
Intelligence of Things: Opportunities & challenges - Hany, Fathy Atlam, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2018 | IEEE
Behaviour-driven formal model development - Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick and Keming Wang
Type: Conference or Workshop Item | 2018 | Item availability restricted.
Developing verified sequential programs with Event-B - Mohammad Sadegh Dalvandi
Type: Thesis | 2018 | University of Southampton
The PRiME Framework: Application- & platform-agnostic system management - Graeme McLachlan Bragg, Domenico Balsamo, Charles R Leech and Geoff Merrett
Type: Conference or Workshop Item | 2018
Power-neutral performance scaling for self-powered multicore computing systems - Domenico Balsamo, Benjamin, James Fletcher and Geoff Merrett
Type: Conference or Workshop Item | 2018
Developing A New Language to Construct Algebraic Hierarchies for Event-B - James, Harvey Snook, Michael Butler and Thai Son Hoang
Type: Conference or Workshop Item | 2018 | Springer | Item not available on this server.
A high-speed design methodology for inductive coupling links in 3D-ICs - Benjamin J. Fletcher, Shidhartha Das and Terrence Mak
Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.
An application- and platform-agnostic control and monitoring framework for multicore systems - Graeme McLachlan Bragg, Charles R. Leech, Domenico Balsamo, James J. Davis, Eduardo Weber Wachter, Geoff Merrett, George A. Constantinides and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018
Accurate and stable empirical CPU power modelling for multi- and many-core systems - Matthew Walker, Stephan Diestelhorst, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×