Björn Wachter

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