Seguir
Björn Cedric Wachter
Björn Cedric Wachter
Cryptostruct
No hay ninguna dirección de correo electrónico verificada. - Página principal
Título
Citado por
Citado por
Año
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
2852006
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 162-175, 2008
2482008
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
1702010
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
662011
Verifying multi-threaded software with impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
642013
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
572010
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
542010
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
542007
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
512011
Best probabilistic transformers
B Wachter, L Zhang
International Workshop on Verification, Model Checking, and Abstract …, 2010
452010
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
422009
Abstract interpretation with applications to timing validation: Invited tutorial
R Wilhelm, B Wachter
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
412008
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
402015
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
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
332016
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
312013
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: on combining process-summarizing state abstractions
B Wachter, B Westphal
International Workshop on Verification, Model Checking, and Abstract …, 2007
312007
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
192014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20