research
∙
07/03/2023
Soft Gripping: Specifying for Trustworthiness
Soft robotics is an emerging technology in which engineers create flexib...
share
research
∙
06/01/2023
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Non-functional properties, such as energy, time, and security (ETS) are ...
research
∙
05/24/2023
EnergyAnalyzer: Using Static WCET Analysis Techniques to Estimate the Energy Consumption of Embedded Applications
This paper presents EnergyAnalyzer, a code-level static analysis tool fo...
research
∙
05/18/2023
Evaluation Metrics for CNNs Compression
There is a lot of research effort devoted by researcher into developing ...
research
∙
05/05/2023
Assessing Trustworthiness of Autonomous Systems
As Autonomous Systems (AS) become more ubiquitous in society, more respo...
research
∙
02/20/2023
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
The behaviours of a swarm are not explicitly engineered. Instead, they a...
research
∙
01/30/2023
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
Energy modelling can enable energy-aware software development and assist...
research
∙
01/21/2023
Towards a Measure of Trustworthiness to Evaluate CNNs During Operation
Due to black box nature of Convolutional neural networks (CNNs), the con...
research
∙
08/10/2022
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process
Automated Vehicles (AVs) are rapidly maturing in the transportation doma...
research
∙
07/01/2022
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure
Machine learning (ML) has been used to accelerate the closure of functio...
research
∙
06/22/2022
On Specifying for Trustworthiness
As autonomous systems are becoming part of our daily lives, ensuring the...
research
∙
05/19/2022
Hybrid Intelligent Testing in Simulation-Based Verification
Efficient and effective testing for simulation-based hardware verificati...
research
∙
05/17/2022
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
Constrained random test generation is one of the most widely adopted met...
research
∙
04/30/2022
Operational Adaptation of DNN Classifiers using Elastic Weight Consolidation
Autonomous systems (AS) often use Deep Neural Network (DNN) classifiers ...
research
∙
11/08/2021
Safety Validation of Autonomous Vehicles using Assertion-based Oracles
Safety and mission performance validation of autonomous vehicles is a ma...
research
∙
05/26/2021
Robust and accurate fine-grain power models for embedded systems with no on-chip PMU
This paper presents a novel approach to event-based power modelling for ...
research
∙
04/29/2021
D-VAL: An automatic functional equivalence validation tool for planning domain models
In this paper, we introduce an approach to validate the functional equiv...
research
∙
04/07/2021
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Game engines are increasingly used as simulation platforms by the autono...
research
∙
04/02/2021
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor
Energy modeling can enable energy-aware software development and assist ...
research
∙
06/30/2020
Formalizing and Guaranteeing* Human-Robot Interaction
Robot capabilities are maturing across domains, from self-driving cars, ...
research
∙
06/26/2020
CyRes – Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Existing approaches to cyber security and regulation in the automotive s...
research
∙
06/19/2020
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling
This paper investigates the application of a robust CPU-based power mode...
research
∙
12/11/2019
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Simulation-based verification is beneficial for assessing otherwise dang...
research
∙
05/03/2019
When parallel speedups hit the memory wall
After Amdahl's trailblazing work, many other authors proposed analytical...
research
∙
03/25/2019
Lost in translation: Exposing hidden compiler optimization opportunities
To increase productivity, today's compilers offer a two-fold abstraction...
research
∙
11/22/2018
Verification of Planning Domain Models - Revisited
The verification of planning domain models is crucial to ensure the safe...
research
∙
05/02/2018
Energy-Optimal Configurations for Single-Node HPC Applications
Energy efficiency is a growing concern for modern computing, especially ...
research
∙
02/27/2018
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
This paper presents the interesting observation that by performing fewer...
research
∙
02/23/2017
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on Embedded Systems
This paper introduces a novel method for automatically tuning the select...
research
∙
09/16/2016
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Robotic code needs to be verified to ensure its safety and functional co...
research
∙
08/25/2016
Energy Transparency for Deeply Embedded Programs
Energy transparency is a concept that makes a program's energy consumpti...
research
∙
06/28/2016
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems
Multi-core, Mixed Criticality Embedded (MCE) real-time systems require h...
research
∙
06/13/2016
ENTRA: Whole-Systems Energy Transparency
Promoting energy efficiency to a first class system design goal is an im...
research
∙
03/07/2016
