Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2018
 | Up a level |
Number of items: 84.
Article
Towards omni-directional and automated imaging system for measuring oceanic whitecap coverage - Raied S. Al-Lashi, Merlin Webster, Steve R. Gunn and Helen Czerski
Type: Article
| 2018
A novel high resolution optical instrument for imaging oceanic bubbles - Raied Sarmad Al-Lashi, Stephen R. Gunn, Eric G. Webb and Helen Czerski
Type: Article
| 2018
The cost of link layer security in IoT embedded devices - S. Alharby, A. Weddell, J. Reeve and N. Harris
Type: Article
| 2018
| Item availability restricted.
An empirical study of factors influencing cloud adoption among private sector organisations - Nouf Alkhater, Robert Walters and Gary Wills
Type: Article
| 2018
| Item not available on this server.
Blockchain with Internet of Things: benefits, challenges, and future directions - Hany F. Atlam, Ahmed Alenezi, Madini O. Alassafi and Gary Wills
Type: Article
| 2018
Validation of an adaptive risk-based access control model for the Internet of Things - Hany F. Atlam, Ahmed Alenezi, Raid Khalid Hussein Hussein and Gary Wills
Type: Article
| 2018
| Item availability restricted.
Fog computing and the Internet of Things: a review - Hany Fathy Atlam, Robert Walters and Gary Wills
Type: Article
| 2018
Internet of Things: state-of-the-art, challenges, applications, and open issues - Hany Fathy Atlam, Robert Walters and Gary Wills
Type: Article
| 2018
Type: Article
| 2018
| Item not available on this server.
Type: Article
| 2018
| Item not available on this server.
An overview, examples, and impacts offered by Emerging Services and Analytics in Cloud Computing virtual reality - Victor Chang
Type: Article
| 2018
| Item availability restricted.
Low-power and low-cost dedicated bit-serial hardware neural network for epileptic seizure prediction system - Si Mon Kueh and Tom J. Kazmierski
Type: Article
| 2018
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.
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
RESTOP: retaining external peripheral state in intermittently-powered sensor systems - Alberto Rodriguez Arreola, Domenico Balsamo, Geoff Merrett and Alexander Weddell
Type: Article
| 2018
Exploiting aging benefits for the design of reliable drowsy cache memories - Daniele Rossi, Vasileios Tenentes, Sudhakar Reddy, Bashir Al-Hashimi and Andrew Brown
Type: Article
| 2018
A model-based framework for software portability and verification in embedded power management systems - Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Maeda-Nunez, James Bantock, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Article
| 2018
Leakage current analysis for diagnosis of bridge defects in power-gating designs - Vasileios Tenentes, Daniele Rossi, Saqib Khursheed, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article
| 2018
High-speed low-complexity guided image filtering-based disparity estimation - Charan Kumar Vala, Koushik Immadisetty, Amit Acharyya, Charles Leech, Vibishna Balagopal, Geoff V. Merrett and Bashir Al-Hashimi
Type: Article
| 2018
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
A Fault-Tolerant Routing Algorithm Using Tunnels in Fault Blocks for Network-on-Chip - Ling Wang and Terrence Mak
Type: Article
| 2018
| Item not available on this server.
Bubble budgeting: throughput optimization for dynamic workloads by exploiting dark cores in many core systems - Xiaohang Wang, Amit Singh, Bing Li, Yang Yang, Hong Li and Terrence Mak
Type: Article
| 2018
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
Effectiveness of HT-assisted sinkhole and blackhole denial of service attacks targeting mesh networks-on-chip - Li Zhang, Xiaohang Wang, Yingtao Jiang, Mei Yang, Terrence Mak and Amit Kumar Singh
Type: Article
| 2018
| Item not available on this server.
Conference or Workshop Item
Incremental database design using UML-B and Event-B - Ahmed, Zahran Nasser Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh
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
The feasibility of using V2G to face the peak demand in warm countries - Ibrahem, Abdullah Almansour, Enrico Gerding and Gary Wills
Type: Conference or Workshop Item
| 2018
A framework for gamified E-learning systems acceptance in Saudi Arabian universities - Abdullah, Ibrahim A Alzahrani, Abdulrahman, Ayad Alharthi, Madini, Obad Alassafi, Ahmed, Nammas Albugmi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2018
| The IRES
| Item not available on this server.
XACML for building access control policies in Internet of Things - Hany F. Atlam, Madini O. Alassafi, Ahmed Alenezi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2018
| SciTePress
| Item availability restricted.
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
Power-neutral performance scaling for self-powered multicore computing systems - Domenico Balsamo, Benjamin, James Fletcher and Geoff Merrett
Type: Conference or Workshop Item
| 2018
Online concurrent workload classification for multi-core energy management - Karunakar Reddy Basireddy, Amit Singh, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2018
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
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
Type: Conference or Workshop Item
| 2018
| Item not available on this server.
Rewriting with Frobenius - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item
| 2018
| Association for Computing Machinery
| Item availability restricted.
Type: Conference or Workshop Item
| 2018
| Schloss Dagstuhl – Leibniz-Zentrum für Informatik
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
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
Distributed event-based computing - Andrew Brown, David Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro De Gennaro, Andrey Mokhov, Matthew Naylor and Tom Kazmierski
Type: Conference or Workshop Item
| 2018
| IOS Press
Verifiable code generation from scheduled event-B models - Mohammad Sadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2018
| Springer
A report on PRiME code generation activities - Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2018
Using formal methods for automatic platform-independent code generation of run-time management - Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2018
MAT-CNN-SOPC: motionless analysis of traffic using convolutional neural networks on system-on-a-programmable-chip - Somdip Dey, Grigorios Kalliatakis, Sangeet Saha, Amit Kumar Singh, Shoaib Ehsan and Klaus McDonald-Maier
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Extending ERS for modelling dynamic workflows in Event-B - Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2018
Diagram-led formal modelling using iUMLB for Hybrid ERTMS Level 3 - Dana Dghaym, Michael Poppleton and Colin Snook
Type: Conference or Workshop Item
| 2018
| Springer
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
| IEEE
Low-power 3D integration using inductive coupling links for neurotechnology applications - Benjamin James Fletcher, Shidhartha Das, Chi-Sang Poon and Terrence Mak
Type: Conference or Workshop Item
| 2018
ESBMC 5.0: an industrial-strength C model checker - Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer and Denis A. Nicole
Type: Conference or Workshop Item
| 2018
| Association for Computing Machinery
| Item not available on this server.
Type: Conference or Workshop Item
| 2018
| Springer
A composition mechanism for refinement-based methods - Thai Son Hoang, Dana Dghaym, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2018
| IEEE
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
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
Developing a framework for studying brain networks in neonatal hypoxic-ischemic encephalopathy - Finn Lennartsson, Angela Darekar, Koushik Maharatna, Daniel Konn, David Allen, J. Donald Tournier, John Broulidakis and Brigitte Vollmer
Type: Conference or Workshop Item
| 2018
| Springer
Error-free near-threshold adiabatic CMOS logic in the presence of process variation - Yue Lu and Tom J. Kazmierski
Type: Conference or Workshop Item
| 2018
| Springer
| Item not available on this server.
Special session on bringing cores closer together: the wireless revolution in on-chip communication - Terrence Mak, Hiroki Matsutani and Partha Pratim Pande
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
PRiME: Power-efficient Reliable Many-core Embedded systems - Geoff Merrett
Type: Conference or Workshop Item
| 2018
Run-time power management of multi- and many-core systems - 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
| IEEE
| Item not available on this server.
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
| Springer
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
Software-defined PMC for runtime power management of a many-core neuromorphic platform - Indar Sugiarto, Stephen Furber, Delong Shang, Amit Singh, Bassem Ouni, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
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
| IEEE
| Item not available on this server.
Towards confirming an Information Assurance framework for eGovernment in Indonesia - Rio Guntur Utomo, Gary B. Wills and Robert J. Walters
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Hardware-validated CPU performance and energy modelling - Matthew Walker, Sascha Bischoff, Stephan Diestelhorst, Geoff Merrett 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
Runtime task mapping for lifetime budgeting in many-core systems - Liang Wang, Xiaohang Wang, Ho Fung Leung and Terrence Mak
Type: Conference or Workshop Item
| 2018
| IEEE Computer Society
| Item not available on this server.
Refinement of timing constraints for concurrent tasks with scheduling - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item
| 2018
| Springer
Semantics of real-time trigger-response properties in Event-B - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item
| 2018
| IEEE
| Item availability restricted.
Monograph
Type: Monograph
| 2018
| University of Southampton
| Item availability restricted.
Patent
Type: Patent
| 2018
Thesis
Developing verified sequential programs with Event-B - Mohammad Sadegh Dalvandi
Type: Thesis
| 2018
| University of Southampton
Provenance framework for additive manufacturing - Nawfal Fadhel
Type: Thesis
| 2018
| University of Southampton
Dataset
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Editorial
Type: Editorial
| 2018