Marco Scaletta

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Simulated Annealing Algorithm

Abductive Inference

Face Verification

Top Venues

Sci. Comput. Program.

Publications

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Trace-based Deductive Verification. LPAR (2023)
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
Context-aware Trace Contracts. CoRR (2023)
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
Deductive verification of active objects with Crowbar. Sci. Comput. Program. 226 (2023)
Reiner Hähnle, Marco Scaletta, Eduard Kamburjan
Herding CATs. SEFM (2023)
Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Towards Trace-based Deductive Verification (Tech Report). CoRR (2022)
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. CoRR (2021)
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
Delta-based verification of software product families. GPCE (2021)