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

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

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

Local photo-polymer deposition-assisted fabrication of multilayer paper-based devices - Panagiotis Galanis, Peijun He, Ioannis Katis, Alice Iles, Anto J.U. Kumar, R.W. Eason and Collin Sones
Type: Article | 2020

Survey of Soft Error Mitigation Techniques Applied to LEON3 Soft Processors on SRAM-Based FPGAs - Server Kasap, Eduardo Weber Wachter, Xiaojun Zhai, Shoaib Ehsan and Klaus Mcdonald-Maier
Type: Article | 2020 | Item not available on this server.

The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them - Ekaterina Komendantskaya, Dmitry Rozplokhas and Henning Basold
Type: Article | 2020 | Item not available on this server.

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

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 Cham | 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 Cham | 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 | Association for Computing Machinery | Item availability restricted.

Type: Conference or Workshop Item | 2020 | Association for Computing Machinery | 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 | Association for Computing Machinery

Relative robustness of quantized neural networks against adversarial attacks - Kirsty Duncan, Ekaterina Komendantskaya, Robert Stewart and Michael Lones
Type: Conference or Workshop Item | 2020 | IEEE | Item not available on this server.

Type: Conference or Workshop Item | 2020

Laser patterned flow-through filters for paper-based immunoassays - P. P. Galanis, P.J.W. He, I. N. Katis, A. H. Iles, A.J.U. Kumar J, R. W. Eason and C. L. Sones
Type: Conference or Workshop Item | 2020 | OSA | Item not available on this server.

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

Proof-carrying plans: a resource logic for AI planning - Alasdair Hill, Ekaterina Komendantskaya and Ronald P.A. Petrick
Type: Conference or Workshop Item | 2020 | Association for Computing Machinery | Item not available on this server.

Type: Conference or Workshop Item | 2020 | Item not available on this server.

Novel lockstep-based approach with roll-back and roll-forward recovery to mitigate radiation-induced soft errors - Server Kasap, Eduardo Weber Wachter, Xiaojun Zhai, Shoaib Ehsan and Klaus D. McDonald-Maier
Type: Conference or Workshop Item | 2020 | IEEE | Item not available on this server.

Neural networks, secure by construction: an exploration of refinement types - Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey and David Aspinall
Type: Conference or Workshop Item | 2020 | Springer Cham | Item not available on this server.

Continuous verification of machine learning: a declarative programming approach - Ekaterina Komendantskaya, Wen Kokke and Daniel Kienitz
Type: Conference or Workshop Item | 2020 | Association for Computing Machinery | Item not available on this server.

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

A hardware/application overlay model for large-scale neuromorphic simulation - Alexander Rast, Mahyar Shahsavari, Graeme M Bragg, Mark L Vousden, David Thomas and Andrew Brown
Type: Conference or Workshop Item | 2020 | IEEE | Item not available on this server.

DEff-ARTS: differentiable efficient ARchiTecture search - Sulaiman Sadiq, Partha Maji, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item | 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

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 | The Royal Institution of Naval Architects | Item availability restricted.

A framework and protocol for dynamic management of fault tolerant systems in harsh environments - Eduardo Weber Wachter, Server Kasap, Xiaojun Zhai, Shoaib Ehsan and Klaus McDonald-Maier
Type: Conference or Workshop Item | 2020 | IEEE | Item not available on this server.

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 | Association for Computing Machinery

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 | Association for Computing Machinery

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 Mar 26 02:07:38 2024 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.

×