| Assume-guarantee abstraction refinement meets hybrid systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Haifa verification conference, 116-131, 2014 | 51 | 2014 |
| Ultimate automizer with two-track proofs M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 28 | 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 | 24 | 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 | 18 | 2015 |
| Ultimate automizer with an on-demand construction of Floyd-Hoare automata M Heizmann, YW Chen, D Dietsch, M Greitschus, A Nutz, B Musa, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 17 | 2017 |
| Ultimate Taipan: Trace abstraction and abstract interpretation M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 15 | 2017 |
| Loop invariants from counterexamples M Greitschus, D Dietsch, A Podelski International Static Analysis Symposium, 128-147, 2017 | 13 | 2017 |
| Benchmark generator for stratified controllers of tank networks S Bak, S Bogomolov, M Greitschus, TT Johnson EPiC Series in Computing 34, 73-79, 2015 | 1 | 2015 |
