Volgen
Björn Cedric Wachter
Björn Cedric Wachter
Cryptostruct
Geen geverifieerd e-mailadres - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2932006
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 162-175, 2008
2532008
PARAM: A Model Checker for Parametric Markov Models
EM Hahn, H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1822010
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
702011
Verifying multi-threaded software with impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
652013
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
612010
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
602010
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
542011
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
542007
Best probabilistic transformers
B Wachter, L Zhang
International Workshop on Verification, Model Checking, and Abstract …, 2010
462010
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
442015
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
442009
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
432016
Abstract interpretation with applications to timing validation: Invited tutorial
R Wilhelm, B Wachter
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
422008
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
402009
On the complexity of equivalence and minimisation for Q-weighted automata
S Kiefer, A Murawski, J Ouaknine, B Wachter, J Worrell
Logical Methods in Computer Science 9, 2013
332013
The spotlight principle: on combining process-summarizing state abstractions
B Wachter, B Westphal
International Workshop on Verification, Model Checking, and Abstract …, 2007
332007
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
322011
Symbolic state traversal for WCET analysis
S Wilhelm, B Wachter
Proceedings of the seventh ACM international conference on Embedded software …, 2009
222009
Stability and complexity of minimising probabilistic automata
S Kiefer, B Wachter
International Colloquium on Automata, Languages, and Programming, 268-279, 2014
212014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20