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 2019

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

Type: Book | 2019 | Institution of Engineering and Technology | Item not available on this server.

Type: Article | 2019

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

Type: Article | 2019 | Item availability restricted.

Intersections between IoT and distributed ledger - Hany F. Atlam and Gary B. Wills
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

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

Dataset supporting the article entitled "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: 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

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

Type: Conference or Workshop Item | 2019 | Springer, Cham | Item availability restricted.

Diagrammatic algebra: From linear to concurrent system - Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2019 | ACM

Graphical affine algebra - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2019 | Institute of Electrical and Electronics Engineers Inc. | 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

Dataset for "Energy-neutral Wireless-powered Networks" - Oktay Cetinkaya, Ergin Dinc, Caglar Koca, Geoff Merrett and Ozgur B. Akan
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 | Item availability restricted.

Dataset for: Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B - Dana Dghaym, Colin Snook, Mohammad Sadegh Dalvandi and Michael Poppleton
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

Technologies to Enhance Quality and Access to Prosthetics & Orthotics: the importance of a multidisciplinary, user-centred approach - Alexander Dickinson, Margaret Donovan-Hall, Sisary Kheng, Gary Wills, Chantel Ostler, Samedy Srors, Auntouch Tech, Malcolm Granat, Laurence Kenney, Pathik Pathak, Carson Harte, Peter Worsley and Cheryl Metcalf
Type: Monograph | 2019 | University of Southampton

Type: Conference or Workshop Item | 2019

Type: Conference or Workshop Item | 2019

Type: Article | 2019

Type: Conference or Workshop Item | 2019 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Formal model validation through acceptance tests - Tomas Fischer and Dana Dghaym
Type: Conference or Workshop Item | 2019 | Springer

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

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

Type: Conference or Workshop Item | 2019 | IEEE

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

Type: Special issue | 2019

Type: Article | 2019

Type: Article | 2019

Type: Article | 2019

A variation-aware design methodology for distributed arithmetic - Yue Lu, Shengyu Duan, Basel Halak and Tom Kazmierski
Type: Article | 2019

Type: Article | 2019 | Item not available on this server.

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

Analysis of a PBX toll fraud honeypot - Nathaniel McInnes, Gary Wills and Edward Zaluska
Type: Article | 2019 | Item availability restricted.

Analysis of threats on a VoIP based PBX honeypot - Nathaniel McInnes, Gary Wills and Edward Zaluska
Type: Conference or Workshop Item | 2019 | Infonomics Society

Type: Conference or Workshop Item | 2019

Type: Conference or Workshop Item | 2019

Type: Conference or Workshop Item | 2019 | Springer | Item availability restricted.

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

Dataset for "Practical Implementation of Memristor-Based Threshold Logic Gates" - Georgios Papandroulidakis, Alexantrou Serb, Ali Khiat, Geoff Merrett and Themis Prodromakis
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 | Item not available on this server.

Practical implementation of memristor-based threshold logic gate - Georgios Papandroulidakis, Alexantrou Serb, Ali Khiat, Geoff Merrett and Themis Prodromakis
Type: Article | 2019 | Item availability restricted.

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.

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

Dataset supporting the article entitled "Collaborative Adaptation for Energy-Efficient Heterogeneous Mobile SoCs" - Amit Kumar Singh, Karunakar Reddy Basireddy, Alok Prakash, Geoffrey Merrett and Bashir Al-Hashimi
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

Dataset supporting "Efficient State Retention through Paged Memory Management for Reactive Transient Computing" - Sivert Tvedt Sliper, Domenico Balsamo, Nikos Nikoleris, William Wang, Alexander Weddell and Geoff Merrett
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 | Item availability restricted.

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

Type: Conference or Workshop Item | 2019 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Dataset for: Efficient State Retention in Transiently Powered Computing Systems - Theodoros Verykios, Domenico Balsamo and Geoff Merrett
Type: Dataset | 2019 | University of Southampton | Item availability restricted.

Power modelling of multicore systems - Matthew, James Walker, Geoff Merrett and Bashir Al-Hashimi
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

Dataset Supporting the article entitled "Predictive Thermal Management for Energy-efficient Execution of Concurrent Applications on Heterogeneous Multi-cores" - Eduardo Weber wachter, Cédric de Bellefroid, Karunakar Reddy Basireddy, Amit Kumar Singh, Bashir Al-Hashimi and Geoff Merrett
Type: Dataset | 2019 | University of Southampton

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.

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.

Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Dataset | 2019 | University of Southampton

This list was generated on Tue Nov 12 01:52:49 2019 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 https://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.

×