Giovanni Fabbretti

According to our database, Giovanni Fabbretti authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Behavioral Theory for Distributed Systems with Weak Recovery.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Log. Methods Comput. Sci., 2025

2024

A Theory of Reversible Distributed Systems with Failures and Recovery. (Une théorie des systèmes distribués réversibles avec pannes et récupération).

Giovanni Fabbretti

PhD thesis, 2024

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

J. Log. Algebraic Methods Program., 2024

Reversibility with Holes - (Work in Progress).

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Reversible Computation - 16th International Conference, 2024

2022

Reversibility in Erlang: Imperative Constructs.

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

Proceedings of the Reversible Computation - 14th International Conference, 2022

Generation of a Reversible Semantics for Erlang in Maude.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Causal-Consistent Debugging of Distributed Erlang Programs.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Reversible Computation - 13th International Conference, 2021