JOLIE: a Java Orchestration Language Interpreter Engine. - Fabrizio Montesi; Claudio Guidi; Roberto Lucchi; Gianluigi Zavattaro (CoOrg/MTCoord@COORDINATION, 2006)

Composing Services with JOLIE. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (ECOWS, 2007)

On the interplay between fault handling and request-response service invocations. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (ACSD, 2008)

Dynamic Fault Handling Mechanisms for Service-Oriented Applications. - Fabrizio Montesi; Claudio Guidi; Ivan Lanese; Gianluigi Zavattaro (ECOWS, 2008)

Bridging the Gap between Interaction- and Process-Oriented Choreographies. - Ivan Lanese; Claudio Guidi; Fabrizio Montesi; Gianluigi Zavattaro (SEFM, 2008)

Reasoning About a Service-oriented Programming Paradigm - Claudio Guidi; Fabrizio Montesi (YR-SOC, 2009)

Dynamic Error Handling in Service Oriented Applications. - Claudio Guidi; Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Fundam. Informaticae, 2009)

Error Handling: From Theory to Practice. - Ivan Lanese; Fabrizio Montesi (ISoLA (2), 2010)

A Framework for Rule-Based Dynamic Adaptation. - Ivan Lanese; Antonio Bucchiarone; Fabrizio Montesi (TGC, 2010)

A Model of Evolvable Components. - Fabrizio Montesi; Davide Sangiorgi (TGC, 2010)

An Efficient Management of Correlation Sets with Broadcast. - Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi (COORDINATION, 2011)

Programming Services with Correlation Sets. - Fabrizio Montesi; Marco Carbone (ICSOC, 2011)

Interface-Based Service Composition with Aggregation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (ESOCC, 2012)

Service integration via target-transparent mediation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (SOCA, 2012)

Merging Multiparty Protocols in Multiparty Choreographies - Marco Carbone; Fabrizio Montesi (PLACES, 2012)

Compositional Choreographies. - Fabrizio Montesi; Nobuko Yoshida (CONCUR, 2013)

Deadlock-freedom-by-design: multiparty asynchronous global programming. - Marco Carbone; Fabrizio Montesi (POPL, 2013)

Amending Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (WWV, 2013)

Service-Oriented Programming with Jolie. - Fabrizio Montesi; Claudio Guidi; Gianluigi Zavattaro (Web Services Foundations, 2014)

Progress as Compositional Lock-Freedom. - Marco Carbone; Ornela Dardha; Fabrizio Montesi (COORDINATION, 2014)

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. - Maurizio Gabbrielli; Saverio Giallorenzo; Fabrizio Montesi (DCAI, 2014)

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. - Ivan Lanese; Fabrizio Montesi; Gianluigi Zavattaro (Software, Services, and Systems, 2015)

Kickstarting Choreographic Programming. - Fabrizio Montesi (WS-FM, 2015)

Choreographies, Computationally. - Luís Cruz-Filipe; Fabrizio Montesi (CoRR, 2015)

Data-driven Workflows for Microservices. - Larisa Safina; Manuel Mazzara; Fabrizio Montesi (CoRR, 2015)

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. - Mario Bravetti; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi (J. Internet Serv. Inf. Secur., 2015)

Special issue on Service-Oriented Architecture and Programming (SOAP 2013). - Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (Sci. Comput. Program., 2015)

Data-Driven Workflows for Microservices: Genericity in Jolie. - Larisa Safina; Manuel Mazzara; Fabrizio Montesi; Victor Rivera (AINA, 2016)

Self-Reconfiguring Microservices. - Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (Theory and Practice of Formal Methods, 2016)

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. - Marco Carbone; Sam Lindley; Fabrizio Montesi; Carsten Schürmann 001; Philip Wadler (CONCUR, 2016)

Choreographies in Practice. - Luís Cruz-Filipe; Fabrizio Montesi (FORTE, 2016)

Choreographies, Divided and Conquered. - Luís Cruz-Filipe; Fabrizio Montesi (CoRR, 2016)

Microservices: yesterday, today, and tomorrow. - Nicola Dragoni; Saverio Giallorenzo; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi; Ruslan Mustafin; Larisa Safina (CoRR, 2016)

Circuit Breakers, Discovery, and API Gateways in Microservices. - Fabrizio Montesi; Janine Weber (CoRR, 2016)

