60 citations · 81 across the 4 of their papers we have counts for
4 papers
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable…
Static analysis of energy consumption for LLVM IR programs
Neville Grech, Kyriakos Georgiou, James Pallister +3
Energy models can be constructed by characterizing the energy consumed by executing each instruction in a processor's instruction set. This can be used to determine how much energy…
A high-level model of embedded flash energy consumption
James Pallister, Kerstin Eder, Simon J. Hollis +1
The alignment of code in the flash memory of deeply embedded SoCs can have a large impact on the total energy consumption of a computation. We investigate the effect of code alignm…