| Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 93 | 2018 |
| Assume-guarantee abstraction refinement meets hybrid systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 64 | 2014 |
| Loop invariants from counterexamples M Greitschus, D Dietsch, A Podelski Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 31 | 2017 |
| Ultimate Automizer with Two-track Proofs: (Competition Contribution) M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 31 | 2016 |
| Co-simulation of hybrid systems with SpaceEx and Uppaal S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikučionis, ... 11th International Modelica Conference, 159-169, 2015 | 27 | 2015 |
| Eliminating spurious transitions in reachability with support functions G Frehse, S Bogomolov, M Greitschus, T Strump, A Podelski Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 26 | 2015 |
| Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata: (Competition Contribution) M Heizmann, YW Chen, D Dietsch, M Greitschus, A Nutz, B Musa, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 22 | 2017 |
| Ultimate Taipan: Trace Abstraction and Abstract Interpretation: (Competition Contribution) M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 18 | 2017 |
| Ultimate Taipan with Dynamic Block Encoding: (Competition Contribution) D Dietsch, M Greitschus, M Heizmann, J Hoenicke, A Nutz, A Podelski, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 8 | 2018 |
| Temporal planning as refinement-based model checking A Heinz, M Wehrle, S Bogomolov, D Magazzeni, M Greitschus, A Podelski Proceedings of the International Conference on Automated Planning and …, 2019 | 7 | 2019 |
| Benchmark generator for stratified controllers of tank networks S Bak, S Bogomolov, M Greitschus, TT Johnson EPiC Series in Computing 34, 73-79, 2015 | 2 | 2015 |
| New techniques for abstraction refinement M Greitschus Dissertation, Universität Freiburg, 2018, 2018 | | 2018 |
