Delta-based verification of software product families. - Marco Scaletta; Reiner Hähnle; Dominic Steinhöfel; Richard Bubel (GPCE, 2021)

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. - Eduard Kamburjan; Marco Scaletta; Nils Rollshausen (CoRR, 2021)

Towards Trace-based Deductive Verification (Tech Report). - Richard Bubel; Dilian Gurov; Reiner Hähnle; Marco Scaletta (CoRR, 2022)

Trace-based Deductive Verification. - Richard Bubel; Dilian Gurov; Reiner Hähnle; Marco Scaletta (LPAR, 2023)

Herding CATs. - Reiner Hähnle; Marco Scaletta; Eduard Kamburjan (SEFM, 2023)

Context-aware Trace Contracts. - Reiner Hähnle; Eduard Kamburjan; Marco Scaletta (CoRR, 2023)

Deductive verification of active objects with Crowbar. - Eduard Kamburjan; Marco Scaletta; Nils Rollshausen (Sci. Comput. Program., 2023)

Context-Aware Trace Contracts. - Reiner Hähnle; Eduard Kamburjan; Marco Scaletta (Active Object Languages: Current Research Trends, 2024)

Context-Aware Contracts as a Lingua Franca for Behavioral Specification. - Marco Scaletta; Reiner Hähnle (ISoLA (3), 2024)