Follow
Marco Scaletta
Marco Scaletta
Verified email at cs.tu-darmstadt.de
Title
Cited by
Cited by
Year
Trace-based deductive verification
R Bubel, D Gurov, R Hähnle, M Scaletta
LPAR (EPiC Series in Computing, Vol. 94). EasyChair, 73-95, 2023
52023
Deductive verification of active objects with crowbar
E Kamburjan, M Scaletta, N Rollshausen
Science of Computer Programming 226, 102928, 2023
42023
Crowbar: behavioral symbolic execution for deductive verification of active objects
E Kamburjan, M Scaletta, N Rollshausen
arXiv preprint arXiv:2102.10127, 2021
42021
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
32021
Context-aware trace contracts
R Hähnle, E Kamburjan, M Scaletta
Active Object Languages: Current Research Trends, 289-322, 2024
12024
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
The system can't perform the operation now. Try again later.
Articles 1–7