Fabrizio Montesi

According to our database, Fabrizio Montesi authored at least 68 papers between 2007 and 2021.

Collaborative distances:

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

2021

Certifying Choreography Compilation.

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

CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.

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

CoRR, 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

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

JOLIE: a Java Orchestration Language Interpreter Engine.

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Electron. Notes Theor. Comput. Sci., 2007

Composing Services with JOLIE.

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro

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