Refinement types in Jolie. - Alexander Tchitchigin; Larisa Safina; Manuel Mazzara; Mohamed Elwakil; Fabrizio Montesi; Victor Rivera (CoRR, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Process-aware web programming with Jolie. - Fabrizio Montesi (Sci. Comput. Program., 2016)

Microservices: Yesterday, Today, and Tomorrow. - Nicola Dragoni; Saverio Giallorenzo; Alberto Lluch-Lafuente; Manuel Mazzara; Fabrizio Montesi; Ruslan Mustafin; Larisa Safina (Present and Ulterior Software Engineering, 2017)

Microservices: A Language-Based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (Present and Ulterior Software Engineering, 2017)

Packaging Microservices - (Work in Progress). - Fabrizio Montesi; Dan Sebastian Thrane (DAIS, 2017)

Procedural Choreographic Programming. - Luís Cruz-Filipe; Fabrizio Montesi (FORTE, 2017)

Classical Higher-Order Processes - (Short Paper). - Fabrizio Montesi (FORTE, 2017)

The Paths to Choreography Extraction. - Luís Cruz-Filipe; Kim S. Larsen; Fabrizio Montesi (FoSSaCS, 2017)

Encoding asynchrony in choreographies. - Luís Cruz-Filipe; Fabrizio Montesi (SAC, 2017)

Multiparty session types as coherence proofs. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001; Nobuko Yoshida (Acta Informatica, 2017)

Microservices: a Language-based Approach. - Claudio Guidi; Ivan Lanese; Manuel Mazzara; Fabrizio Montesi (CoRR, 2017)

That's Enough: Asynchrony with Standard Choreography Primitives. - Luís Cruz-Filipe; Fabrizio Montesi (CoRR, 2017)

On Asynchrony and Choreographies. - Luís Cruz-Filipe; Fabrizio Montesi (ICE@DisCoTec, 2017)

Choreographies meet Communication Failures. - Fabrizio Montesi; Marco Peressotti (CoRR, 2017)

Applied Choreographies. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (FORTE, 2018)

Multiparty Classical Choreographies. - Marco Carbone; Luís Cruz-Filipe; Fabrizio Montesi; Agata Murawska (LOPSTR, 2018)

Communications in choreographies, revisited. - Luís Cruz-Filipe; Fabrizio Montesi; Marco Peressotti (SAC, 2018)

From the decorator pattern to circuit breakers in microservices. - Fabrizio Montesi; Janine Weber (SAC, 2018)

Choreographies for Reactive Programming. - Marco Carbone; Fabrizio Montesi; Hugo Torres Vieira (CoRR, 2018)

Classical Higher-Order Processes. - Fabrizio Montesi (CoRR, 2018)

Classical Transitions. - Fabrizio Montesi; Marco Peressotti (CoRR, 2018)

Connectors meet Choreographies. - Farhad Arbab; Luís Cruz-Filipe; Sung-Shik Jongmans; Fabrizio Montesi (CoRR, 2018)

Taking Linear Logic Apart. - Wen Kokke; Fabrizio Montesi; Marco Peressotti (Linearity-TLLA@FLoC, 2018)

Choreographies, logically. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001 (Distributed Comput., 2018)

Ephemeral Data Handling in Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (SCC, 2019)

No More, No Less - A Formal Model for Serverless Computing. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Marco Peressotti; Stefano Pio Zingaro (COORDINATION, 2019)

Ephemeral Data Handling in Microservices - Technical Report. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (CoRR, 2019)

Implementing choreography extraction. - Luís Cruz-Filipe; Fabrizio Montesi; Larisa Safina (CoRR, 2019)

Better late than never: a fully-abstract semantics for classical processes. - Wen Kokke; Fabrizio Montesi; Marco Peressotti (Proc. ACM Program. Lang., 2019)

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. - Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Davide Sangiorgi; Stefano Pio Zingaro (Gabbrielli's Festschrift, 2020)

Choreographies as Objects. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti (CoRR, 2020)

A core model for choreographic programming. - Luís Cruz-Filipe; Fabrizio Montesi (Theor. Comput. Sci., 2020)

Sliceable Monolith: Monolith First, Microservices Later. - Fabrizio Montesi; Marco Peressotti; Valentino Picotti (SCC, 2021)

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh (COORDINATION, 2021)

Multiparty Languages: The Choreographic and Multitier Cases (Pearl). - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter 001; Guido Salvaneschi; Pascal Weisenburger (ECOOP, 2021)

Certifying Choreography Compilation. - Luís Cruz-Filipe; Fabrizio Montesi; Marco Peressotti (ICTAC, 2021)

Formalising a Turing-Complete Choreographic Language in Coq. - Luís Cruz-Filipe; Fabrizio Montesi; Marco Peressotti (ITP, 2021)

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh (CoRR, 2021)

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes. - Fabrizio Montesi; Marco Peressotti (CoRR, 2021)

Choreographies as Functions. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (CoRR, 2021)

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (COORDINATION, 2022)

Functional Choreographic Programming. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ICTAC, 2022)

From Infinity to Choreographies - Extraction for Unbounded Systems. - Bjørn Angel Kjær; Luís Cruz-Filipe; Fabrizio Montesi (LOPSTR, 2022)

Modular Choreographies: Bridging Alice and Bob Notation to Java. - Luís Cruz-Filipe; Anne Madsen; Fabrizio Montesi; Marco Peressotti (Microservices, 2022)

Model-Driven Code Generation for Microservices: Service Models. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (Microservices, 2022)

Implementing Choreography Extraction. - Luís Cruz-Filipe; Kim S. Larsen; Fabrizio Montesi; Larisa Safina (CoRR, 2022)

Microservice security: a systematic literature review. - Davide Berardi; Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Prandini (PeerJ Comput. Sci., 2022)

Ephemeral data handling in microservices with Tquery. - Saverio Giallorenzo; Fabrizio Montesi; Larisa Safina; Stefano Pio Zingaro (PeerJ Comput. Sci., 2022)

Reasoning About Choreographic Programs. - Luís Cruz-Filipe; Eva Graversen; Fabrizio Montesi; Marco Peressotti (COORDINATION, 2023)

Modular Compilation for Higher-Order Functional Choreographies. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ECOOP, 2023)

