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 2021

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

Spikes in agile software development: an empirical study - Hussein Al Hashimi and Andrew Gravell
Type: Conference or Workshop Item | 2021 | IEEE | Item availability restricted.

Verifying System-level Security of a Smart Ballot Box - Dana Dghaym, Thai Son Hoang, Michael Butler, Runshan Hu, Leonardo Aniello and Vladimiro Sassone
Type: Conference or Workshop Item | 2021 | Springer Nature Switzerland AG

An STPA-based formal composition framework for trustworthy autonomous maritime systems - Dana Dghaym, Thai Son Hoang, Stephen Turnock, Michael Butler, Jon Downes and Ben Pritchard
Type: Article | 2021 | Item availability restricted.

Type: Dataset | 2021 | University of Southampton

The CamilleX Framework for the Rodin Platform - Thai Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item | 2021

Towards CamilleX 3.0 - Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2021

Wake-up radio-enabled intermittently-powered devices for mesh networking: A power analysis - Edward Longman, Oktay Cetinkaya, Mohammed El-Hajjar and Geoff Merrett
Type: Conference or Workshop Item | 2021

Intermittent opportunistic routing components for the INET framework - Edward Longman, Mohammed El-Hajjar and Geoff Merrett
Type: Conference or Workshop Item | 2021 | Item availability restricted.

Dynamic-OFA: Runtime DNN architecture switching for performance scaling on heterogeneous embedded platforms - Wei Lou, Lei Xun, Mohammadamin Sabetsarvestani, Jia Bi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item | 2021

Type: Dataset | 2021 | University of Southampton

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

Type: Article | 2021 | Item availability restricted.

Dynamic transformer for efficient machine translation on embedded devices - Hishan Parry, Lei Xun, Mohammadamin Sabetsarvestani, Jia Bi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item | 2021

Type: Dataset | 2021 | University of Southampton

Emergent design challenges for embedded systems and paths forward: Mixed-criticality, energy, reliability and security perspectives: Special Session Paper - Siva Satyendra Sahoo, Akash Kumar, Martin Decky, Samuel Chang Bing Wong, Geoff Merrett, Yinyuan Zhao, Xiaohang Wang and Amit Kumar Singh
Type: Conference or Workshop Item | 2021 | Item availability restricted.

Proceedings of the 9th Rodin User and Developer Workshop, 2021 - Asieh Salehi Fathabadi, Yamine Aït Ameur, Thai Son Hoang and Colin Snook
Type: Book | 2021

Extensible Record Structures in Event-B - Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2021

Refinable record structures in formal methods - Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2021 | Item availability restricted.

Domain-specific scenarios for refinement-based methods - Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Article | 2021 | Item availability restricted.

Scenario Checker: An Event-B tool for validating abstract models - Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2021 | Item availability restricted.

Type: Dataset | 2021 | University of Southampton

Type: Article | 2021 | Item availability restricted.

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

Type: Conference or Workshop Item | 2021

Type: Article | 2021

Type: Dataset | 2021 | University of Southampton

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions - Chenyang Zhu, Michael Butler, Corina Cirstea and Thai Son Hoang
Type: Conference or Workshop Item | 2021

This list was generated on Tue Oct 19 01:54:05 2021 BST.
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.

×