Ivan Lanese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
57
Venues
23
Active years
2005–2026
Best venue rank
A*
Where they publish
- CRC12 papers
- CCoordination10 papers
- BSEFM5 papers
- BCONCUR4 papers
- CFORTE4 papers
- CISoLA4 papers
- AESOP2 papers
- CICTAC1 paper
- AECOOP1 paper
- CICFEM1 paper
- AICSA1 paper
- BFOSSACS1 paper
- NationalFLOPS1 paper
- CLATA1 paper
- CPDP1 paper
- BFASE1 paper
- BSLE1 paper
- MulticonferenceSAC1 paper
- AICSOC1 paper
- A*ICALP1 paper
- A*LICS1 paper
- BSOFSEM1 paper
- BCALCO1 paper
Papers
57 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2026 | RC | A Reversible Semantics for Janus. | Ivan Lanese, Germn Vidal |
| 2026 | RC | On Weak Bisimilarities in CCSK. | Baptiste Valle, Ivan Lanese |
| 2025 | FORTE | Choreographies for Program Understanding. | Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germn Vidal |
| 2025 | ICTAC | Pomsets for Process Management: A Healthcare Case Study. | Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo |
| 2025 | RC | Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility. | William Arnone, Ivan Lanese |
| 2024 | Coordination | Choreographic Automata: A Case Study in Healthcare Management. | Sourabh Pal, Ivan Lanese, Massimo Clo |
| 2024 | RC | Reversibility with Holes - (Work in Progress). | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | RC | A Small-Step Semantics for Janus. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani |
| 2024 | RC | Causal Debugging for Concurrent Systems. | Ivan Lanese, Gregor Gssler |
| 2024 | SEFM | Towards Quantum Multiparty Session Types. | Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2022 | Coordination | Formal Choreographic Languages. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2022 | ECOOP | Design-By-Contract for Flexible Multiparty Session Protocols. | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2022 | FORTE | The Reversible Temporal Process Language. | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2022 | ICFEM | Generation of a Reversible Semantics for Erlang in Maude. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2022 | ICSA | A MAPE-K Approach to Autonomic Microservices. | Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner |
| 2022 | ISoLA | On Formal Choreographic Modelling: A Case Study in EU Business Processes. | Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto |
| 2022 | RC | Reversibility in Erlang: Imperative Constructs. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2021 | RC | Causal-Consistent Debugging of Distributed Erlang Programs. | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
| 2021 | RC | Forward-Reverse Observational Equivalences in CCSK. | Ivan Lanese, Iain Phillips |
| 2020 | CONCUR | A General Approach to Derive Uncontrolled Reversible Semantics. | Ivan Lanese, Doriana Medic |
| 2020 | Coordination | Choreography Automata. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | FOSSACS | An Axiomatic Approach to Reversible Computation. | Ivan Lanese, Iain Phillips, Irek Ulidowski |
| 2020 | ISoLA | Composing Communicating Systems, Synchronously. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2019 | Coordination | No More, No Less - A Formal Model for Serverless Computing. | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
| 2019 | FORTE | Causal-Consistent Replay Debugging for Message Passing Programs. | Ivan Lanese, Adrin Palacios, Germn Vidal |
| 2018 | FLOPS | CauDEr: A Causal-Consistent Reversible Debugger for Erlang. | Ivan Lanese, Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2018 | RC | From Reversible Semantics to Reversible Debugging. | Ivan Lanese |
| 2017 | Coordination | Retractable and Speculative Contracts. | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
| 2017 | LATA | Most General Property-Preserving Updates. | Davide Bresolin, Ivan Lanese |
| 2015 | Coordination | Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
| 2015 | PDP | Causal-Consistent Reversibility in a Tuple-Based Language. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi |
| 2014 | FASE | Causal-Consistent Reversible Debugging. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2014 | SLE | AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. | Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli |
| 2013 | Coordination | Decidability Results for Dynamic Installation of Compensation Handlers. | Ivan Lanese, Gianluigi Zavattaro |
| 2013 | ESOP | Concurrent Flexible Reversibility. | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2013 | SAC | Internet of things: a process calculus approach. | Ivan Lanese, Luca Bedogni, Marco Di Felice |
| 2013 | SEFM | Towards Global and Local Types for Adaptation. | Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Prez, Gianluigi Zavattaro |
| 2012 | FORTE | A Reversible Abstract Machine and Its Space Overhead. | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | RC | Controlled Reversibility and Compensations. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2011 | CONCUR | Controlling Reversibility in Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2011 | Coordination | Fault in the Future. | Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro |
| 2011 | ICSOC | Graceful Interruption of Request-Response Service Interactions. | Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro |
| 2010 | CONCUR | Reversing Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2010 | ESOP | On the Expressive Power of Primitives for Compensation Handling. | Ivan Lanese, Ctia Vaz, Carla Ferreira |
| 2010 | ICALP | On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2010 | ISoLA | Error Handling: From Theory to Practice. | Ivan Lanese, Fabrizio Montesi |
| 2009 | SEFM | Programming Sagas in SOCK. | Ivan Lanese, Gianluigi Zavattaro |
| 2008 | Coordination | Multiparty Sessions in SOC. | Roberto Bruni, Ivan Lanese, Hernn C. Melgratti, Emilio Tuosto |
| 2008 | LICS | On the Expressiveness and Decidability of Higher-Order Process Calculi. | Ivan Lanese, Jorge A. Prez, Davide Sangiorgi, Alan Schmitt |
| 2008 | SEFM | Bridging the Gap between Interaction- and Process-Oriented Choreographies. | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
| 2007 | SEFM | Disciplining Orchestration and Conversation in Service-Oriented Computing. | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, Antnio Ravara |
| 2007 | SOFSEM | Concurrent and Located Synchronizations in | Ivan Lanese |
| 2005 | CALCO | Complete Axioms for Stateless Connectors. | Roberto Bruni, Ivan Lanese, Ugo Montanari |
| 2005 | Coordination | Synchronized Hyperedge Replacement for Heterogeneous Systems. | Ivan Lanese, Emilio Tuosto |