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
Jump to: A | B | C | D | F | G | H | J | L | M | O | P | R | S | T | U | V | W | X | Y | Z
Number of items: 88.

A

Type: Conference or Workshop Item | 2019 | International Academy, Research and Industry Association | Item availability restricted.

Type: Article | 2019

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

Type: Article | 2019

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

B

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

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

Graphical affine algebra - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
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

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

C

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

D

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

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.

F

Formal model validation through acceptance tests - Tomas Fischer and Dana Dghaym
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

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

G

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

H

Type: Thesis | 2019 | University of Southampton

Type: Special issue | 2019

J

Type: Article | 2019

Type: Article | 2019

Type: Article | 2019

L

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

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

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

M

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

O

Type: Conference or Workshop Item | 2019 | Springer

Type: Article | 2019

P

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

R

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

S

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

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

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.

T

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.

U

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

V

Type: Dataset | 2019 | University of Southampton

Type: Thesis | 2019 | University of Southampton

Type: Dataset | 2019 | University of Southampton

W

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.

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

Type: Dataset | 2019 | University of Southampton

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

X

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

Y

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.

Z

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

This list was generated on Tue Mar 26 02:07:39 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.

×