Julian Brunner

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 7

Top Topics

Formal Verification

Transition Systems

Finite State Automaton

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Julian Brunner
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. IFM (2020)
Julian Brunner, Benedikt Seidl, Salomon Sickert
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata. ITP (2019)
Julian Brunner
Partial Order Reduction. Arch. Formal Proofs 2018 (2018)
Julian Brunner, Peter Lammich
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. J. Autom. Reason. 60 (1) (2018)
Julian Brunner
Büchi Complementation. Arch. Formal Proofs 2017 (2017)
Julian Brunner
Transition Systems and Automata. Arch. Formal Proofs 2017 (2017)
Julian Brunner, Peter Lammich
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. NFM (2016)