acm sigbed
|
emsoft
|
participants
Vinayak S. Prabhu
EMSOFT 2017: 17th International Conference on Embedded Software
Testing Cyber-Physical Systems through Bayesian Optimization
Jyotirmoy V. Deshmukh
,
Marko Horvat
,
Xiaoqing Jin
,
Rupak Majumdar
, and
Vinayak S. Prabhu
10.1145/3126521
EMSOFT 2012: 12th International Conference on Embedded Software
Finite Automata with Time-Delay Blocks
Krishnendu Chatterjee
,
Thomas A. Henzinger
, and
Vinayak S. Prabhu
10.1145/2380356.2380370
https://arxiv.org/pdf/1207.7019.pdf