Fabrizio Montesi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
19
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSA | Benchmarking API Data Transfer Refactorings to Service-Oriented Architectures. | Sandra Greiner, Narongrit Unwerawattana, Niels Erik Jepsen, Fabrizio Montesi |
| 2025 | ESOP | Formulas as Processes, Deadlock-Freedom as Choreographies. | Matteo Acclavio, Giulia Manara, Fabrizio Montesi |
| 2024 | ECOOP | Ozone: Fully Out-of-Order Choreographies. | Dan Plyukhin, Marco Peressotti, Fabrizio Montesi |
| 2024 | ICSOC | Choreography-Defined Networks: A Case Study on DoS Mitigation. | Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini |
| 2024 | ICSOC | A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty |
| 2023 | Coordination | Reasoning About Choreographic Programs. | Lus Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
| 2023 | Coordination | JoT: A Jolie Framework for Testing Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
| 2023 | ECOOP | Modular Compilation for Higher-Order Functional Choreographies. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2023 | FORTE | Certified Compilation of Choreographies with hacc. | Lus Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
| 2023 | ITP | Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2023 | LPAR | Keep me out of the loop: a more flexible choreographic projection. | Lus Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
| 2022 | Coordination | Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
| 2022 | ICTAC | Functional Choreographic Programming. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2022 | LOPSTR | From Infinity to Choreographies - Extraction for Unbounded Systems. | Bjrn Angel Kjr, Lus Cruz-Filipe, Fabrizio Montesi |
| 2021 | Coordination | Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
| 2021 | ECOOP | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 2021 | ICTAC | Certifying Choreography Compilation. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2021 | ITP | Formalising a Turing-Complete Choreographic Language in Coq. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2019 | Coordination | No More, No Less - A Formal Model for Serverless Computing. | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
| 2018 | FORTE | Applied Choreographies. | Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
| 2018 | LOPSTR | Multiparty Classical Choreographies. | Marco Carbone, Lus Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
| 2018 | SAC | Communications in choreographies, revisited. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2018 | SAC | From the decorator pattern to circuit breakers in microservices. | Fabrizio Montesi, Janine Weber |
| 2017 | DAIS | Packaging Microservices - (Work in Progress). | Fabrizio Montesi, Dan Sebastian Thrane |
| 2017 | FORTE | Procedural Choreographic Programming. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2017 | FORTE | Classical Higher-Order Processes - (Short Paper). | Fabrizio Montesi |
| 2017 | FOSSACS | The Paths to Choreography Extraction. | Lus Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi |
| 2017 | SAC | Encoding asynchrony in choreographies. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2016 | AINA | Data-Driven Workflows for Microservices: Genericity in Jolie. | Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera |
| 2016 | CONCUR | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. | Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schrmann, Philip Wadler |
| 2016 | FORTE | Choreographies in Practice. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2015 | CONCUR | Multiparty Session Types as Coherence Proofs. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann, Nobuko Yoshida |
| 2014 | CONCUR | Choreographies, Logically. | Marco Carbone, Fabrizio Montesi, Carsten Schrmann |
| 2014 | Coordination | Progress as Compositional Lock-Freedom. | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
| 2014 | DCAI | Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. | Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi |
| 2013 | CONCUR | Compositional Choreographies. | Fabrizio Montesi, Nobuko Yoshida |
| 2013 | POPL | Deadlock-freedom-by-design: multiparty asynchronous global programming. | Marco Carbone, Fabrizio Montesi |
| 2013 | SAC | Process-aware web programming with Jolie. | Fabrizio Montesi |
| 2011 | Coordination | An Efficient Management of Correlation Sets with Broadcast. | Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
| 2011 | ICSOC | Programming Services with Correlation Sets. | Fabrizio Montesi, Marco Carbone |
| 2010 | ISoLA | Error Handling: From Theory to Practice. | Ivan Lanese, Fabrizio Montesi |
| 2008 | SEFM | Bridging the Gap between Interaction- and Process-Oriented Choreographies. | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |