Fabrizio Montesi

According to our database, Fabrizio Montesi authored at least 97 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Choral: Object-oriented Choreographic Programming.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

ACM Trans. Program. Lang. Syst., March, 2024

Alice or Bob?: Process polymorphism in choreographies.

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi

J. Funct. Program., 2024

On Propositional Dynamic Logic and Concurrency.

Matteo Acclavio, Fabrizio Montesi, Marco Peressotti

CoRR, 2024

Ozone: Fully Out-of-Order Choreographies.

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi

CoRR, 2024

2023

LEMMA2Jolie: A tool to generate microservice APIs from domain models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Sci. Comput. Program., June, 2023

A Formal Theory of Choreographic Programming.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

J. Autom. Reason., June, 2023

Real-World Choreographic Programming: An Experience Report.

Lovro Lugovic, Fabrizio Montesi

CoRR, 2023

Keep me out of the loop: a more flexible choreographic projection.

Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Now It Compiles! Certified Automatic Repair of Uncompilable Protocols.

Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Certified Compilation of Choreographies with hacc.

Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

μXL: Explainable Lead Generation with Microservices and Hypothetical Answers.

Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup

Proceedings of the Service-Oriented and Cloud Computing, 2023

Modular Compilation for Higher-Order Functional Choreographies.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

JoT: A Jolie Framework for Testing Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana

Proceedings of the Coordination Models and Languages, 2023

Reasoning About Choreographic Programs.

Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti

Proceedings of the Coordination Models and Languages, 2023

2022

Ephemeral data handling in microservices with Tquery.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

PeerJ Comput. Sci., 2022

Microservice security: a systematic literature review.

Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini

PeerJ Comput. Sci., 2022

Implementing Choreography Extraction.

Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina

CoRR, 2022

Model-Driven Code Generation for Microservices: Service Models.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

Modular Choreographies: Bridging Alice and Bob Notation to Java.

Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

From Infinity to Choreographies - Extraction for Unbounded Systems.

Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Functional Choreographic Programming.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

Proceedings of the Coordination Models and Languages, 2022

2021

Choreographies as Functions.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

CoRR, 2021

Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes.

Fabrizio Montesi, Marco Peressotti

CoRR, 2021

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Certifying Choreography Compilation.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh

Proceedings of the Coordination Models and Languages, 2021

Sliceable Monolith: Monolith First, Microservices Later.

Fabrizio Montesi, Marco Peressotti, Valentino Picotti

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

A core model for choreographic programming.

Luís Cruz-Filipe, Fabrizio Montesi

Theor. Comput. Sci., 2020

Choreographies as Objects.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti

CoRR, 2020

The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Better late than never: a fully-abstract semantics for classical processes.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proc. ACM Program. Lang., 2019

Implementing choreography extraction.

Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina

CoRR, 2019

Ephemeral Data Handling in Microservices - Technical Report.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

CoRR, 2019

No More, No Less - A Formal Model for Serverless Computing.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro

Proceedings of the Coordination Models and Languages, 2019

Ephemeral Data Handling in Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

Choreographies, logically.

Marco Carbone, Fabrizio Montesi, Carsten Schürmann

Distributed Comput., 2018

Taking Linear Logic Apart.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Connectors meet Choreographies.

Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi

CoRR, 2018

Classical Transitions.

Fabrizio Montesi, Marco Peressotti

CoRR, 2018

Classical Higher-Order Processes.

Fabrizio Montesi

CoRR, 2018

Choreographies for Reactive Programming.

Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira

CoRR, 2018

From the decorator pattern to circuit breakers in microservices.

Fabrizio Montesi, Janine Weber

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Communications in choreographies, revisited.

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Multiparty Classical Choreographies.

Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Applied Choreographies.

Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Choreographies meet Communication Failures.

Fabrizio Montesi, Marco Peressotti

CoRR, 2017

On Asynchrony and Choreographies.

Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

