Seuraa
Sarah Tilscher
Sarah Tilscher
Technical University of Munich
Vahvistettu sähköpostiosoite verkkotunnuksessa tum.de
Nimike
Viittaukset
Viittaukset
Vuosi
Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)
S Saan, M Schwarz, J Erhard, M Pietsch, H Seidl, S Tilscher, V Vojdani
International Conference on Tools and Algorithms for the Construction and …, 2023
172023
Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution)
S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
72024
The Top-Down Solver—An Exercise in I
S Tilscher, Y Stade, M Schwarz, R Vogler, H Seidl
Challenges of Software Verification, 157-179, 2023
52023
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl
arXiv preprint arXiv:2209.10445, 2022
52022
Correctness witness validation by abstract interpretation
S Saan, M Schwarz, J Erhard, H Seidl, S Tilscher, V Vojdani
International Conference on Verification, Model Checking, and Abstract …, 2023
42023
Goblint Validator: Correctness Witness Validation by Abstract Interpretation: (Competition Contribution)
S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
32024
The Top-Down Solver Verified: Building Confidence in Static Analyzers
Y Stade, S Tilscher, H Seidl
International Conference on Computer Aided Verification, 303-324, 2024
22024
2-pointer logic
H Seidl, J Erhard, M Schwarz, S Tilscher
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
22024
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl
International Journal on Software Tools for Technology Transfer, 1-21, 2024
12024
Non-numerical weakly relational domains
H Seidl, J Erhard, S Tilscher, M Schwarz
International Journal on Software Tools for Technology Transfer, 1-16, 2024
12024
Partial Correctness of the Top-Down Solver
Y Stade, S Tilscher, H Seidl
Arch. Formal Proofs 2024, 2024
12024
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–11