Björn Wachter

According to our database, Björn Wachter authored at least 36 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Bit-Precise Procedure-Modular Termination Analysis.

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

ACM Trans. Program. Lang. Syst., 2018

2016

Sound Static Deadlock Analysis for C/Pthreads (Extended Version).

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

CoRR, 2016

Sound static deadlock analysis for C/Pthreads.

Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Synthesising Interprocedural Bit-Precise Termination Proofs (extended version).

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

CoRR, 2015

Synthesising Interprocedural Bit-Precise Termination Proofs (T).

Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Accelerating Invariant Generation.

Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Verifying synchronous reactive systems using lazy abstraction.

Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

AbPress: Flexing Partial-Order Reduction and Abstraction.

Daniel Kroening, Subodh Sharma, Björn Wachter

CoRR, 2014

Stability and Complexity of Minimising Probabilistic Automata.

Stefan Kiefer, Björn Wachter

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Algorithmic probabilistic game semantics - Playing games with automata.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Formal Methods Syst. Des., 2013

On the Complexity of Equivalence and Minimisation for Q-weighted Automata

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Log. Methods Comput. Sci., 2013

Verifying multi-threaded software with impact.

Björn Wachter, Daniel Kroening, Joël Ouaknine

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Three tokens in Herman's algorithm.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Formal Aspects Comput., 2012

On the Complexity of the Equivalence Problem for Probabilistic Automata.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Proceedings of the Foundations of Software Science and Computational Structures, 2012

APEX: An Analyzer for Open Probabilistic Programs.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.

Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Variable Probabilistic Abstraction Refinement.

Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Refined probabilistic abstraction.

Björn Wachter

PhD thesis, 2011

Probabilistic Logical Characterization.

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang

Inf. Comput., 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.

Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Language Equivalence for Probabilistic Automata.

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Static Timing Analysis for Hard Real-Time Systems.

Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm

Proceedings of the Verification, 2010

Best Probabilistic Transformers.

Björn Wachter, Lijun Zhang

Proceedings of the Verification, 2010

PASS: Abstraction Refinement for Infinite Probabilistic Models.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

PARAM: A Model Checker for Parametric Markov Models.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Fundam. Informaticae, 2009

Improving Timing Analysis for Matlab Simulink/Stateflow.

Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Symbolic state traversal for WCET analysis.

Stephan Wilhelm, Björn Wachter

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

INFAMY: An Infinite-State Markov Model Checker.

Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Abstract Interpretation with Applications to Timing Validation.

Reinhard Wilhelm, Björn Wachter

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Probabilistic CEGAR.

Holger Hermanns, Björn Wachter, Lijun Zhang

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.

Stephan Wilhelm, Björn Wachter

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

The Spotlight Principle.

Björn Wachter, Bernd Westphal

Proceedings of the Verification, 2007

Probabilistic Model Checking Modulo Theories.

Björn Wachter, Lijun Zhang, Holger Hermanns

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

A Definition and Classification of Timing Anomalies.

Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Explaining Data Type Reduction in the Shape Analysis Framework.

Björn Wachter

Proceedings of the Workshop "Trustworthy Software" 2006, 2006