Marius Greitschus
Title
Cited by
Cited by
Year
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
512014
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
282016
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
242015
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
182015
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
172017
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
152017
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
International Static Analysis Symposium, 128-147, 2017
132017
Benchmark generator for stratified controllers of tank networks
S Bak, S Bogomolov, M Greitschus, TT Johnson
EPiC Series in Computing 34, 73-79, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–8