102 citations · 176 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021★ 5 cited
Complete Agent-driven Model-based System Testing for Autonomous Systems
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to…
cs.SE2021★ 5 cited
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor
Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov +1
Energy modeling can enable energy-aware software development and assist the developer in meeting an application's energy budget. Although many energy models for embedded processors…