LANESE, IVAN
LANESE, IVAN
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A BEHAVIORAL THEORY FOR DISTRIBUTED SYSTEMS WITH WEAK RECOVERY
2025 Fabbretti, G.; Lanese, I.; Stefani, J. -B.
AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study
2025 Moreschini, S.; Pour, S.; Lanese, I.; Balouek, D.; Bogner, J.; Li, X.; Pecorelli, F.; Soldani, J.; Truyen, E.; Taibi, D.
Choreographies for Program Understanding
2025 Genovese, G.; Lanese, I.; Di Giusto, C.; Tuosto, E.; Vidal, G.
Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility
2025 Arnone, W.; Lanese, I.
Towards Quantum Multiparty Session Types
2025 Lanese, I.; Dal Lago, U.; Choudhury, V.
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.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A BEHAVIORAL THEORY FOR DISTRIBUTED SYSTEMS WITH WEAK RECOVERY | Fabbretti, G.; Lanese, I.; Stefani, J. -B. | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study | Moreschini, S.; Pour, S.; Lanese, I.; Balouek, D.; Bogner, J.; Li, X.; Pecorelli, F.; Soldani, J....; Truyen, E.; Taibi, D. | 2025-01-01 | COMPUTING | - | 1.01 Articolo in rivista | published.pdf |
| Choreographies for Program Understanding | Genovese, G.; Lanese, I.; Di Giusto, C.; Tuosto, E.; Vidal, G. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility | Arnone, W.; Lanese, I. | 2025-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 4.01 Contributo in Atti di convegno | - |
| Towards Quantum Multiparty Session Types | Lanese, I.; Dal Lago, U.; Choudhury, V. | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | published.pdf |
| 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 | main.pdf |
| 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 | main-rc2024.pdf |
| 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 | Choreographic_Automata__A_Case_Study_in_Healthcare_Management.pdf |
| 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 | main-rc2024.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 | journal-rc2022.pdf |
| Reversible Debugging of Erlang Programs in CauDEr | Lanese, I.; Vidal, G. | 2024-01-01 | - | ASSOC COMPUTING MACHINERY | 4.01 Contributo in Atti di convegno | main.pdf |
| 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 |