Julian Brunner

According to our database, Julian Brunner authored at least 7 papers between 2016 and 2022.

Collaborative distances:

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

2022

Formal Verification of Algorithms for Automata and Model Checking.

Julian Brunner

PhD thesis, 2022

2020

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.

Julian Brunner

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.

Julian Brunner, Benedikt Seidl, Salomon Sickert

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Partial Order Reduction.

Julian Brunner

Arch. Formal Proofs, 2018

2017

Transition Systems and Automata.

Julian Brunner

Arch. Formal Proofs, 2017

Büchi Complementation.

Julian Brunner

Arch. Formal Proofs, 2017

2016

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction.

Julian Brunner, Peter Lammich

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016