Publications

Found 7 results
Filters: Autor is Dominic Steinhöfel  [Clear All Filters]
2021
M. Scaletta, Hähnle, R., Steinhöfel, D., und Bubel, R., „Delta-based verification of software product families“, in Proceedings of the 24th ACM SIGPLAN International Confernce on Generative Programming: Concepts and Experiences (GPCE), 2021, S. 69-82.
2020
D. Steinhöfel, „REFINITY to Model and Prove Program Transformation Rules“, in Proceedings of the 18th Asian Symposium on Programming Languages and Systems (APLAS), 2020, S. 217-231.
R. Hähnle, Tabar, A. Heydari, Mazaheri, A., Norouzi, M., Steinhöfel, D., und Wolf, F., „Safer Parallelization“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 117-137.
D. Steinhöfel und Hähnle, R., „The Trace Modality“, in Proceedings of the 2nd International Workshop on Dynamic (DaLí), 2020, S. 124-140.
N. Wasser und Steinhöfel, D., „Treating for-Loops as First-Class Citizens in Proofs“, ArXiv E-Print 2002.00776: https://doi.org/10.48550/arXiv.2002.00776. ArXiv, S. 1-19, 2020.
2019
D. Steinhöfel und Hähnle, R., „Abstract Execution“, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, S. 319-336.
2018
D. Steinhöfel und Hähnle, R., „Modular, Correct Compilation with Automatic Soundness Proofs“, in Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2018, S. 424-447.