134 citations · 979 across the 64 of their papers we have counts for
65 papers
Soft Gripping: Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance +9
Soft robotics is an emerging technology in which engineers create flexible devices for use in a variety of applications. In order to advance the wide adoption of soft robots, ensur…
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Benjamin Rouxel, Christopher Brown, Emad Ebeid +14
Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay…
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications
Simon Wegener, Kris K. Nikov, Jose Nunez-Yanez +1
This paper presents EnergyAnalyzer, a code-level static analysis tool for estimating the energy consumption of embedded software based on statically predictable hardware events. Th…
Assessing Trustworthiness of Autonomous Systems
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair +2
As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy…
Evaluation Metrics for DNNs Compression
Abanoub Ghobrial, Samuel Budgett, Dieter Balemans +3
There is a lot of ongoing research effort into developing different techniques for neural networks compression. However, the community lacks standardised evaluation metrics, which…
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Dhaminda B. Abeywickrama, James Wilson, Suet Lee +7
The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. T…