The University of Southampton
University of Southampton Institutional Repository

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

Type: Article | 2020 | Item availability restricted.

Type: Conference or Workshop Item | 2020 | ACM | 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

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

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

Dataset for Mitigating Interactive Performance Degradation from Mobile Device Thermal Throttling - James, Robert Benjamin Bantock, Bashir Al-Hashimi and Geoff Merrett
Type: Dataset | 2020 | University of Southampton

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

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.

Type: Article | 2020

Type: Dataset | 2020 | University of Southampton

Type: Conference or Workshop Item | 2020 | IEEE

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

Dataset supporting the article "Improving the Forward Progress of Transient Systems" - Timothy Daulby, Alexander Weddell, Geoff Merrett and Anand Savanth
Type: Dataset | 2020 | University of Southampton

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.

Type: Article | 2020

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

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

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

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

Type: Dataset | 2020 | University of Southampton

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

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

Dataset supporting "Fused: Closed-Loop Performance and Energy Simulation of Embedded Systems" - Sivert Tvedt Sliper, William Wang, Nikos Nikoleris, Alexander Weddell and Geoff Merrett
Type: Dataset | 2020 | University of Southampton

Dataset for: Domain-Specific Scenarios for Refinement-based Methods - Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi
Type: Dataset | 2020 | University of Southampton

Domain-specific scenarios for refinement-based methods - Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Article | 2020 | Item availability restricted.

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

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

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

Dataset for: A Control Flow for Transiently-Powered Energy Harvesting Sensor Systems - Samuel Chang Bing Wong, Geoff Merrett, Alexander Weddell, Oktay Cetinkaya, Domenico Balsamo and Alberto Rodriguez Arreola
Type: Dataset | 2020 | University of Southampton

Type: Dataset | 2020 | University of Southampton

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

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

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.

This list was generated on Tue Aug 11 01:50:43 2020 BST.
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.

×