Marius Greitschus

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 10

Top Venues

TACAS (2)

ICAPS

HSCC

CoRR

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking. ICAPS (2019)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Refining Trace Abstraction using Abstract Interpretation. CoRR (2017)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Loop Invariants from Counterexamples. SAS (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)
Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek (2015)
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
Eliminating spurious transitions in reachability with support functions. HSCC (2015)
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference (2014)

Marius Greitschus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marius Greitschus