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 2019
 | Up a level |
Number of items: 91.
Type: Book
| 2019
| Institution of Engineering and Technology
| Item not available on this server.
Zlto: increase and track positive behaviour using secure blockchain technology - Michael Gu, Allan Van Der Meulen, Kurt Appolis, Christine Taphel, Marlon Parker and Gary Wills
Type: Article
| 2019
A critical review of the use of spikes in agile software development - Hussein Al Hashimi and Andrew Gravell
Type: Conference or Workshop Item
| 2019
| International Academy, Research and Industry Association
| Item availability restricted.
An empirical investigation of effort estimation in mobile apps using agile development process - Abdullah Altaleb and Andrew Gravell
Type: Article
| 2019
A conceptual framework for gamified e-learning systems acceptance by students in Saudi Arabian universities - Abdullah I.A. Alzahrani
Type: Thesis
| 2019
| University of Southampton
The circuit breaker pattern targeted to future IoT applications - Gibeon Aquino, Rafael Queiroz, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2019
| Springer
An efficient security risk estimation technique for risk-based access control model for IoT - Hany F. Atlam and Gary B. Wills
Type: Article
| 2019
Type: Article
| 2019
| Item availability restricted.
Fuzzy logic with expert judgment to implement an adaptive risk-based access control model for IoT - Hany Fathy Atlam, Robert Walters, Gary Wills and Joshua Daniel
Type: Article
| 2019
Flipped classroom from computer science instructors’ perspectives: a proposed model - Eman Madani Bakheet and Andrew M. Gravell
Type: Conference or Workshop Item
| 2019
| Association for Computing Machinery
| Item not available on this server.
Power neutral performance scaling with intrinsic MPPT for energy harvesting computing systems - Domenico Balsamo, Benjamin, James Fletcher, Alexander Weddell, Giorgos Karatziolas, Bashir Al-Hashimi and Geoff Merrett
Type: Article
| 2019
Type: Dataset
| 2019
| University of Southampton
Energy harvesting meets IoT: fuelling adoption of transient computing in embedded systems - Domenico Balsamo, Michele Magno, Kacper Kubara, Bogdan Lazarescu, Geoff Merrett and Oktay Cetinkaya
Type: Conference or Workshop Item
| 2019
| IEEE
AdaMD: Adaptive mapping and DVFS for energy-efficient heterogeneous multi-cores - Karunakar R. Basireddy, Amit Kumar Singh, Bashir Al-Hashimi and Geoff V. Merrett
Type: Article
| 2019
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses - Henning Basold, Ekaterina Komendantskaya and Yue Li
Type: Conference or Workshop Item
| 2019
| Springer
A stochastic gradient method with biased estimation for faster nonconvex optimization - Jia Bi and Steve R. Gunn
Type: Conference or Workshop Item
| 2019
| Springer Cham
Diagrammatic algebra: From linear to concurrent system - Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item
| 2019
| Association for Computing Machinery
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Exploring the impact of gamification on student engagement and involvement with e-learning systems - Imed Bouchrika, Nouzha Harrati, Vanissa Wanick Vieira and Gary Wills
Type: Article
| 2019
| Item availability restricted.
Behaviour-driven formal model development of the ETCS hybrid level 3 - Michael Butler, Dana Dghaym, Thai Son Hoang, Temitope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer and Peter Tummeltshammer
Type: Conference or Workshop Item
| 2019
Ultra-low power 18-transistor fully-static contention-free single-phase clocked flip-flop in 65nm CMOS - Yunpeng Cai, Anand Savanth, Pranay Prabhat, James Myers, Alexander Weddell and Tomasz Kazmierski
Type: Article
| 2019
Type: Dataset
| 2019
| University of Southampton
Energy-neutral wireless-powered networks - Oktay Cetinkaya, Ergin Dinc, Caglar Koca, Geoff Merrett and Ozgur B. Akan
Type: Letter
| 2019
SEB-CG: Code generation tool with algorithmic refinement support for Event-B - Mohammad Sadegh Dalvandi, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2019
Edgecoolingmode: An agent based thermal management mechanism for DVFS enabled heterogeneous MPSoCs - Somdip Dey, Enrique Zaragoza Guajardo, Karunakar Reddy Basireddy, Xiaohang Wang, Amit Kumar Singh and Klaus McDonald-Maier
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B - Dana Dghaym, Mohammad Sadegh Dalvandi, Michael Poppleton and Colin Snook
Type: Article
| 2019
Systematic verification and testing - Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick and Peter Tummeltshammer
Type: Book Section
| 2019
| Springer Cham
| Item not available on this server.
Type: Dataset
| 2019
| University of Southampton
Developing a framework for trustworthy autonomous maritime systems - Dana Dghaym, Stephen Turnock, Michael Butler, Jonathan Downes, Thai Son Hoang and Ben Pritchard
Type: Conference or Workshop Item
| 2019
| Sciendo
Technologies to enhance quality and access to prosthetics & orthotics: the importance of a multidisciplinary, user-centred approach - Alexander Dickinson, Margaret Donovan-Hall, Sisary Kheng, Stefanie Wiegand, Gary Wills, Chantel Ostler, Samedy Srors, Auntouch Tech, Malcolm Granat, Laurence Kenney, Pathik Pathak, Carson Harte, Peter Worsley and Cheryl Metcalf
Type: Monograph
| 2019
| World Health Organization
Type: Article
| 2019
An efficient numerical solution technique for VLSI interconnect equations on many-core processors - Ginés Doménech-Asensi and Tom J. Kazmierski
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
External positivity of linear systems by weak majorisation - R. Drummond, M. C. Turner and S. R. Duncan
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Conference or Workshop Item
| 2019
| Springer
Design and optimization of inductive-coupling links for 3-D-ICs - Benjamin J. Fletcher, Shidhartha Das and Terrence Mak
Type: Article
| 2019
A 10.8pJ/bit pulse-position inductive transceiver for low-energy wireless 3D integration - Benjamin, James Fletcher, Shidhartha Das and Terrence Mak
Type: Conference or Workshop Item
| 2019
| IEEE
CoDAPT: a concurrent data and power transceiver for fully wireless 3D-ICs - Benjamin, James Fletcher, Shidhartha Das and Terrence Mak
Type: Conference or Workshop Item
| 2019
| IEEE
Type: Dataset
| 2019
| University of Southampton
A low-energy inductive transceiver using spike-latency encoding for wireless 3D integration - Benjamin, James Fletcher, Shidhartha Das and Terrence Mak
Type: Conference or Workshop Item
| 2019
| Item not available on this server.
Type-spread molecular communications: principles and inter-symbol interference mitigation - Weidong Gao, Terrence Mak and Lie Liang Yang
Type: Conference or Workshop Item
| 2019
| IEEE
A rigorous tool-supported methodology for assuring the security and safety of cyber-physical systems - Giles Howard
Type: Thesis
| 2019
| University of Southampton
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Special issue
| 2019
Building rating system: an instrument for building accessibility measurement for better indoor navigation by blind people - Watthanasak Jeamwatthanachai, Michael Wald and Gary Wills
Type: Article
| 2019
Indoor navigation by blind people: behaviors and challenges in unfamiliar spaces and buildings - Watthanasak Jeamwatthanachai, Michael Wald and Gary Wills
Type: Article
| 2019
Spatial representation framework for better indoor navigation by people with visual impairment - Watthanasak Jeamwatthanachai, Michael Wald and Gary Wills
Type: Article
| 2019
On Runtime Communication and Thermal-Aware Application Mapping and Defragmentation in 3D NoC Systems - Bing Li, Xiaohang Wang, Amit Kumar Singh and Terrence Mak
Type: Article
| 2019
| Item not available on this server.
Accelerating position-aware top-k listnet for ranking under custom precision regimes - Qiang Li, Erwei Wang, Shane T. Fleming, David B. Thomas and Peter Y.K. Cheung
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
A variation-aware design methodology for distributed arithmetic - Yue Lu, Shengyu Duan, Basel Halak and Tom Kazmierski
Type: Article
| 2019
A cost-efficient error-resilient approach to distributed arithmetic for signal processing - Yue Lu, Shengyu Duan, Basel Halak and Tom J. Kazmierski
Type: Article
| 2019
| Item not available on this server.
A bit-serial variable-accuracy FFT processor for energy-harvesting systems - Yue Lu, Tom J. Kazmierski and Lianxi Liu
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Article
| 2019
| Item availability restricted.
Type: Conference or Workshop Item
| 2019
| Infonomics Society
Managing power in heterogeneous multicore systems - Geoff Merrett
Type: Conference or Workshop Item
| 2019
Type: Conference or Workshop Item
| 2019
Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis - Temitope Omitola, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2019
| Springer
Emergency response ontology informatics: using ontologies to improve emergency and hazard management - Temitope Omitola and Gary Wills
Type: Article
| 2019
Special Issue: Intelligent Management of Cloud, IoT and Big Data Applications - Claus Pahl, Muthu Ramachandran and Gary Wills
Type: Editorial
| 2019
A digital in-analogue out logic gate based on metal-oxide memristor devices - Georgios Papandroulidakis, Loukas Michalas, Alexantrou Serb, Ali Khiat, Geoff Merrett and Themis Prodromakis
Type: Conference or Workshop Item
| 2019
| IEEE
| Item availability restricted.
Type: Dataset
| 2019
| University of Southampton
| Item not available on this server.
Practical implementation of digital in-analogue out memristor-based threshold logic circuit - Georgios Papandroulidakis, Alexantrou Serb, Ali Khiat, Geoff Merrett and Themis Prodromakis
Type: Conference or Workshop Item
| 2019
Practical implementation of memristor-based threshold logic gate - Georgios Papandroulidakis, Alexantrou Serb, Ali Khiat, Geoff Merrett and Themis Prodromakis
Type: Article
| 2019
Combined static and dynamic antiwindup architecture with application to quadcopters experiencing large disturbances - Christopher M. Richards and Matthew C. Turner
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Developing portable embedded software for multicore systems through formal abstraction and refinement - Asieh Salehi Fathabadi, Mohammad Sadegh Dalvandi and Michael Butler
Type: Book Section
| 2019
| Institute of Engineering and Technology, IET
| Item not available on this server.
Verifying cross-layer interactions through formal model-based assertion generation - Asieh Salehi Fathabadi, Mohammadsadegh Dalvandi, Michael Butler and Bashir M. Al-Hashimi
Type: Article
| 2019
Proof-carrying plans - Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, František Farka, Ronald P.A. Petrick, Joe Wells and Kevin Hammond
Type: Conference or Workshop Item
| 2019
| Springer
| Item not available on this server.
Type: Dataset
| 2019
| University of Southampton
Tools and workloads for many-core computing - Amit Kumar Singh, Piotr Dziurzanski, Geoff Merrett and Bashir Al-Hashimi
Type: Book Section
| 2019
| Institution of Engineering and Technology
| Item not available on this server.
Efficient state retention through paged memory management for reactive transient computing - Sivert T. Sliper, Domenico Balsamo, Nikos Nikoleris, William Wang, Alexander Weddell and Geoff Merrett
Type: Conference or Workshop Item
| 2019
Type: Dataset
| 2019
| University of Southampton
Domain-specific scenarios for refinement-based methods - Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2019
| Springer
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants - Andrew Sogokon, Paul B. Jackson and Taylor T. Johnson
Type: Article
| 2019
Pegasus: a framework for sound continuous invariant generation - Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell and André Platzer
Type: Conference or Workshop Item
| 2019
| Springer
Memristor-enabled reconfigurable integrated circuit - Jakub Szypicyn, Christos Papavassiliou, Georgios Papandroulidakis, Geoff Merrett, Alexantrou Serb, Spyros Stathopoulos and Themistoklis Prodromakis
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Templatised soft floating-point for high-level synthesis - David B. Thomas
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Investigating Factors in information assurance implementation: Towards developing an information assurance framework for eGovernment in Indonesia - Rio Guntur Utomo, Gary B. Wills and Robert J. Walters
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Dataset
| 2019
| University of Southampton
Efficient state retention in transiently powered computing systems - Theodoros D. Verykios
Type: Thesis
| 2019
| University of Southampton
Type: Dataset
| 2019
| University of Southampton
Survey of Lockstep based Mitigation Techniques for Soft Errors in Embedded Systems - Eduardo Weber Wachter, Server Kasap, Xiaojun Zhai, Shoaib Ehsan and Klaus McDonald-Maier
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Book Section
| 2019
| Item not available on this server.
Analysing cross-cultural design in advergames: a comparison between the UK and Brazil - Vanissa Wanick, Rima Dunn, Ashok Ranchhod and Gary Wills
Type: Article
| 2019
Type: Dataset
| 2019
| University of Southampton
Open specification for synchronisation of electronic healthcare records used by P&O services in lower- and middle income countries - Stefanie Wiegand, Alexander Dickinson and Gary Wills
Type: Conference or Workshop Item
| 2019
Synchronising medical data in lower- and middle income countries - Stefanie Wiegand, Alexander Dickinson and Gary Wills
Type: Conference or Workshop Item
| 2019
Predictive thermal management for energy-efficient execution of concurrent applications on heterogeneous multicores - Eduardo Weber Wächter, Cédric De Bellefroid, Karunakar Reddy Basireddy, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Article
| 2019
ACDC: An accuracy- and congestion-aware dynamic traffic control method for networks-on-chip - Siyuan Xiao, Xiaohang Wang, Maurizio Palesi, Amit Kumar Singh and Terrence Mak
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
Type: Dataset
| 2019
| University of Southampton
Robust principal component algorithms for high-order fast-sampled systems - Hao Yang, Rafael M. Morales and Matthew C. Turner
Type: Conference or Workshop Item
| 2019
| IEEE
| Item not available on this server.
On a new hardware Trojan attack on power budgeting of many core systems - Yiming Zhao, Xiaohang Wang, Yingtao Jiang, Yang Mei, Amit Kumar Singh and Terrence Mak
Type: Conference or Workshop Item
| 2019
| IEEE Computer Society
| Item not available on this server.
Type: Dataset
| 2019
| University of Southampton