Ivan Lanese

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 70

Top Venues

CoRR

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

Publications

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Reversibility with Holes - (Work in Progress). RC (2024)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20 (1) (2024)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25 (2) (2024)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
A Behavioral Theory for Distributed Systems with Weak Recovery. CoRR (2024)
Sourabh Pal, Ivan Lanese, Massimo Clo
Choreographic Automata: A Case Study in Healthcare Management. COORDINATION (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
A Small-Step Semantics for Janus. RC (2024)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. J. Log. Algebraic Methods Program. 138 (2024)
Ivan Lanese, Gregor Gössler
Causal Debugging for Concurrent Systems. RC (2024)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. Log. Methods Comput. Sci. 19 (3) (2023)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. CoRR (2023)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of synchronous communicating systems. J. Log. Algebraic Methods Program. 135 (2023)
Sergio Moreschini, Shahrzad Pour, Ivan Lanese, Daniel Balouek-Thomert, Justus Bogner, Xiaozhou Li, Fabiano Pecorelli, Jacopo Soldani, Eddy Truyen, Davide Taibi
AI Techniques in the Microservices Life-Cycle: A Survey. CoRR (2023)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
A Theory of Formal Choreographic Languages. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP (2022)
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
Reversibility in Erlang: Imperative Constructs. RC (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
The Reversible Temporal Process Language. FORTE (2022)
Ivan Lanese, Mariusz Rawski
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020). Sci. Comput. Program. 218 (2022)
Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner
A MAPE-K Approach to Autonomic Microservices. ICSA Companion (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
On Composing Communicating Systems. ICE (2022)
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24 (1) (2022)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Generation of a Reversible Semantics for Erlang in Maude. ICFEM (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Formal Choreographic Languages. COORDINATION (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. CoRR (2022)
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
Corinne, a Tool for Choreography Automata. FACS (2021)
Davide Bresolin, Ivan Lanese
Static and dynamic property-preserving updates. Inf. Comput. 279 (2021)
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Causal-Consistent Debugging of Distributed Erlang Programs. RC (2021)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119 (2021)
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23 (3) (2021)
Ivan Lanese, Iain Phillips
Forward-Reverse Observational Equivalences in CCSK. RC (2021)
Ivan Lanese, Doriana Medic, Claudio Antares Mezzina
Static versus dynamic reversibility in CCS. Acta Informatica 58 (1-2) (2021)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composition of choreography automata. CoRR (2021)
Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178 (3) (2021)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Approach to Reversible Computation. FoSSaCS (2020)
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography Automata. COORDINATION (2020)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Composing Communicating Systems, Synchronously. ISoLA (1) (2020)
Ivan Lanese, Doriana Medic
A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR (2020)
Ivan Lanese, Adrián Palacios, Germán Vidal
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No more, no less - A formal model for serverless computing. CoRR (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No More, No Less - A Formal Model for Serverless Computing. COORDINATION (2019)
Lukasz Mikulski, Ivan Lanese
Reversing Unbounded Petri Nets. Petri Nets (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems (2019)
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100 (2018)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS (2018)
Saverio Giallorenzo, Ivan Lanese, Daniel Russo
ChIP: A Choreographic Integration Process. OTM Conferences (2) (2018)
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
A theory of retractable and speculative contracts. Sci. Comput. Program. 167 (2018)
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
A Theory of Reversibility for Erlang. CoRR (2018)
Ivan Lanese
From Reversible Semantics to Reversible Debugging. RC (2018)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
A Language-based Approach for Interoperability of IoT Platforms. HICSS (2018)
Ivan Lanese, Simon J. Devitt
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016). Sci. Comput. Program. 151 (2018)
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
Microservices: How To Make Your Application Scale. CoRR (2017)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13 (2) (2017)
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
Microservices: How To Make Your Application Scale. Ershov Informatics Conference (2017)
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
Retractable and Speculative Contracts. COORDINATION (2017)
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
Microservices: a Language-based Approach. CoRR (2017)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88 (2017)
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86 (1) (2017)
Davide Bresolin, Ivan Lanese
Most General Property-Preserving Updates. LATA (2017)
Alexis Bernadet, Ivan Lanese
A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE (2016)
Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. CoRR (2016)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625 (2016)
Ivan Lanese, Eric Madelaine
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. Sci. Comput. Program. 127 (2016)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85 (3) (2016)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97 (2015)
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100 (2015)
Ivan Lanese, Davide Sangiorgi
Preface: Special issue on objects and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
Retractable Contracts. PLACES (2015)
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109 (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION (2015)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility in a Tuple-Based Language. PDP (2015)
Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97 (2015)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems (2015)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE (2014)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility. Bull. EATCS 114 (2014)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26 (5) (2014)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
Causal-Consistent Reversible Debugging. FASE (2014)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR (2014)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
Amending Choreographies. WWV (2013)
Ivan Lanese, Luca Bedogni, Marco Di Felice
Internet of things: a process calculus approach. SAC (2013)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Concurrent Flexible Reversibility. ESOP (2013)
Ivan Lanese, Gianluigi Zavattaro
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION (2013)
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE (2012)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Controlled Reversibility and Compensations. RC (2012)
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
Fault in the Future. COORDINATION (2011)
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Controlling Reversibility in Higher-Order Pi. CONCUR (2011)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209 (2) (2011)
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
Graceful Interruption of Request-Response Service Interactions. ICSOC (2011)
Ivan Lanese, Davide Sangiorgi
An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411 (19) (2010)
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Reversing Higher-Order Pi. CONCUR (2010)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) (2010)

Ivan Lanese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivan Lanese