Daniel Thoma
发表
Martin Leucker,
Normann Decker,
Daniel Thoma,
2013,
RV.
Alarico Campetelli,
Martin Leucker,
Daniel Thoma,
2009,
ATVA.
Martin Leucker,
Daniel Thoma,
2012,
ISoLA.
Dejan Nickovic,
Yliès Falcone,
Giles Reger,
2016,
RV.
Anders P. Ravn,
Alarico Campetelli,
Zhiming Liu,
2009,
ATVA 2009.
Volker Stolz,
Malte Schmitz,
Daniel Thoma,
2018,
NWPT'18.
Klaus Havelund,
Giles Reger,
Daniel Thoma,
2018,
Lectures on Runtime Verification.
Normann Decker,
Daniel Thoma,
2016,
FoSSaCS.
Martin Leucker,
Normann Decker,
Peter Habermehl,
2014,
Petri Nets.
Normann Decker,
Torben Scheffel,
Malte Schmitz,
2016,
TACAS.
Alexander Weiss,
Torben Scheffel,
Malte Schmitz,
2018,
RV.
Daniel Thoma,
2008
.
César Sánchez,
Martin Leucker,
Torben Scheffel,
2019,
RV.
Stefan Fischer,
Daniel Thoma,
Franziska Kühn,
2017,
IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.
Martin Leucker,
Torben Scheffel,
Malte Schmitz,
2018,
SBMF.
Martin Leucker,
Normann Decker,
Peter Habermehl,
2014,
CONCUR.
Martin Leucker,
Normann Decker,
Daniel Thoma,
2016,
International Journal on Software Tools for Technology Transfer.
Martin Leucker,
Normann Decker,
Daniel Thoma,
2014,
TACAS.
Martin Leucker,
Torben Scheffel,
Malte Schmitz,
2019,
Echtzeit.
Martin Leucker,
Normann Decker,
Arnaud Sangnier,
2017,
CONCUR.
Normann Decker,
Daniel Thoma,
Franziska Kühn,
2014,
2014 IEEE 25th International Symposium on Software Reliability Engineering.
Torben Scheffel,
Malte Schmitz,
Martin Leucker,
2017
.
Martin Leucker,
Normann Decker,
Daniel Thoma,
2013,
NASA Formal Methods.
Ezio Bartocci,
Yi Zhang,
Felix Klaedtke,
2017,
International Journal on Software Tools for Technology Transfer.