| Trace-based deductive verification R Bubel, D Gurov, R Hähnle, M Scaletta LPAR (EPiC Series in Computing, Vol. 94). EasyChair, 73-95, 2023 | 5 | 2023 |
| Deductive verification of active objects with crowbar E Kamburjan, M Scaletta, N Rollshausen Science of Computer Programming 226, 102928, 2023 | 5 | 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 |
| 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 |
| Context-aware trace contracts R Hähnle, E Kamburjan, M Scaletta Active Object Languages: Current Research Trends, 289-322, 2024 | 1 | 2024 |
| Herding CATs R Hähnle, M Scaletta, E Kamburjan International Conference on Software Engineering and Formal Methods, 3-8, 2023 | | 2023 |
| Towards Trace-based Deductive Verification (Tech Report) R Bubel, D Gurov, R Hähnle, M Scaletta arXiv preprint arXiv:2211.09487, 2022 | | 2022 |
