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, 73-95, 2023
102023
Deductive verification of active objects with crowbar
E Kamburjan, M Scaletta, N Rollshausen
Science of Computer Programming 226, 102928, 2023
62023
Crowbar: behavioral symbolic execution for deductive verification of active objects
E Kamburjan, M Scaletta, N Rollshausen
arXiv preprint arXiv:2102.10127, 2021
42021
Context-aware trace contracts
R Hähnle, E Kamburjan, M Scaletta
Active Object Languages: Current Research Trends, 289-322, 2024
32024
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
Herding CATs
R Hähnle, M Scaletta, E Kamburjan
International Conference on Software Engineering and Formal Methods, 3-8, 2023
22023
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
12024
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–8