Publications

Found 14 results
Filters: Author is Reiner Hähnle  [Clear All Filters]
2022
A. Heydari Tabar, Bubel, R., and Hähnle, R., “Automatic Loop Invariant Generation for Data Dependence Analysis”, in Proceedings of the 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 34-45.
S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering - Introduction to the ISoLA 2022 Track”, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, pp. 195-200, 2022.
B. Beckert, Bubel, R., Hähnle, R., and Ulbrich, M., “Towards a Usable and Sustainable Deductive Verification Tool”, in Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2022, pp. 281-300.
2021
N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Automated model extraction: From non-deterministic C code to active objects”, Science of Computer Programming, vol. 204, 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
S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering”, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, pp. 72-92, 2020.
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.
V. Kutscher, Ruland, S., Müller, P., Wasser, N., Lochau, M., Anderl, R., Schürr, A., Mezini, M., and Hähnle, R., “Towards a Circular Economy of Industrial Software”, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, pp. 37-42.
2019
R. Bubel, Hähnle, R., and Tabar, A. Heydari, “A Program Logic for Dependence Analysis”, in Proceedings of 15th International Conference on Integrated Formal Methods (iFM), 2019, pp. 83-100.
D. Steinhöfel and Hähnle, R., “Abstract Execution”, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, pp. 319-336.
A. Heydari Tabar, Bubel, R., and Hähnle, R., “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, pp. 10-12.
N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Modeling Non-deterministic C Code with Active Objects”, in Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN), 2019, pp. 213-227.
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.