Publications
Found 14 results
Filters: Autor is Reiner Hähnle [Clear All Filters]
„Automatic Loop Invariant Generation for Data Dependence Analysis“, in Proceedings of the 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, S. 34-45.
, „Automating Software Re-engineering - Introduction to the ISoLA 2022 Track“, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, S. 195-200, 2022.
, „Towards a Usable and Sustainable Deductive Verification Tool“, in Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2022, S. 281-300.
, „Automated model extraction: From non-deterministic C code to active objects“, Science of Computer Programming, Bd. 204, 2021.
, „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.
, „Automating Software Re-engineering“, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, S. 72-92, 2020.
, „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.
, „Towards a Circular Economy of Industrial Software“, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, S. 37-42.
, „A Program Logic for Dependence Analysis“, in Proceedings of 15th International Conference on Integrated Formal Methods (iFM), 2019, S. 83-100.
, „Abstract Execution“, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, S. 319-336.
, „Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis“, in Proceedings of the PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM), 2019, S. 10-12.
, „Modeling Non-deterministic C Code with Active Objects“, in Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN), 2019, S. 213-227.
, „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.
,