Fingerprint
Dive into the research topics where Michael Schwarz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation: (Competition Contribution)
Saan, S., Kocal, A. R., Petter, M., Holter, K., Erhard, J., Schwarz, M., Vojdani, V. & Seidl, H., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 516-522 7 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
Mixed Flow-Sensitive Static Analysis: Engineering Modularity
Seidl, H., Vojdani, V., Erhard, J. & Schwarz, M., 2026, Formal Methods - 27th International Symposium, FM 2026, Proceedings. Sampaio, A. & Stoelinga, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 446-470 25 p. (Lecture Notes in Computer Science; vol. 16557 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities
Kocal, A. R., Schwarz, M., Saan, S. & Seidl, H., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 173-194 22 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Context Gas and friends: taming context-sensitivity on the fly
Erhard, J., Schinabeck, J. F., Schwarz, M. & Seidl, H., Apr 2025, In: International Journal on Software Tools for Technology Transfer. 27, 2, p. 289-307 19 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Erhard, J., Bentele, M., Heizmann, M., Klumpp, D., Saan, S., Schüssele, F., Schwarz, M., Seidl, H., Tilscher, S. & Vojdani, V., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-100 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15529 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations