Harald Ruess
发表
Chung-Hao Huang,
Stefan Hauck-Stattelmann,
Chih-Hong Cheng,
2014,
CAV.
Amit Sahu,
Holger Pfeifer,
Julian Wörmann,
2020,
ArXiv.
Martin Hofmann,
Harald Ruess,
Christian Neukirchen,
2016,
SPIN.
César Muñoz,
Yassine Lakhnech,
John Rushby,
2000
.
Vivek Nigam,
Yuri Gil Dantas,
Harald Ruess,
2020,
ArXiv.
Alois Knoll,
Chih-Hong Cheng,
Christian Buckl,
2011
.
Maria Sorea,
M. Oliver Möller,
Harald Ruess,
2001,
Theory and Practice of Timed Systems @ ETAPS.
Chih-Hong Cheng,
Georg Nührenberg,
Gereon Hinz,
2017,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).