We stand with Ukraine  

Julian Brunner

Orcid: 0000-0001-8922-6097

Affiliations:
  • TU Munich, Germany


According to our database1, Julian Brunner authored at least 7 papers between 2017 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
0
1
2
3
2
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Formal Verification of Algorithms for Automata and Model Checking.
[BibTeX]
[DOI]
Julian Brunner
PhD thesis, 2022

2020
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.
[BibTeX]
[DOI]
Julian Brunner
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.
[BibTeX]
[DOI]
Julian Brunner
,
Benedikt Seidl
,
Salomon Sickert
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction.
[BibTeX]
[DOI]
Julian Brunner
,
Peter Lammich
J. Autom. Reason., 2018

Partial Order Reduction.
[BibTeX]
[DOI]
Julian Brunner
Arch. Formal Proofs, 2018

2017
Transition Systems and Automata.
[BibTeX]
[DOI]
Julian Brunner
Arch. Formal Proofs, 2017

Büchi Complementation.
[BibTeX]
[DOI]
Julian Brunner
Arch. Formal Proofs, 2017


  Loading...