Causal-Consistent Debugging of Distributed Erlang Programs. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (RC, 2021)

Generation of a Reversible Semantics for Erlang in Maude. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (ICFEM, 2022)

Reversibility in Erlang: Imperative Constructs. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti (RC, 2022)

Reversibility with Holes - (Work in Progress). - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (RC, 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)

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 (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery. - Giovanni Fabbretti; Ivan Lanese; Jean-Bernard Stefani (Log. Methods Comput. Sci., 2025)