Folgen
Marius Greitschus
Marius Greitschus
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de
Titel
Zitiert von
Zitiert von
Jahr
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
902018
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
612014
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
302017
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
272015
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
222017
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
172017
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
82018
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
72019
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
New techniques for abstraction refinement
M Greitschus
Dissertation, Universität Freiburg, 2018, 2018
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12