LANESE, IVAN
LANESE, IVAN
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
An Axiomatic Theory for Reversible Computation
2024 Lanese I.; Phillips I.; Ulidowski I.
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
2024 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni
revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE
2024 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES
2023 Barbanera F.; Lanese I.; Tuosto E.
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Composition of synchronous communicating systems
2023 Barbanera F.; Lanese I.; Tuosto E.
Towards a Taxonomy for Reversible Computation Approaches
2023 Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G.
A MAPE-K Approach to Autonomic Microservices
2022 Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J.
Design-By-Contract for Flexible Multiparty Session Protocols
2022 Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N.
Formal Choreographic Languages
2022 Barbanera F.; Lanese I.; Tuosto E.
Generation of a Reversible Semantics for Erlang in Maude
2022 Fabbretti G.; Lanese I.; Stefani J.-B.
On Composing Communicating Systems
2022 Barbanera F.; Lanese I.; Tuosto E.
On Formal Choreographic Modelling: A Case Study in EU Business Processes
2022 Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
Reversibility in Erlang: Imperative Constructs
2022 Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G.
Reversible Computing in Debugging of Erlang Programs
2022 Lanese I.; Schultz U.P.; Ulidowski I.
The Reversible Temporal Process Language
2022 Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S.
Causal-Consistent Debugging of Distributed Erlang Programs
2021 Fabbretti G.; Lanese I.; Stefani J.-B.
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
2021 Lanese I.; Palacios A.; Vidal G.
Composition and decomposition of multiparty sessions
2021 Barbanera F.; Dezani-Ciancaglini M.; Lanese I.; Tuosto E.
Corinne, a Tool for Choreography Automata
2021 Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| An Axiomatic Theory for Reversible Computation | Lanese I.; Phillips I.; Ulidowski I. | 2024-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | openAccessVersion.pdf |
| Reversible debugging of concurrent Erlang programs: Supporting imperative primitives | Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni | 2024-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2024-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | published.pdf |
| A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES | Barbanera F.; Lanese I.; Tuosto E. | 2023-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | published.pdf |
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Composition of synchronous communicating systems | Barbanera F.; Lanese I.; Tuosto E. | 2023-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | single_file.pdf |
| Towards a Taxonomy for Reversible Computation Approaches | Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G. | 2023-01-01 | - | - | 4.01 Contributo in Atti di convegno | main.pdf |
| A MAPE-K Approach to Autonomic Microservices | Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J. | 2022-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | ICSA2022_NEMI.pdf |
| Design-By-Contract for Flexible Multiparty Session Protocols | Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N. | 2022-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-ECOOP-2022-8.pdf |
| Formal Choreographic Languages | Barbanera F.; Lanese I.; Tuosto E. | 2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
| Generation of a Reversible Semantics for Erlang in Maude | Fabbretti G.; Lanese I.; Stefani J.-B. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | icfem.pdf |
| On Composing Communicating Systems | Barbanera F.; Lanese I.; Tuosto E. | 2022-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | published.pdf |
| On Formal Choreographic Modelling: A Case Study in EU Business Processes |
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
2022-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
| Reversibility in Erlang: Imperative Constructs | Lami P.; Lanese I.; Stefani J.-B.; Sacerdoti Coen C.; Fabbretti G. | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Reversible Computing in Debugging of Erlang Programs | Lanese I.; Schultz U.P.; Ulidowski I. | 2022-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | main-debugging.pdf |
| The Reversible Temporal Process Language | Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S. | 2022-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | timed.pdf |
| Causal-Consistent Debugging of Distributed Erlang Programs | Fabbretti G.; Lanese I.; Stefani J.-B. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper-rc2021.pdf |
| Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs | Lanese I.; Palacios A.; Vidal G. | 2021-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | paper.pdf |
| Composition and decomposition of multiparty sessions | Barbanera F.; Dezani-Ciancaglini M.; Lanese I.; Tuosto E. | 2021-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | OpenGTsynch-Main.pdf |
| Corinne, a Tool for Choreography Automata | Orlando S.; Pasquale V.D.; Barbanera F.; Lanese I.; Tuosto E. | 2021-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | main.pdf |