60 citations · 88 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 7 cited
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
Kris Nikov, Kyriakos Georgiou, Zbigniew Chamski +2
Energy modelling can enable energy-aware software development and assist the developer in meeting an application's energy budget. Although many energy models for embedded processor…
cs.SE2022★ 1 cited
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…