Follow
Björn Cedric Wachter
Björn Cedric Wachter
Cryptostruct
No verified email - Homepage
Title
Cited by
Cited by
Year
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
2612006
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 162-175, 2008
2352008
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
1642010
Verifying multi-threaded software with impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
622013
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
612011
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
522010
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
502010
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
492007
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
International Conference on Computer Aided Verification, 526-540, 2011
472011
Best probabilistic transformers
B Wachter, L Zhang
International Workshop on Verification, Model Checking, and Abstract …, 2010
422010
Abstract interpretation with applications to timing validation
R Wilhelm, B Wachter
International Conference on Computer Aided Verification, 22-36, 2008
402008
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
372009
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
362009
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
322015
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
312011
The spotlight principle
B Wachter, B Westphal
International Workshop on Verification, Model Checking, and Abstract …, 2007
312007
Sound static deadlock analysis for C/Pthreads
D Kroening, D Poetzl, P Schrammel, B Wachter
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
282016
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
262013
Stability and complexity of minimising probabilistic automata
S Kiefer, B Wachter
International Colloquium on Automata, Languages, and Programming, 268-279, 2014
192014
Symbolic state traversal for WCET analysis
S Wilhelm, B Wachter
Proceedings of the seventh ACM international conference on Embedded software …, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20