The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 67.

Type: Patent | 2018

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

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

Type: Article | 2018 | Item not available on this server.

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 | 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.

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

Fog computing and the Internet of Things: a review - Hany, Fathy Atlam, Robert Walters and Gary Wills
Type: Article | 2018

Intelligence of Things: Opportunities & challenges - Hany, Fathy Atlam, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2018 | IEEE

Type: Article | 2018

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

Rule algebras for adhesive categories - Nicolas Behr and Pawel Sobocinski
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 | ACM | Item availability restricted.

Graphical conjunctive queries - Filippo Bonchi, Jens Seeber and Pawel Sobocinski
Type: Conference or Workshop Item | 2018 | Leibniz International Proceedings in Informatics (LIPIcs)

Deconstructing Lawvere with distributive laws - Filippo Bonchi, Paweł Sobociński and Fabio Zanasi
Type: Article | 2018 | Item not available on this server.

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: Book Section | 2018 | IOS Press BV | Item not available on this server.

Introduction to the ABZ 2016 Special issue - Michael Butler and Klaus Dieter Schewe
Type: Article | 2018 | Item not available on this server.

Type: Article | 2018 | Item availability restricted.

Type: Thesis | 2018 | University of Southampton

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 | Item availability restricted.

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

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 | Item availability restricted.

Internet-of-Things and big data for smarter healthcare: from device to architecture, applications and analytics - Farshad Firouzi, Amir Rahmani, K. Mankodiya, M. Badaroglu, G. Merrett, P. Wong and B. Farahani
Type: Article | 2018

Formal model validation through acceptance tests - Tomas Fischer, Colin Snook and Thai Son Hoang
Type: Monograph | 2018 | University of Southampton | Item availability restricted.

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.

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

On more or less appropriate notions of 'Computation' - Andy M. Gravell and Stefan Gruner
Type: Editorial | 2018

The hybrid ERTMS/ETCS level 3 case study - Thai Son Hoang, Michael Butler and Klaus Reichl
Type: Conference or Workshop Item | 2018 | Springer-Verlag

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 | Item not available on this server.

Type: Article | 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 Verlag | Item availability restricted.

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.

Type: Conference or Workshop Item | 2018 | Springer Verlag | Item not available on this server.

Type: Conference or Workshop Item | 2018 | IEEE Computer Society Press | Item not available on this server.

Type: Conference or Workshop Item | 2018

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

RESTOP: retaining external peripheral state in intermittently-powered sensor systems - Alberto Rodriguez Arreola, Domenico Balsamo, Geoff Merrett and Alexander Weddell
Type: Article | 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.

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 | 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 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.

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.

Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Type: Article | 2018

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.

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

Type: Article | 2018 | Item availability restricted.

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.

Refinement of timing constraints for concurrent tasks with scheduling - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2018 | Springer | Item availability restricted.

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.

This list was generated on Tue Nov 13 01:30:25 2018 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

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.

×