Certified Compilation of Choreographies with hacc. - Luís Cruz-Filipe; Lovro Lugovic; Fabrizio Montesi (FORTE, 2023)

Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. - Luís Cruz-Filipe; Fabrizio Montesi (ITP, 2023)

Keep me out of the loop: a more flexible choreographic projection. - Luís Cruz-Filipe; Fabrizio Montesi; Robert R. Rasmussen (LPAR, 2023)

Real-World Choreographic Programming: An Experience Report. - Lovro Lugovic; Fabrizio Montesi (CoRR, 2023)

A Formal Theory of Choreographic Programming. - Luís Cruz-Filipe; Fabrizio Montesi; Marco Peressotti (J. Autom. Reason., 2023)

LEMMA2Jolie: A tool to generate microservice APIs from domain models. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher (Sci. Comput. Program., 2023)

Ozone: Fully Out-of-Order Choreographies. - Dan Plyukhin; Marco Peressotti; Fabrizio Montesi (ECOOP, 2024)

Choreography-Defined Networks: A Case Study on DoS Mitigation. - Saverio Giallorenzo; Jacopo Mauro; Andrea Melis 001; Fabrizio Montesi; Marco Peressotti; Marco Prandini (ICSOC (2), 2024)

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty (ICSOC (2), 2024)

On Propositional Dynamic Logic and Concurrency. - Matteo Acclavio; Fabrizio Montesi; Marco Peressotti (CoRR, 2024)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures. - Fabrizio Montesi; Marco Peressotti; Valentino Picotti; Olaf Zimmermann (CoRR, 2024)

Ozone: Fully Out-of-Order Choreographies (Artifact). - Dan Plyukhin; Marco Peressotti; Fabrizio Montesi (Dagstuhl Artifacts Ser., 2024)

Alice or Bob?: Process polymorphism in choreographies. - Eva Graversen; Andrew K. Hirsch; Fabrizio Montesi (J. Funct. Program., 2024)

A model for correlation-based choreographic programming. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (PeerJ Comput. Sci., 2024)

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. - Lovro Lugovic; Fabrizio Montesi (Art Sci. Eng. Program., 2024)

Choral: Object-oriented Choreographic Programming. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti (ACM Trans. Program. Lang. Syst., 2024)

μXL: explainable lead generation with microservices and hypothetical answers. - Luís Cruz-Filipe; Sofia Kostopoulou; Fabrizio Montesi; Jonas Vistrup (Computing, 2024)

A Conceptual Framework for API Refactoring in Service-Oriented Architectures. - Fabrizio Montesi; Marco Peressotti; Valentino Picotti; Olaf Zimmermann (ESOCC, 2025)

Formulas as Processes, Deadlock-Freedom as Choreographies. - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (ESOP (1), 2025)

CRGC: Fault-Recovering Actor Garbage Collection in Pekko. - Dan Plyukhin; Gul Agha; Fabrizio Montesi (Proc. ACM Program. Lang., 2025)

JoT: A Jolie framework for testing microservices. - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Narongrit Unwerawattana (Sci. Comput. Program., 2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version). - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (CoRR, 2025)