Björn Wachter
发表
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2010,
CAV.
Daniel Kroening,
Mandayam K. Srivas,
Björn Wachter,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
H. Hermanns,
Lijun Zhang,
Björn Wachter,
2007
.
J. Ouaknine,
J. Worrell,
Björn Wachter,
2013
.
J. Ouaknine,
Björn Wachter,
S. Kiefer,
2011
.
R. Wilhelm,
Björn Wachter,
2008
.
Lijun Zhang,
Holger Hermanns,
Ernst Moritz Hahn,
2009,
CAV.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
CAV.
Lijun Zhang,
Holger Hermanns,
Roberto Segala,
2011,
Inf. Comput..
Lijun Zhang,
Holger Hermanns,
Björn Wachter,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Lijun Zhang,
Holger Hermanns,
Björn Wachter,
2008,
CAV.
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
ArXiv.
Bernd Becker,
Jochen Eisinger,
Jan Reineke,
2006,
WCET.
Joël Ouaknine,
Daniel Kroening,
Björn Wachter,
2013,
2013 Formal Methods in Computer-Aided Design.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2013,
Log. Methods Comput. Sci..
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
FoSSaCS.
Sebastian Altmeyer,
Jan Reineke,
Daniel Grund,
2010,
VMCAI.
J. Ouaknine,
J. Worrell,
Björn Wachter,
2013,
Formal Methods Syst. Des..
Reinhard Wilhelm,
Björn Wachter,
Jörg Bauer,
2005
.
J. Worrell,
Björn Wachter,
S. Kiefer,
2012,
Formal Aspects of Computing.
Lijun Zhang,
Gethin Norman,
David Parker,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.