E-LIB Suche - Ergebnisse für: Stefani, Jean-Bernard

1

A Small-Step Semantics for Janus:

, In: Reversible Computation; Lecture Notes in Computer Science,

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 105-123 , 2024

Link: https://doi.org/10.1007/..

2

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/..

3

In-Depth Analysis of Kubernetes Manifest Verification Tools..:

, In: 2024 27th Conference on Innovation in Clouds, Internet and Networks (ICIN),

Diarra, Boubacar ; Guillouard, Karine ; Ouzzif, Meryem.. - p. 17-24 , 2024

Link: https://doi.org/10.1109/..

4

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/..

5

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/..

6

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/..

7

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/..

8

Causality analysis and fault ascription in component-based ..:

Gössler, Gregor ; Stefani, Jean-Bernard
Theoretical Computer Science. 837 (2020) - p. 158-180 , 2020

Link: https://doi.org/10.1016/..

9

Encapsulation and Sharing in Dynamic Software Architectures..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Stefani, Jean-Bernard ; Vassor, Martin - p. 242-260 , 2019

Link: https://doi.org/10.1007/..

10

From Behavioural Contracts to Session Types:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Fantechi, Alessandro ; Najm, Elie ; Stefani, Jean-Bernard - p. 278-297 , 2019

Link: https://doi.org/10.1007/..

11

Formal Verification of Orchestration Templates for Reliable..:

, In: 2019 15th International Conference on Network and Service Management (CNSM),

Sylla, Adja Ndeye ; Guillouard, Karine ; Klamm, Frederic... - p. 1-5 , 2019

Link: https://doi.org/10.23919..

12

Checkpoint/Rollback vs Causally-Consistent Reversibility:

, In: Reversible Computation; Lecture Notes in Computer Science,

Vassor, Martin ; Stefani, Jean-Bernard - p. 286-303 , 2018

Link: https://doi.org/10.1007/..

13

Reversibility in the higher-order π-calculus:

Lanese, Ivan ; Mezzina, Claudio Antares ; Stefani, Jean-Bernard
Theoretical Computer Science. 625 (2016) - p. 25-84 , 2016

Link: https://doi.org/10.1016/..

14

Reversible Computation

7th International Conference, RC 2015, Grenoble, France, Ju... Lecture Notes in Computer Science ; 9138;SpringerLink, Bücher

Krivine, Jean ; Stefani, Jean-Bernard , 2015

Link: https://doi.org/10.1007/..

15

Characterizing contextual equivalence in calculi with passi..:

Lenglet, Sergueï ; Schmitt, Alan ; Stefani, Jean-Bernard
Information and Computation. 209 (2011) 11 - p. 1390-1433 , 2011

Link: https://doi.org/10.1016/..