The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2020

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

Article

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe - Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles and Colin Snook
Type: Article | 2020 | Item availability restricted.

Type: Article | 2020

Intra- and inter-server smart task scheduling for profit and energy optimization of HPC data centers - Sayed Ashraf Mamun, Alexander Gilday, Amit Kumar Singh, Amlan Ganguly, Geoff Merrett, Xiaohang Wang and Bashir Al-Hashimi
Type: Article | 2020

A control flow for transiently-powered energy harvesting sensor systems - Domenico Balsamo, Oktay Cetinkaya, Alberto Rodriguez Arreola, Samuel Chang Bing Wong, Geoff Merrett and Alexander Weddell
Type: Article | 2020

Mitigating interactive performance degradation from mobile device thermal throttling - James, Robert Benjamin Bantock, Bashir Al-Hashimi and Geoff Merrett
Type: Article | 2020

Type: Article | 2020

Improving the forward progress of transient systems - Timothy Daulby, Anand Savanth, Geoff Merrett and Alex S. Weddell
Type: Article | 2020

Type: Article | 2020

Type: Article | 2020 | Item availability restricted.

Recommendations from cold starts in big data - David Ralph, Yunjia Li, Gary Wills and Nicolas G. Green
Type: Article | 2020

Collaborative adaptation for energy-efficient heterogeneous mobile SoCs - Amit Kumar Singh, Karunakar Reddy Basireddy, Alok Prakash, Geoff Merrett and Bashir Al-Hashimi
Type: Article | 2020

Dynamic energy and thermal management of multi-core mobile platforms: a survey - Amit Kumar Singh, Somdip Dey, Karunakar Reddy Basireddy, Klaus McDonald-Maier, Geoff Merrett and Bashir Al-Hashimi
Type: Article | 2020

Energy-driven computing - Sivert T. Sliper, Oktay Cetinkaya, Alexander Weddell, Bashir Al-Hashimi and Geoff Merrett
Type: Article | 2020

Type: Article | 2020 | Item availability restricted.

Anti-windup for model-reference adaptive control schemes with rate-limits - Matthew Turner, Jorge Sofrony and Emmanuel Prempain
Type: Article | 2020

Conic sector analysis using integral quadratic constraints - Matthew C. Turner and James R. Forbes
Type: Article | 2020 | Item not available on this server.

Formalizing hierarchical scheduling for refinement of real-time systems - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Article | 2020

Book Section

IoT security, privacy, safety and ethics - Hany, Fathy Atlam and Gary Wills
Type: Book Section | 2020 | Springer International Publishing | Item availability restricted.

Validation of railway control systems - Tomas Fischer, Klaus Reichl, Peter Tummeltshammer, Thai Son Hoang and Michael Butler
Type: Book Section | 2020 | Springer International Publishing | Item not available on this server.

Domain-specific developments using Rodin theories - Thai Son Hoang, Laurent Voisin and Michael Butler
Type: Book Section | 2020 | Springer Nature | Item availability restricted.

Conference or Workshop Item

An empirical investigation of spikes in agile software development - Hussein Al Hashimi, Abdullah Altaleb and Andrew Gravell
Type: Conference or Workshop Item | 2020 | ACM | Item availability restricted.

Type: Conference or Workshop Item | 2020 | ACM | Item availability restricted.

Type: Conference or Workshop Item | 2020 | IEEE | Item availability restricted.

Type: Conference or Workshop Item | 2020 | IEEE | Item availability restricted.

A framework for data sharing between healthcare providers using Blockchain - Ahmed Ghurmullah M Alzahrani, Ahmed, Mershed A Alenezi, Hany, Fathy Mousa Atlam and Gary Wills
Type: Conference or Workshop Item | 2020 | Scitepress

Type: Conference or Workshop Item | 2020 | IEEE

Comparing NVM technologies through the lens of Intermittent computation - Timothy Daulby, Alexander Weddell, Geoff Merrett and Anand Savanth
Type: Conference or Workshop Item | 2020 | ACM

Type: Conference or Workshop Item | 2020

Investigating trusted records for employment and education - Rayan, Mohamed S Ghamri, Nawfal Fadhel and Gary Wills
Type: Conference or Workshop Item | 2020

Type: Conference or Workshop Item | 2020

Refinement and verification of responsive control systems - K. Morris, Colin Snook, T.S. Hoang, G. Hulette, R. Armstrong and M. Butler
Type: Conference or Workshop Item | 2020 | Springer

Formal verification of run-to-completion style statecharts using Event-B - Karla Morris, Colin Snook, Thai Son Hoang, G. Hulette, Robert Armstrong and Michael Butler
Type: Conference or Workshop Item | 2020 | Springer, Cham

A survey on machine learning for stock price prediction: algorithms and techniques - Mehtabhorn Obthong, Nongnuch Tantisantiwong, Watthanasak Jeamwatthanachai and Gary Wills
Type: Conference or Workshop Item | 2020

DEff-ARTS: differentiable efficient ARchiTecture search - Sulaiman Sadiq, Partha Maji, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item | 2020 | Item availability restricted.

Fused: closed-loop performance and energy simulation of embedded systems - Sivert T. Sliper, William Wang, Nikos Nikoleris, Alexander Weddell and Geoff Merrett
Type: Conference or Workshop Item | 2020

FLOPTICS: A novel automated gating technique for flow cytometry data - Wiwat Sriphum, Gary Wills and Nicolas Green
Type: Conference or Workshop Item | 2020

Towards generating SPARK from Event-B models - Sanjeevan Sritharan and Thai Son Hoang
Type: Conference or Workshop Item | 2020

Challenges of mission planning for collaborative maritime autonomy - Stephen Turnock, Thai Son Hoang, Steven J Ossont, Jon Downes, Joseph Lam and Ben Pritchard
Type: Conference or Workshop Item | 2020 | Royal Institution of Naval Architects | Item availability restricted.

Energy-driven occupant behaviour sensing - Samuel Chang Bing Wong, Stephanie Gauthier and Geoff Merrett
Type: Conference or Workshop Item | 2020

Energy-aware HW/SW co-modeling of batteryless wireless sensor nodes - Samuel Chang Bing Wong, Sivert T. Sliper, William Wang, Alexander Weddell, Stephanie Gauthier and Geoff Merrett
Type: Conference or Workshop Item | 2020 | ACM

Type: Conference or Workshop Item | 2020

Optimising resource management for embedded machine learning - Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item | 2020

Type: Conference or Workshop Item | 2020 | ACM

Real-time trigger-response properties for Event-B applied to the pacemaker - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2020 | IEEE | Item availability restricted.

Thesis

Type: Thesis | 2020 | University of Southampton

Dataset

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

Editorial

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 - Michael Butler, Thai Son Hoang, Alexander Raschke and Klaus Reichl
Type: Editorial | 2020 | Item not available on this server.

This list was generated on Tue Nov 23 01:55:48 2021 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 http://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.

×