| Trace-based Deductive Verification. R Bubel, D Gurov, R Hähnle, M Scaletta LPAR, 73-95, 2023 | 10 | 2023 |
| Deductive verification of active objects with crowbar E Kamburjan, M Scaletta, N Rollshausen Science of Computer Programming 226, 102928, 2023 | 6 | 2023 |
| Crowbar: behavioral symbolic execution for deductive verification of active objects E Kamburjan, M Scaletta, N Rollshausen arXiv preprint arXiv:2102.10127, 2021 | 4 | 2021 |
| Context-aware trace contracts R Hähnle, E Kamburjan, M Scaletta Active Object Languages: Current Research Trends, 289-322, 2024 | 3 | 2024 |
| Delta-based verification of software product families M Scaletta, R Hähnle, D Steinhöfel, R Bubel Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021 | 3 | 2021 |
| Herding CATs R Hähnle, M Scaletta, E Kamburjan International Conference on Software Engineering and Formal Methods, 3-8, 2023 | 2 | 2023 |
| Context-aware contracts as a lingua franca for behavioral specification M Scaletta, R Hähnle International Symposium on Leveraging Applications of Formal Methods, 201-219, 2024 | 1 | 2024 |
| Towards Trace-based Deductive Verification (Tech Report) R Bubel, D Gurov, R Hähnle, M Scaletta arXiv preprint arXiv:2211.09487, 2022 | | 2022 |
