Marius Greitschus

According to our database, Marius Greitschus authored at least 12 papers between 2014 and 2019.

Collaborative distances:

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

2019

Temporal Planning as Refinement-Based Model Checking.

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

New techniques for abstraction refinement.

Marius Greitschus

PhD thesis, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Refining Trace Abstraction using Abstract Interpretation.

Marius Greitschus, Daniel Dietsch, Andreas Podelski

CoRR, 2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Loop Invariants from Counterexamples.

Marius Greitschus, Daniel Dietsch, Andreas Podelski

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Ultimate Automizer with Two-track Proofs - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Eliminating spurious transitions in reachability with support functions.

Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark Generator for Stratified Controllers of Tank Networks.

Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.

Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump

Proceedings of the Hardware and Software: Verification and Testing, 2014