That's Enough: Asynchrony with Standard Choreography Primitives.

Luís Cruz-Filipe, Fabrizio Montesi

CoRR, 2017

Microservices: a Language-based Approach.

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

CoRR, 2017

Multiparty session types as coherence proofs.

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida

Acta Informatica, 2017

Encoding asynchrony in choreographies.

Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the Symposium on Applied Computing, 2017

The Paths to Choreography Extraction.

Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Classical Higher-Order Processes - (Short Paper).

Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Procedural Choreographic Programming.

Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Packaging Microservices - (Work in Progress).

Fabrizio Montesi, Dan Sebastian Thrane

Proceedings of the Distributed Applications and Interoperable Systems, 2017

Microservices: A Language-Based Approach.

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

Proceedings of the Present and Ulterior Software Engineering., 2017

Microservices: Yesterday, Today, and Tomorrow.

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Process-aware web programming with Jolie.

Fabrizio Montesi

Sci. Comput. Program., 2016

Behavioral Types in Programming Languages.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 2016

Refinement types in Jolie.

Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera

CoRR, 2016

Circuit Breakers, Discovery, and API Gateways in Microservices.

Fabrizio Montesi, Janine Weber

CoRR, 2016

Microservices: yesterday, today, and tomorrow.

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina

CoRR, 2016

Choreographies, Divided and Conquered.

Luís Cruz-Filipe, Fabrizio Montesi

CoRR, 2016

Choreographies in Practice.

Luís Cruz-Filipe, Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Self-Reconfiguring Microservices.

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

Proceedings of the Theory and Practice of Formal Methods, 2016

Data-Driven Workflows for Microservices: Genericity in Jolie.

Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Special issue on Service-Oriented Architecture and Programming (SOAP 2013).

Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

Sci. Comput. Program., 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

Data-driven Workflows for Microservices.

Larisa Safina, Manuel Mazzara, Fabrizio Montesi

CoRR, 2015

Choreographies, Computationally.

Luís Cruz-Filipe, Fabrizio Montesi

CoRR, 2015

Kickstarting Choreographic Programming.

Fabrizio Montesi

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.

Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro

Proceedings of the Software, 2015

2014

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.

Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi

Proceedings of the Distributed Computing and Artificial Intelligence, 2014

Progress as Compositional Lock-Freedom.

Marco Carbone, Ornela Dardha, Fabrizio Montesi

Proceedings of the Coordination Models and Languages, 2014

Service-Oriented Programming with Jolie.

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro

Proceedings of the Web Services Foundations, 2014

2013

Amending Choreographies.

Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Deadlock-freedom-by-design: multiparty asynchronous global programming.

Marco Carbone, Fabrizio Montesi

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Compositional Choreographies.

Fabrizio Montesi, Nobuko Yoshida

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Merging Multiparty Protocols in Multiparty Choreographies

Marco Carbone, Fabrizio Montesi

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Service integration via target-transparent mediation.

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Programming Services with Correlation Sets.

Fabrizio Montesi, Marco Carbone

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.

Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

A Model of Evolvable Components.

Fabrizio Montesi, Davide Sangiorgi

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Framework for Rule-Based Dynamic Adaptation.

Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Error Handling: From Theory to Practice.

Ivan Lanese, Fabrizio Montesi

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Dynamic Error Handling in Service Oriented Applications.

Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro

Fundam. Informaticae, 2009

Reasoning About a Service-oriented Programming Paradigm

Claudio Guidi, Fabrizio Montesi

Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009

2008

Bridging the Gap between Interaction- and Process-Oriented Choreographies.

Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Dynamic Fault Handling Mechanisms for Service-Oriented Applications.

Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro

Proceedings of the ECOWS 2008, 2008

On the interplay between fault handling and request-response service invocations.

Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Composing Services with JOLIE.

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2006

JOLIE: a Java Orchestration Language Interpreter Engine.

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006