11 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.DC2021★ 11 cited
Measuring the Impact of Interference Channels on Multicore Avionics
Steven H. VanderLeest, Samuel R. Thompson
Measurement-based analysis of software timing behavior provides important insight and evidence for flight certification of modern avionics systems. For multicore systems, however,…
cs.SE2015
Assisted Coverage Closure
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy +3
The malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain spe…