Marco Scaletta

According to our database, Marco Scaletta authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Context-Aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Deductive verification of active objects with Crowbar.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

Sci. Comput. Program., March, 2023

Context-aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

CoRR, 2023

Herding CATs.

Reiner Hähnle, Marco Scaletta, Eduard Kamburjan

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Trace-based Deductive Verification.

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Towards Trace-based Deductive Verification (Tech Report).

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

CoRR, 2022

2021

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

CoRR, 2021

Delta-based verification of software product families.

Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021