I agree that this site is using cookies. You can find further informations here.
X
Fabbretti, Giovanni
40  results:
Search for persons X
?
1

Reversibility with Holes: (Work in Progress):

, In: Reversible Computation; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 69-74 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Reversible debugging of concurrent Erlang programs: Support..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
Journal of Logical and Algebraic Methods in Programming.  138 (2024)  - p. 100944 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Generation of a Reversible Semantics for Erlang in Maude:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 106-122 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Reversibility in Erlang: Imperative Constructs:

, In: Reversible Computation; Lecture Notes in Computer Science,
Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard.. - p. 187-203 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Causal-Consistent Debugging of Distributed Erlang Programs:

, In: Reversible Computation; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 79-95 , 2021
Link: https://doi.org/10.1007/..
 
?
6

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
7

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
8

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
9

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
10

Generation of a reversible semantics for Erlang in Maude ; ..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9468.  , 2022
Link: https://inria.hal.scienc..
 
?
11

Generation of a reversible semantics for Erlang in Maude ; ..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9468.  , 2022
Link: https://inria.hal.scienc..
 
?
12

Generation of a Reversible Semantics for Erlang in Maude:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17244-1_7.  , 2022
Link: https://inria.hal.scienc..
 
?
13

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372.  , 2022
Link: https://hal.science/hal-..
 
?
14

Reversibility in Erlang: Imperative Constructs:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-09005-9_13.  , 2022
Link: https://inria.hal.scienc..
 
?
15

Generation of a reversible semantics for Erlang in Maude ; ..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9468.  , 2022
Link: https://inria.hal.scienc..
 
1-15