Marius Greitschus
Marius Greitschus
Dirección de correo verificada de informatik.uni-freiburg.de
TítuloCitado porAño
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
472014
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
262016
Co-simulation of hybrid systems with SpaceEx and Uppaal
S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikučionis, ...
Proceedings of the 11th International Modelica Conference, Versailles …, 2015
192015
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
162015
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
122017
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
112017
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
International Static Analysis Symposium, 128-147, 2017
72017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8