E-LIB Suche - Ergebnisse für: Ivan Lanese

1

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

2

Causal Debugging for Concurrent Systems:

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

Lanese, Ivan ; Gössler, Gregor - p. 3-9 , 2024

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

3

Choreographic Automata: A Case Study in Healthcare Manageme..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Pal, Sourabh ; Lanese, Ivan ; Clo, Massimo - p. 3-19 , 2024

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

4

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

5

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

6

An Axiomatic Theory for Reversible Computation:

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
ACM Transactions on Computational Logic. 25 (2024) 2 - p. 1-40 , 2024

Link: https://doi.org/10.1145/..

7

Towards a Taxonomy for Reversible Computation Approaches:

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

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares... - p. 24-39 , 2023

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

8

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100890 , 2023

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

9

Causal Reversibility Implies Time Reversibility:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea... - p. 270-287 , 2023

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

10

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

11

On Formal Choreographic Modelling: A Case Study in EU Busin..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022

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

12

Reversible Computing in Debugging of Erlang Programs:

Lanese, Ivan ; Schultz, Ulrik P. ; Ulidowski, Irek
IT Professional. 24 (2022) 1 - p. 74-80 , 2022

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

13

Preface for the Special Issue of the 12th Conference on Rev..:

Lanese, Ivan ; Rawski, Mariusz
Science of Computer Programming. 218 (2022) - p. 102808 , 2022

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

14

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

15

Programming Adaptive Microservice Applications: An AIOCJ Tu..:

, In: Behavioural Types,

Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo. - p. 147-167 , 2022

Link: https://doi.org/10.1201/..