Ivan Lanese

168 papers A* 1A 4B 12C 30Misc 2Journal 56Unranked 48
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Reversible Semantics for Janus.
CoRR
Ivan Lanese, Germán Vidal
2026 — conf
Bounded Reversibility in HO$$\pi $$.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Ivan Lanese, Claudio Antares Mezzina, Martin Vassor
2025 J jnl
A Behavioral Theory for Distributed Systems with Weak Recovery.
Log. Methods Comput. Sci.
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2025 J jnl
AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study.
Computing
Sergio Moreschini, Shahrzad Pour, Ivan Lanese, Daniel Balouek, Justus Bogner, Xiaozhou Li, Fabiano Pecorelli, Jacopo Soldani, Eddy Truyen, Davide Taibi
2025 — conf
Adaptable TeaStore.
WACA@DisCoTec
Simon Bliudze, Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro, Brice Arleon Zemtsop Ndadji
2025 — conf
Adaptable TeaStore: A Choreographic Approach.
WACA@DisCoTec
Giuseppe De Palma, Saverio Giallorenzo, Ivan Lanese, Gianluigi Zavattaro
2025 C conf
Choreographies for Program Understanding.
FORTE
Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal
2025 J jnl
Decidable Reversible Equivalences for Finite Petri Nets.
CoRR
Roberto Gorrieri, Ivan Lanese
2025 C conf
Pomsets for Process Management: A Healthcare Case Study.
ICTAC
Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo
2025 C conf
Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility.
RC
William Arnone, Ivan Lanese
2024 J jnl
A Behavioral Theory for Distributed Systems with Weak Recovery.
CoRR
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2024 C conf
A Small-Step Semantics for Janus.
RC
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
2024 J jnl
An Axiomatic Theory for Reversible Computation.
ACM Trans. Comput. Log.
Ivan Lanese, Iain Phillips, Irek Ulidowski
2024 C conf
Causal Debugging for Concurrent Systems.
RC
Ivan Lanese, Gregor Gössler
2024 C conf
Choreographic Automata: A Case Study in Healthcare Management.
COORDINATION
Sourabh Pal, Ivan Lanese, Massimo Clo
2024 C conf
Reversibility with Holes - (Work in Progress).
RC
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2024 — conf
Reversible Debugging of Erlang Programs in CauDEr.
DEBT@ISSTA
Ivan Lanese, Germán Vidal
2024 J jnl
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.
J. Log. Algebraic Methods Program.
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
2024 B conf
Towards Quantum Multiparty Session Types.
SEFM
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2024 J jnl
Towards Quantum Multiparty Session Types.
CoRR
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
2024 J jnl
revTPL: The Reversible Temporal Process Language.
Log. Methods Comput. Sci.
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2023 J jnl
A Theory of Formal Choreographic Languages.
Log. Methods Comput. Sci.
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023 J jnl
AI Techniques in the Microservices Life-Cycle: A Survey.
CoRR
Sergio Moreschini, Shahrzad Pour, Ivan Lanese, Daniel Balouek-Thomert, Justus Bogner, Xiaozhou Li, Fabiano Pecorelli, Jacopo Soldani, Eddy Truyen, Davide Taibi
2023 J jnl
An Axiomatic Theory for Reversible Computation.
CoRR
Ivan Lanese, Iain Phillips, Irek Ulidowski
2023 — conf
Causal Reversibility Implies Time Reversibility.
QEST
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
2023 J jnl
Composition of synchronous communicating systems.
J. Log. Algebraic Methods Program.
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2023 C conf
Towards a Taxonomy for Reversible Computation Approaches.
RC
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
2022 — conf
A MAPE-K Approach to Autonomic Microservices.
ICSA Companion
Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner
2022 J jnl
A Theory of Formal Choreographic Languages.
CoRR
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 A conf
Design-By-Contract for Flexible Multiparty Session Protocols.
ECOOP
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 C conf
Formal Choreographic Languages.
COORDINATION
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 C conf
Generation of a Reversible Semantics for Erlang in Maude.
ICFEM
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2022 — conf
On Composing Communicating Systems.
ICE
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2022 — conf
On Formal Choreographic Modelling: A Case Study in EU Business Processes.
ISoLA (1)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
2022 J jnl
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020).
Sci. Comput. Program.
Ivan Lanese, Mariusz Rawski
2022 C conf
Reversibility in Erlang: Imperative Constructs.
RC
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti
2022 J jnl
Reversible Computing in Debugging of Erlang Programs.
IT Prof.
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
2022 C conf
The Reversible Temporal Process Language.
FORTE
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2022 J jnl
revTPL: The Reversible Temporal Process Language.
CoRR
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2021 C conf
Causal-Consistent Debugging of Distributed Erlang Programs.
RC
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
2021 J jnl
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.
Fundam. Informaticae
Ivan Lanese, Adrián Palacios, Germán Vidal
2021 J jnl
Composition and decomposition of multiparty sessions.
J. Log. Algebraic Methods Program.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
2021 J jnl
Composition of choreography automata.
CoRR
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2021 — conf
Corinne, a Tool for Choreography Automata.
FACS
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto
2021 C conf
Forward-Reverse Observational Equivalences in CCSK.
RC
Ivan Lanese, Iain Phillips
2021 J jnl
Reversible Execution for Robustness in Embodied AI and Industrial Robots.
IT Prof.
Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
2021 J jnl
Static and dynamic property-preserving updates.
Inf. Comput.
Davide Bresolin, Ivan Lanese
2021 J jnl
Static versus dynamic reversibility in CCS.
Acta Informatica
Ivan Lanese, Doriana Medic, Claudio Antares Mezzina
2020 — ch.
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.
Selected Results of the COST Action IC1405
James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal
2020 B conf
A General Approach to Derive Uncontrolled Reversible Semantics.
CONCUR
Ivan Lanese, Doriana Medic
2020 B conf
An Axiomatic Approach to Reversible Computation.
FoSSaCS
Ivan Lanese, Iain Phillips, Irek Ulidowski
2020 C conf
Choreography Automata.
COORDINATION
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020 — conf
Composing Communicating Systems, Synchronously.
ISoLA (1)
Franco Barbanera, Ivan Lanese, Emilio Tuosto
2020 — ch.
Foundations of Reversible Computation.
Selected Results of the COST Action IC1405
Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020 C ed.
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
RC
Ivan Lanese, Mariusz Rawski
2020 — book
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405
Selected Results of the COST Action IC1405
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
2020 — ch.
Software and Reversible Systems: A Survey of Recent Activities.
Selected Results of the COST Action IC1405
Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski
2020 — conf
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Gabbrielli's Festschrift
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
2019 C conf
Causal-Consistent Replay Debugging for Message Passing Programs.
FORTE
Ivan Lanese, Adrián Palacios, Germán Vidal
2019 — conf
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.
The Art of Modelling Computational Systems
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2019 C conf
No More, No Less - A Formal Model for Serverless Computing.
COORDINATION
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 J jnl
No more, no less - A formal model for serverless computing.
CoRR
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019 — conf
Playing with Bisimulation in Erlang.
Models, Languages, and Tools for Concurrent and Distributed Programming
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
2019 B conf
Reversing Unbounded Petri Nets.
Petri Nets
Lukasz Mikulski, Ivan Lanese
2018 — conf
A Language-based Approach for Interoperability of IoT Platforms.
HICSS
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
2018 J jnl
A Theory of Reversibility for Erlang.
CoRR
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 J jnl
A theory of retractable and speculative contracts.
Sci. Comput. Program.
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2018 J jnl
A theory of reversibility for Erlang.
J. Log. Algebraic Methods Program.
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 Misc conf
CauDEr: A Causal-Consistent Reversible Debugger for Erlang.
FLOPS
Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
2018 — conf
ChIP: A Choreographic Integration Process.
OTM Conferences (2)
Saverio Giallorenzo, Ivan Lanese, Daniel Russo
2018 C conf
From Reversible Semantics to Reversible Debugging.
RC
Ivan Lanese
2018 J jnl
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016).
Sci. Comput. Program.
Ivan Lanese, Simon J. Devitt
2017 J jnl
Causal-consistent rollback in a tuple-based language.
J. Log. Algebraic Methods Program.
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2017 J jnl
Dynamic Choreographies: Theory And Implementation.
Log. Methods Comput. Sci.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2017 — ch.
Microservices: A Language-Based Approach.
Present and Ulterior Software Engineering
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017 — conf
Microservices: How To Make Your Application Scale.
Ershov Informatics Conference
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017 J jnl
Microservices: How To Make Your Application Scale.
CoRR
Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
2017 J jnl
Microservices: a Language-based Approach.
CoRR
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017 C conf
Most General Property-Preserving Updates.
LATA
Davide Bresolin, Ivan Lanese
2017 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2015.
J. Log. Algebraic Methods Program.
Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira
2017 C conf
Retractable and Speculative Contracts.
COORDINATION
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2016 — conf
A Modular Formalization of Reversibility for Concurrent Models and Languages.
ICE
Alexis Bernadet, Ivan Lanese
2016 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
FORTE
Elvira Albert, Ivan Lanese
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2016 J jnl
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software.
Sci. Comput. Program.
Ivan Lanese, Eric Madelaine
2016 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2014.
J. Log. Algebraic Methods Program.
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2016 J jnl
Reversibility in the higher-order π-calculus.
Theor. Comput. Sci.
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2016 C ed.
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
RC
Simon J. Devitt, Ivan Lanese
2016 J jnl
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing.
CoRR
Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese
2015 C conf
Causal-Consistent Reversibility in a Tuple-Based Language.
PDP
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2015 J jnl
Developing correct, distributed, adaptive software.
Sci. Comput. Program.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015 C conf
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
COORDINATION
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015 — ed.
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
FACS
Ivan Lanese, Eric Madelaine
2015 J jnl
Preface for the special issue of Interaction and Concurrency Experience 2013.
Sci. Comput. Program.
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2015 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program.
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2015 J jnl
Preface: Special issue on objects and services.
Math. Struct. Comput. Sci.
Ivan Lanese, Davide Sangiorgi
2015 — ed.
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015.
ICE
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira
2015 — conf
Retractable Contracts.
PLACES
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
2015 J jnl
Special issue on Service-Oriented Architecture and Programming (SOAP 2013).
Sci. Comput. Program.
Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2015 — conf
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.
Software, Services, and Systems
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2014 B conf
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
SLE
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014 J jnl
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
CoRR
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
2014 J jnl
Causal-Consistent Reversibility.
Bull. EATCS
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
2014 B conf
Causal-Consistent Reversible Debugging.
FASE
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
2014 J jnl
Deadlock Freedom by Construction for Distributed Adaptive Applications.
CoRR
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2014 — conf
Fault Model Design Space for Cooperative Concurrency.
ISoLA (2)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014 — ed.
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014.
ICE
Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2014 J jnl
The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Aspects Comput.
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2014 — ed.
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
IFIP TCS
Josep Díaz, Ivan Lanese, Davide Sangiorgi
2013 — conf
Amending Choreographies.
WWV
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2013 A conf
Concurrent Flexible Reversibility.
ESOP
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2013 C conf
Decidability Results for Dynamic Installation of Compensation Handlers.
COORDINATION
Ivan Lanese, Gianluigi Zavattaro
2013 Misc conf
Internet of things: a process calculus approach.
SAC
Ivan Lanese, Luca Bedogni, Marco Di Felice
2013 — ed.
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013.
ICE
Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2013 — conf
Towards Global and Local Types for Adaptation.
SEFM Workshops
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012 — conf
A Reversible Abstract Machine and Its Space Overhead.
FMOODS/FORTE
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012 C conf
Controlled Reversibility and Compensations.
RC
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2012 — ed.
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012.
ICE
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2011 — ch.
Advanced Mechanisms for Service Combination and Transactions.
Results of the SENSORIA Project
Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
2011 — ch.
Behavioral Theory for Session-Oriented Calculi.
Results of the SENSORIA Project
Ivan Lanese, António Ravara, Hugo Torres Vieira
2011 B conf
Controlling Reversibility in Higher-Order Pi.
CONCUR
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
2011 C conf
Fault in the Future.
COORDINATION
Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro
2011 A conf
Graceful Interruption of Request-Response Service Interactions.
ICSOC
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
2011 J jnl
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput.
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2011 — ch.
Tools and Verification.
Results of the SENSORIA Project
Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2010 — conf
A Component Model for the ABS Language.
FMCO
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
2010 — conf
A Framework for Rule-Based Dynamic Adaptation.
TGC
Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi
2010 — conf
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.
WADT
Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo
2010 J jnl
An operational semantics for a calculus for wireless systems.
Theor. Comput. Sci.
Ivan Lanese, Davide Sangiorgi
2010 — conf
Error Handling: From Theory to Practice.
ISoLA (2)
Ivan Lanese, Fabrizio Montesi
2010 A conf
On the Expressive Power of Primitives for Compensation Handling.
ESOP
Ivan Lanese, Cátia Vaz, Carla Ferreira
2010 — conf
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
ICALP (2)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2010 B conf
Reversing Higher-Order Pi.
CONCUR
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
2010 — conf
Static vs Dynamic SAGAs
ICE
Ivan Lanese
2009 J jnl
Dynamic Error Handling in Service Oriented Applications.
Fundam. Informaticae
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2009 — conf
On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
ICTCS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2009 B conf
Programming Sagas in SOCK.
SEFM
Ivan Lanese, Gianluigi Zavattaro
2008 — conf
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
FMOODS
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2008 B conf
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
SEFM
Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro
2008 — conf
Contract-Driven Implementation of Choreographies.
TGC
Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
2008 — conf
Dynamic Fault Handling Mechanisms for Service-Oriented Applications.
ECOWS
Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro
2008 C conf
Multiparty Sessions in SOC.
COORDINATION
Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto
2008 A* conf
On the Expressiveness and Decidability of Higher-Order Process Calculi.
LICS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2008 — conf
On the interplay between fault handling and request-response service invocations.
ACSD
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2008 J jnl
Parametric synchronizations in mobile nominal calculi.
Theor. Comput. Sci.
Roberto Bruni, Ivan Lanese
2008 — conf
Synchronous Multiparty Synchronizations and Transactions.
Concurrency, Graphs and Models
Ivan Lanese, Hernán C. Melgratti
2008 — conf
Tiles for Reo.
WADT
Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
2007 — conf
Concurrent and Located Synchronizations in
SOFSEM (1)
Ivan Lanese
2007 B conf
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM
Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
2007 J jnl
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
Theory Pract. Log. Program.
Ivan Lanese, Ugo Montanari
2006 J jnl
A basic algebra of stateless connectors.
Theor. Comput. Sci.
Roberto Bruni, Ivan Lanese, Ugo Montanari
2006 — conf
Exploiting User-definable Synchronizations in Graph Transformation.
GT-VMT@ETAPS
Ivan Lanese
2006 — conf
PRISMA: A Mobile Calculus with Parametric Synchronization.
TGC
Roberto Bruni, Ivan Lanese
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2006 — —
Synchronization Strategies for Global Computing Models.
Ivan Lanese
2006 — conf
Towards a Unifying Theory for Web Services Composition.
WS-FM
Manuel Mazzara, Ivan Lanese
2005 B conf
Complete Axioms for Stateless Connectors.
CALCO
Roberto Bruni, Ivan Lanese, Ugo Montanari
2005 — conf
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.
GT-VC@CONCUR
Ivan Lanese, Ugo Montanari
2005 — conf
Insights emerged while comparing three models for global computing.
Foundations of Global Computing
Ivan Lanese, Ugo Montanari
2005 J jnl
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
CoRR
Ivan Lanese, Ugo Montanari
2005 — conf
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.
FMCO
Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
2005 C conf
Synchronized Hyperedge Replacement for Heterogeneous Systems.
COORDINATION
Ivan Lanese, Emilio Tuosto
2004 — conf
New Insights on Architectural Connectors.
IFIP TCS
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
2004 — conf
Summary 3: On Graph(ic) Encodings.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Roberto Bruni, Ivan Lanese
2004 — conf
Synchronization Algebras with Mobility for Graph Transformations.
FGUC
Ivan Lanese, Ugo Montanari
2003 — conf
A Graphical Fusion Calculus.
COMETA
Ivan Lanese, Ugo Montanari