| Formal verification of an executable LTL model checker with partial order reduction J Brunner, P Lammich Journal of Automated Reasoning 60, 3-21, 2018 | 30 | 2018 |
| A verified and compositional translation of LTL to deterministic Rabin automata J Brunner, B Seidl, S Sickert 10th International Conference on Interactive Theorem Proving (ITP 2019), 2019 | 9 | 2019 |
| Transition systems and automata J Brunner Archive of Formal Proofs, 2017 | 4 | 2017 |
| Partial order reduction J Brunner Archive of Formal Proofs, 2018 | 3 | 2018 |
| Büchi complementation J Brunner Archive of Formal Proofs, 2017 | 3 | 2017 |
| Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata J Brunner Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020 | 2 | 2020 |
| ZUR THEORIE DER R-FUZZY-AUTOMATEN I. J Brunner, W WECHSLER | 1 | 1977 |
| Formal Verification of Algorithms for Automata and Model Checking JM Brunner Technische Universität München, 2022 | | 2022 |
| Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking Implementierung und Verifizierung von Partial Order Reduction für J Brunner Technische Universität München, 2014 | | 2014 |
