Fabrizio Montesi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Certifying Choreography Compilation.
CoRR, 2021

Formalising a Turing-Complete Choreographic Language in Coq.
CoRR, 2021

2020
A core model for choreographic programming.
Theor. Comput. Sci., 2020

Choreographies as Objects.
CoRR, 2020

2019
Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang., 2019

Implementing choreography extraction.
CoRR, 2019

Ephemeral Data Handling in Microservices - Technical Report.
CoRR, 2019

No More, No Less - A Formal Model for Serverless Computing.
Proceedings of the Coordination Models and Languages, 2019

Ephemeral Data Handling in Microservices.
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018
Choreographies, logically.
Distributed Comput., 2018

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

Connectors meet Choreographies.
CoRR, 2018

Classical Transitions.
CoRR, 2018

Classical Higher-Order Processes.
CoRR, 2018

Choreographies for Reactive Programming.
CoRR, 2018

From the decorator pattern to circuit breakers in microservices.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Communications in choreographies, revisited.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Multiparty Classical Choreographies.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

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

2017
Choreographies meet Communication Failures.
CoRR, 2017

On Asynchrony and Choreographies.
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

That's Enough: Asynchrony with Standard Choreography Primitives.
CoRR, 2017

Microservices: a Language-based Approach.
CoRR, 2017

Multiparty session types as coherence proofs.
Acta Informatica, 2017

Encoding asynchrony in choreographies.
Proceedings of the Symposium on Applied Computing, 2017

The Paths to Choreography Extraction.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Classical Higher-Order Processes - (Short Paper).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Procedural Choreographic Programming.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Packaging Microservices - (Work in Progress).
Proceedings of the Distributed Applications and Interoperable Systems, 2017

Microservices: A Language-Based Approach.
Proceedings of the Present and Ulterior Software Engineering., 2017

Microservices: Yesterday, Today, and Tomorrow.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Process-aware web programming with Jolie.
Sci. Comput. Program., 2016

Behavioral Types in Programming Languages.
Found. Trends Program. Lang., 2016

Refinement types in Jolie.
CoRR, 2016

Circuit Breakers, Discovery, and API Gateways in Microservices.
CoRR, 2016

Microservices: yesterday, today, and tomorrow.
CoRR, 2016

Choreographies, Divided and Conquered.
CoRR, 2016

Choreographies in Practice.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Self-Reconfiguring Microservices.
Proceedings of the Theory and Practice of Formal Methods, 2016

Data-Driven Workflows for Microservices: Genericity in Jolie.
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).
Sci. Comput. Program., 2015

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.
J. Internet Serv. Inf. Secur., 2015

Data-driven Workflows for Microservices.
CoRR, 2015

Choreographies, Computationally.
CoRR, 2015

Kickstarting Choreographic Programming.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.
Proceedings of the Software, 2015

2014
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns.
Proceedings of the Distributed Computing and Artificial Intelligence, 2014

Progress as Compositional Lock-Freedom.
Proceedings of the Coordination Models and Languages, 2014

Service-Oriented Programming with Jolie.
Proceedings of the Web Services Foundations, 2014

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

Deadlock-freedom-by-design: multiparty asynchronous global programming.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

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

2012
Merging Multiparty Protocols in Multiparty Choreographies
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Service integration via target-transparent mediation.
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Interface-Based Service Composition with Aggregation.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011
Programming Services with Correlation Sets.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

An Efficient Management of Correlation Sets with Broadcast.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010
A Model of Evolvable Components.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Framework for Rule-Based Dynamic Adaptation.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Error Handling: From Theory to Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Dynamic Error Handling in Service Oriented Applications.
Fundam. Informaticae, 2009

Reasoning About a Service-oriented Programming Paradigm
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009

2008
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Dynamic Fault Handling Mechanisms for Service-Oriented Applications.
Proceedings of the ECOWS 2008, 2008

On the interplay between fault handling and request-response service invocations.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
JOLIE: a Java Orchestration Language Interpreter Engine.
Electron. Notes Theor. Comput. Sci., 2007

Composing Services with JOLIE.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007


  Loading...