Folgen
Björn Cedric Wachter
Björn Cedric Wachter
Cryptostruct
Keine bestätigte E-Mail-Adresse - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2762006
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
2432008
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
1662010
Verifying multi-threaded software with Impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
632013
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
632011
Static Timing Analysis for Hard Real-Time Systems.
R Wilhelm, S Altmeyer, C Burguière, D Grund, J Herter, J Reineke, ...
VMCAI 5944, 3-22, 2010
552010
PASS: Abstraction Refinement for Infinite Probabilistic Models
EM Hahn, H Hermanns, B Wachter, L Zhang
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
522010
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
512007
Language equivalence for probabilistic automata
S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
482011
Best probabilistic transformers
B Wachter, L Zhang
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
452010
Abstract interpretation with applications to timing validation: Invited tutorial
R Wilhelm, B Wachter
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
412008
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
392009
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
392009
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
362015
The spotlight principle: on combining process-summarizing state abstractions
B Wachter, B Westphal
Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007
322007
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
312016
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
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
282013
Stability and complexity of minimising probabilistic automata
S Kiefer, B Wachter
Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014
202014
Symbolic state traversal for WCET analysis
S Wilhelm, B Wachter
Proceedings of the seventh ACM international conference on Embedded software …, 2009
202009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20