Fabrizio Montesi

According to our database1, Fabrizio Montesi
  • authored at least 55 papers between 2007 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Microservices: a Language-based Approach.
CoRR, 2017

Multiparty session types as coherence proofs.
Acta Inf., 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.
Foundations and Trends in Programming Languages, 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 in Practice.
CoRR, 2016

Choreographies, Divided and Conquered.
CoRR, 2016

The Paths to Choreography Extraction.
CoRR, 2016

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

A Core Model for Choreographic Programming.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 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

Kickstarting Choreographic Programming.
CoRR, 2015

Applied Choreographies.
CoRR, 2015

Choreographies, Computationally.
CoRR, 2015

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

Multiparty Session Types as Coherence Proofs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

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

2014
Process-aware web programming with Jolie.
CoRR, 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

Choreographies, Logically.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 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

Process-aware web programming with Jolie.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 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. Inform., 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.
Electr. Notes Theor. Comput. Sci., 2007

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


  Loading...