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 |
Number of items: 73.
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
Cloud-based quadratic optimization with partially homomorphic encryption - Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada and George J. Pappas
Type: Article
| 2020
| Item not available on this server.
Towards a framework for the successful implementation of a government cloud in Saudi Arabia - Amal Alkhlewi, Robert Walters and Gary Wills
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
Internet of MIMO things: UAV-assisted wireless-powered networks for Future Smart cities - Oktay Cetinkaya, Domenico Balsamo and Geoff Merrett
Type: Article
| 2020
Improving the forward progress of transient systems - Timothy Daulby, Anand Savanth, Geoff Merrett and Alex S. Weddell
Type: Article
| 2020
Robust finite-time tracking for uncertain linear systems with actuator faults - Xinpeng Fang, Huijin Fan and Lei Liu
Type: Article
| 2020
| Item not available on this server.
A spike-latency transceiver with tuneable pulse control for low-energy wireless 3D integration - Benjamin James Fletcher, Shidhartha Das and Terrence Mak
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.
Developing a framework and an instrument for measuring system openness - Temitope Omitola and Gary Wills
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
Constrained rigid body attitude stabilization: an anti-windup approach - Matthew Turner and Christopher M. Richards
Type: Article
| 2020
Anti-windup for model-reference adaptive control schemes with rate-limits - Matthew Turner, Jorge Sofrony and Emmanuel Prempain
Type: Article
| 2020
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
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.
A pair estimation technique of effort estimation in mobile app development for agile process: Case study - Abdullah Altaleb, Muna Altherwi and Andrew Gravell
Type: Conference or Workshop Item
| 2020
| Association for Computing Machinery
| Item availability restricted.
A case study validation of the Pair-estimation technique in effort estimation of mobile app development using agile processes - Abdullah Rashed Altaleb, Hussein Al Hashimi and Andrew Gravell
Type: Conference or Workshop Item
| 2020
| IEEE
| Item availability restricted.
An industrial investigation into effort estimation predictors for mobile app development in agile processes - Abdullah, Rashed Altaleb, Muna Altherwi and Andrew Gravell
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
Efficient deployment of UAV-powered sensors for optimal coverage and connectivity - Oktay Cetinkaya and Geoff Merrett
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.
Adaptive finite-time varying fault compensation tracking control for linear systems - Huijin Fan, Xinpeng Fang and Wei Wang
Type: Conference or Workshop Item
| 2020
| IEEE
| Item not available on this server.
Robust adaptive finite-time fault-tolerant tracking control for uncertain systems - Xinpeng Fang, Huijin Fan and Lei Liu
Type: Conference or Workshop Item
| 2020
| IEEE
| Item not available on this server.
A 3D-stacked cortex-M0 SoC with 20.3Gbps/mm2 7.1mW/mm2 simultaneous wireless inter-tier data and power transfer - Benjamin James Fletcher, Terrence Mak and Shidhartha Das
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.
Laser-patterned lateral-flow devices with multiple flow-paths for semi-quantitative measurement of the inflammatory biomarker, C-reactive protein - Alice Iles, Peijun He, Ioannis Katis, Panagiotis Galanis, Collin Sones and R.W. Eason
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
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
Incremental training and group convolution pruning for runtime DNN performance scaling on heterogeneous embedded platforms - Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi and Geoff Merrett
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
Adaptive energy budgeting for atomic operations in intermittently-powered systems - Jie Zhan, Alexander Weddell and Geoff Merrett
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.