Marius Greitschus

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