The University of Southampton

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

Search CPS publications

Recent CPS Publications

Intelligence of Things: Opportunities & challenges - Hany, Fathy Atlam, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2018 | IEEE | Item availability restricted.
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 | Item availability restricted.
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
Factors affecting the implementation of information assurance for eGovernment in Indonesia - Rio Guntur Utomo, Robert J. Walters and Gary B. Wills
Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.
Special session on bringing cores closer together: the wireless revolution in on-chip communication - Terrence Mak
Type: Conference or Workshop Item | 2018 | IEEE Computer Society Press | Item not available on this server.
The hybrid ERTMS/ETCS level 3 case study - Thai Son Hoang, Michael Butler and Klaus Reichl
Type: Conference or Workshop Item | 2018 | Springer-Verlag
Blockchain with Internet of Things: Benefits, challenges, and future directions - Hany F. Atlam, Ahmed Alenezi, Madini O. Alassafi and Gary Wills
Type: Article | 2018
Memory and thread synchronization contention-aware DVFS for HPC systems - Karunakar Reddy Basireddy, Eduardo Weber Wachter, Bashir Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item | 2018
Policing functions for machine learning systems - Thai Son Hoang, Naoto Sato, Tomoyuki Myosin, Michael Butler, Yuichiroh Nakagawa and Hideto Ogawa
Type: Conference or Workshop Item | 2018 | Item not available on this server.
Workload-aware runtime energy management for HPC systems - Karunakar Reddy Basireddy, Eduardo W. Wachter, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Conference or Workshop Item | 2018
UB2DB Rodin plug-in for automated database code generation - Ahmed, Zahran Nasser Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2018
Semantics of real-time trigger-response properties in Event-B - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2018 | Item not available on this server.
A report on PRiME code generation activities - Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item | 2018
How to analyze data from unlisted but rich firms: From the perspective of data and analysis - Russell Newman, Victor Chang, Robert J. Walters and Gary Wills
Type: Article | 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.

×