Giovanni Fabbretti

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Argumentation Semantics

Distributed Systems

Program Slicing

Top Venues

J. Log. Algebraic Methods Program.

Publications

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Reversibility with Holes - (Work in Progress). RC (2024)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
A Behavioral Theory for Distributed Systems with Weak Recovery. CoRR (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. J. Log. Algebraic Methods Program. 138 (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversibility in Erlang: Imperative Constructs. RC (2022)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Generation of a Reversible Semantics for Erlang in Maude. ICFEM (2022)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Causal-Consistent Debugging of Distributed Erlang Programs. RC (2021)