Björn Wachter

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 7

Top Venues

CoRR

ASE

FMCAD

FoSSaCS

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Bit-Precise Procedure-Modular Termination Analysis. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
Sound Static Deadlock Analysis for C/Pthreads (Extended Version). CoRR (2016)
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter
Sound static deadlock analysis for C/Pthreads. ASE (2016)
Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
Accelerating Invariant Generation. FMCAD (2015)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Synthesising Interprocedural Bit-Precise Termination Proofs (T). ASE (2015)
Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
Verifying synchronous reactive systems using lazy abstraction. DATE (2015)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version). CoRR (2015)
Stefan Kiefer, Björn Wachter
Stability and Complexity of Minimising Probabilistic Automata. ICALP (2) (2014)
Daniel Kroening, Subodh Sharma, Björn Wachter
AbPress: Flexing Partial-Order Reduction and Abstraction. CoRR (2014)
Stefan Kiefer, Björn Wachter
Stability and Complexity of Minimising Probabilistic Automata. CoRR (2014)
Björn Wachter, Daniel Kroening, Joël Ouaknine
Verifying multi-threaded software with impact. FMCAD (2013)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
On the Complexity of Equivalence and Minimisation for Q-weighted Automata Log. Methods Comput. Sci. 9 (1) (2013)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
Algorithmic probabilistic game semantics - Playing games with automata. Formal Methods Syst. Des. 43 (2) (2013)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
Three tokens in Herman's algorithm. Formal Aspects Comput. 24 (4-6) (2012)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
On the Complexity of the Equivalence Problem for Probabilistic Automata. FoSSaCS (2012)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
APEX: An Analyzer for Open Probabilistic Programs. CAV (2012)
Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter
Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. Advances in Real-Time Systems (2012)
Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
Variable Probabilistic Abstraction Refinement. ATVA (2012)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
On the Complexity of the Equivalence Problem for Probabilistic Automata CoRR (2011)
Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST (2011)
Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell
Language Equivalence for Probabilistic Automata. CAV (2011)
Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang
Probabilistic Logical Characterization. Inf. Comput. 209 (2) (2011)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
PASS: Abstraction Refinement for Infinite Probabilistic Models. TACAS (2010)
Björn Wachter, Lijun Zhang
Best Probabilistic Transformers. VMCAI (2010)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
PARAM: A Model Checker for Parametric Markov Models. CAV (2010)
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
Static Timing Analysis for Hard Real-Time Systems. VMCAI (2010)
Stephan Wilhelm, Björn Wachter
Symbolic state traversal for WCET analysis. EMSOFT (2009)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundam. Informaticae 95 (1) (2009)
Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm
Improving Timing Analysis for Matlab Simulink/Stateflow. ACES-MB@MoDELS (2009)
Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
INFAMY: An Infinite-State Markov Model Checker. CAV (2009)
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter
Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD (2008)
Reinhard Wilhelm, Björn Wachter
Abstract Interpretation with Applications to Timing Validation. CAV (2008)
Holger Hermanns, Björn Wachter, Lijun Zhang
Probabilistic CEGAR. CAV (2008)
Björn Wachter, Bernd Westphal
The Spotlight Principle. VMCAI (2007)
Björn Wachter, Lijun Zhang, Holger Hermanns
Probabilistic Model Checking Modulo Theories. QEST (2007)
Stephan Wilhelm, Björn Wachter
Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. WCET (2007)
Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
A Definition and Classification of Timing Anomalies. WCET (2006)
Björn Wachter
Explaining Data Type Reduction in the Shape Analysis Framework. Trustworthy Software (2006)

Björn Wachter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Björn Wachter