Publications

Found 5 results
Filters: Author is Richard Bubel  [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.
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
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.
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.
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.