Suivre
Marius Greitschus
Marius Greitschus
Adresse e-mail validée de informatik.uni-freiburg.de
Titre
Citée par
Citée par
Année
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
592014
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
302016
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
282015
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
272017
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
252015
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
212017
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
182017
Benchmark generator for stratified controllers of tank networks
S Bak, S Bogomolov, M Greitschus, TT Johnson
EPiC Series in Computing 34, 73-79, 2015
22015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–8