Fabrizio Montesi

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 87

Top Venues

Publications

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process polymorphism in choreographies. J. Funct. Program. 34 (2024)
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Ozone: Fully Out-of-Order Choreographies. CoRR (2024)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
On Propositional Dynamic Logic and Concurrency. CoRR (2024)
Lovro Lugovic, Fabrizio Montesi
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. Art Sci. Eng. Program. 8 (2) (2024)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
A Conceptual Framework for API Refactoring in Enterprise Application Architectures. CoRR (2024)
Lovro Lugovic, Fabrizio Montesi
Real-World Choreographic Programming: An Experience Report. CoRR (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
JoT: A Jolie Framework for Testing Microservices. COORDINATION (2023)
Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
μXL: Explainable Lead Generation with Microservices and Hypothetical Answers. ESOCC (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. 228 (2023)
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process Polymorphism in Choreographies. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning about Choreographic Programs. CoRR (2023)
Luís Cruz-Filipe, Fabrizio Montesi
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. CoRR (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
Keep me out of the loop: a more flexible choreographic projection. LPAR (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Modular Compilation for Higher-Order Functional Choreographies. ECOOP (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. FORTE (2023)
Luís Cruz-Filipe, Fabrizio Montesi
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
Reasoning About Choreographic Programs. COORDINATION (2023)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. J. Autom. Reason. 67 (2) (2023)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR (2022)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
Implementing Choreography Extraction. CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Code Generation for Microservices: Service Models. Microservices (2022)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
A Formal Theory of Choreographic Programming. CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION (2022)
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
From Infinity to Choreographies: Extraction for Unbounded Systems. CoRR (2022)
Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
Microservice security: a systematic literature review. PeerJ Comput. Sci. 8 (2022)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Functional Choreographic Programming. ICTAC (2022)
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
From Infinity to Choreographies - Extraction for Unbounded Systems. LOPSTR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. 8 (2022)
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices (2022)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
Sliceable Monolith: Monolith First, Microservices Later. CoRR (2021)
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
Sliceable Monolith: Monolith First, Microservices Later. SCC (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. ICTAC (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Certifying Choreography Compilation. CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP (2021)
Fabrizio Montesi, Marco Peressotti
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR (2021)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR (2021)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Choreographies as Functions. CoRR (2021)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Formalising a Turing-Complete Choreographic Language in Coq. ITP (2021)
Luís Cruz-Filipe, Fabrizio Montesi
A core model for choreographic programming. Theor. Comput. Sci. 802 (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)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
Choreographies as Objects. CoRR (2020)
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
Implementing choreography extraction. CoRR (2019)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral Data Handling in Microservices - Technical Report. CoRR (2019)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better late than never: a fully-abstract semantics for classical processes. Proc. ACM Program. Lang. 3 (POPL) (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)
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
Ephemeral Data Handling in Microservices. SCC (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)
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Choreographies for Reactive Programming. CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. CoRR (2018)
Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
Multiparty Classical Choreographies. LOPSTR (2018)
Fabrizio Montesi
Classical Higher-Order Processes. CoRR (2018)
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Applied Choreographies. FORTE (2018)
Fabrizio Montesi, Janine Weber
From the decorator pattern to circuit breakers in microservices. SAC (2018)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in choreographies, revisited. SAC (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better Late Than Never: A Fully Abstract Semantics for Classical Processes. CoRR (2018)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, logically. Distributed Comput. 31 (1) (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Taking Linear Logic Apart. Linearity-TLLA@FLoC (2018)
Fabrizio Montesi, Marco Peressotti
Classical Transitions. CoRR (2018)
Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
Connectors meet Choreographies. CoRR (2018)
Luís Cruz-Filipe, Fabrizio Montesi
That's Enough: Asynchrony with Standard Choreography Primitives. CoRR (2017)
Luís Cruz-Filipe, Fabrizio Montesi
Encoding asynchrony in choreographies. SAC (2017)
Fabrizio Montesi
Classical Higher-Order Processes - (Short Paper). FORTE (2017)
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Communications in Choreographies, Revisited. CoRR (2017)
Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
Microservices: a Language-based Approach. CoRR (2017)
Luís Cruz-Filipe, Fabrizio Montesi
Procedural Choreographic Programming. FORTE (2017)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
The Paths to Choreography Extraction. FoSSaCS (2017)
Luís Cruz-Filipe, Fabrizio Montesi
On Asynchrony and Choreographies. ICE@DisCoTec (2017)
Fabrizio Montesi, Marco Peressotti
Choreographies meet Communication Failures. CoRR (2017)
Fabrizio Montesi, Dan Sebastian Thrane
Packaging Microservices - (Work in Progress). DAIS (2017)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty session types as coherence proofs. Acta Informatica 54 (3) (2017)
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies, Divided and Conquered. CoRR (2016)
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
Refinement types in Jolie. CoRR (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies in Practice. FORTE (2016)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies in Practice. CoRR (2016)
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
The Paths to Choreography Extraction. CoRR (2016)
Fabrizio Montesi
Process-aware web programming with Jolie. Sci. Comput. Program. 130 (2016)
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
Microservices: yesterday, today, and tomorrow. CoRR (2016)
Luís Cruz-Filipe, Fabrizio Montesi
A Core Model for Choreographic Programming. FACS (2016)
Fabrizio Montesi, Janine Weber
Circuit Breakers, Discovery, and API Gateways in Microservices. CoRR (2016)
Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
Data-Driven Workflows for Microservices: Genericity in Jolie. AINA (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR (2016)
Fabrizio Montesi
Kickstarting Choreographic Programming. WS-FM (2015)
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies, Computationally. CoRR (2015)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Applied Choreographies. CoRR (2015)
Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. 5 (1) (2015)
Larisa Safina, Manuel Mazzara, Fabrizio Montesi
Data-driven Workflows for Microservices. CoRR (2015)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty Session Types as Coherence Proofs. CONCUR (2015)
Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97 (2015)
Fabrizio Montesi
Kickstarting Choreographic Programming. CoRR (2015)
Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems (2015)
Marco Carbone, Ornela Dardha, Fabrizio Montesi
Progress as Compositional Lock-Freedom. COORDINATION (2014)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, Logically. CONCUR (2014)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI (2014)
Fabrizio Montesi
Process-aware web programming with Jolie. CoRR (2014)

Fabrizio Montesi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabrizio Montesi