Publications

Found 7 results
Filters: Author is Dominic Steinhöfel  [Clear All Filters]
2021
M. Scaletta, Hähnle, R., Steinhöfel, D., and 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, pp. 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, pp. 217-231.
R. Hähnle, Tabar, A. Heydari, Mazaheri, A., Norouzi, M., Steinhöfel, D., and Wolf, F., “Safer Parallelization”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 117-137.
D. Steinhöfel and Hähnle, R., “The Trace Modality”, in Proceedings of the 2nd International Workshop on Dynamic (DaLí), 2020, pp. 124-140.
N. Wasser and 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, pp. 1-19, 2020.
2019
D. Steinhöfel and Hähnle, R., “Abstract Execution”, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, pp. 319-336.
2018
D. Steinhöfel and 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, pp. 424-447.