Björn Wachter
Björn Wachter
Verified email at cs.ox.ac.uk - Homepage
TitleCited byYear
A definition and classification of timing anomalies
J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ...
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006
2082006
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 162-175, 2008
1862008
PARAM: A model checker for parametric Markov models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 660-664, 2010
1142010
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
532011
Verifying multi-threaded software with Impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
482013
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
462007
PASS: Abstraction refinement for infinite probabilistic models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
Best probabilistic transformers
B Wachter, L Zhang
International Workshop on Verification, Model Checking, and Abstract …, 2010
392010
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
International Conference on Computer Aided Verification, 526-540, 2011
382011
Time-bounded model checking of infinite-state continuous-time Markov chains
EM Hahn, H Hermanns, B Wachter, L Zhang
Fundamenta Informaticae 95 (1), 129-155, 2009
382009
Abstract interpretation with applications to timing validation
R Wilhelm, B Wachter
International Conference on Computer Aided Verification, 22-36, 2008
382008
Static timing analysis for hard real-time systems
R Wilhelm, S Altmeyer, C Burguičre, D Grund, J Herter, J Reineke, ...
International Workshop on Verification, Model Checking, and Abstract …, 2010
372010
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
332009
Game-based abstraction and controller synthesis for probabilistic hybrid systems
EM Hahn, G Norman, D Parker, B Wachter, L Zhang
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
262011
The spotlight principle
B Wachter, B Westphal
International Workshop on Verification, Model Checking, and Abstract …, 2007
262007
Symbolic state traversal for WCET analysis
S Wilhelm, B Wachter
Proceedings of the seventh ACM international conference on Embedded software …, 2009
192009
Synthesising interprocedural bit-precise termination proofs (T)
HY Chen, C David, D Kroening, P Schrammel, B Wachter
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
152015
On the complexity of the equivalence problem for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
International Conference on Foundations of Software Science and …, 2012
152012
Stability and complexity of minimising probabilistic automata
S Kiefer, B Wachter
International Colloquium on Automata, Languages, and Programming, 268-279, 2014
142014
On the complexity of equivalence and minimisation for Q-weighted automata
S Kiefer, A Murawski, J Ouaknine, B Wachter, J Worrell
arXiv preprint arXiv:1302.2818, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20