Bjrn Wachter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2007–2015
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DATE | Verifying synchronous reactive systems using lazy abstraction. | Kumar Madhukar, Mandayam K. Srivas, Bjrn Wachter, Daniel Kroening, Ravindra Metta |
| 2015 | FMCAD | Accelerating Invariant Generation. | Kumar Madhukar, Bjrn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
| 2014 | ICALP | Stability and Complexity of Minimising Probabilistic Automata. | Stefan Kiefer, Bjrn Wachter |
| 2013 | FMCAD | Verifying multi-threaded software with impact. | Bjrn Wachter, Daniel Kroening, Jol Ouaknine |
| 2012 | ATVA | Variable Probabilistic Abstraction Refinement. | Luis Mara Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter |
| 2012 | CAV | APEX: An Analyzer for Open Probabilistic Programs. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | FOSSACS | On the Complexity of the Equivalence Problem for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2011 | CAV | Language Equivalence for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2010 | CAV | PARAM: A Model Checker for Parametric Markov Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | TACAS | PASS: Abstraction Refinement for Infinite Probabilistic Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | VMCAI | Best Probabilistic Transformers. | Bjrn Wachter, Lijun Zhang |
| 2010 | VMCAI | Static Timing Analysis for Hard Real-Time Systems. | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguire, Daniel Grund, Jrg Herter, Jan Reineke, Bjrn Wachter, Stephan Wilhelm |
| 2009 | CAV | INFAMY: An Infinite-State Markov Model Checker. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2009 | EMSOFT | Symbolic state traversal for WCET analysis. | Stephan Wilhelm, Bjrn Wachter |
| 2009 | MODELS | Improving Timing Analysis for Matlab Simulink/Stateflow. | Lili Tan, Bjrn Wachter, Philipp Lucas, Reinhard Wilhelm |
| 2008 | CAV | Probabilistic CEGAR. | Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2008 | CAV | Abstract Interpretation with Applications to Timing Validation. | Reinhard Wilhelm, Bjrn Wachter |
| 2007 | VMCAI | The Spotlight Principle. | Bjrn Wachter, Bernd Westphal |