LANESE, IVAN
LANESE, IVAN
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A Small-Step Semantics for Janus
2024 Lami, P.; Lanese, I.; Stefani, J. -B.
An Axiomatic Theory for Reversible Computation
2024 Lanese I.; Phillips I.; Ulidowski I.
Causal Debugging for Concurrent Systems
2024 Lanese, I.; Gossler, G.
Choreographic Automata: A Case Study in Healthcare Management
2024 Pal, S.; Lanese, I.; Clo, M.
Reversibility with Holes
2024 Fabbretti, G.; Lanese, I.; Stefani, J. -B.
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives
2024 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni
Reversible Debugging of Erlang Programs in CauDEr
2024 Lanese, I.; Vidal, G.
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.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Small-Step Semantics for Janus | Lami, P.; Lanese, I.; Stefani, J. -B. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| 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 |
| Causal Debugging for Concurrent Systems | Lanese, I.; Gossler, G. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Choreographic Automata: A Case Study in Healthcare Management | Pal, S.; Lanese, I.; Clo, M. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Reversibility with Holes | Fabbretti, G.; Lanese, I.; Stefani, J. -B. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| Reversible Debugging of Erlang Programs in CauDEr | Lanese, I.; Vidal, G. | 2024-01-01 | - | ASSOC COMPUTING MACHINERY | 4.01 Contributo in Atti di convegno | - |
| 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 |