Publications
Found 7 results
Filters: Autor is Dominic Steinhöfel [Clear All Filters]
„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.
, „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.
, „Safer Parallelization“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 117-137.
, „The Trace Modality“, in Proceedings of the 2nd International Workshop on Dynamic (DaLí), 2020, S. 124-140.
, „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.
, „Abstract Execution“, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, S. 319-336.
, „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.
,