Fabrizio Montesi

141 papers A* 1A 4B 10C 17Misc 5Journal 70Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accompanist: A Runtime for Resilient Choreographic Programming. CoRR Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2026	J	`jnl`	CSLib: The Lean Computer Science Library. CoRR Clark W. Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
2026	J	`jnl`	Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib). CoRR Christopher Henson, Fabrizio Montesi
2026	J	`jnl`	Hennessy-Milner Logic in CSLib, the Lean Computer Science Library. CoRR Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker
2025	—	`conf`	A Conceptual Framework for API Refactoring in Service-Oriented Architectures. ESOCC Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
2025	J	`jnl`	CRGC: Fault-Recovering Actor Garbage Collection in Pekko. Proc. ACM Program. Lang. Dan Plyukhin, Gul Agha, Fabrizio Montesi
2025	J	`jnl`	Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version). CoRR Matteo Acclavio, Giulia Manara, Fabrizio Montesi
2025	—	`conf`	Formulas as Processes, Deadlock-Freedom as Choreographies. ESOP (1) Matteo Acclavio, Giulia Manara, Fabrizio Montesi
2025	J	`jnl`	JoT: A Jolie framework for testing microservices. Sci. Comput. Program. Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2025	—	`conf`	Omission Failures in Choreographic Programming. ICTCS Eva Graversen, Fabrizio Montesi, Marco Peressotti
2025	J	`jnl`	Relax! The Semilenient Core of Choreographic Programming (Functional Pearl). Proc. ACM Program. Lang. Dan Plyukhin, Xueying Qin, Fabrizio Montesi
2024	J	`jnl`	A Conceptual Framework for API Refactoring in Enterprise Application Architectures. CoRR Fabrizio Montesi, Marco Peressotti, Valentino Picotti, Olaf Zimmermann
2024	—	`conf`	A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. ICSOC (2) Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty
2024	J	`jnl`	A model for correlation-based choreographic programming. PeerJ Comput. Sci. Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2024	J	`jnl`	Alice or Bob?: Process polymorphism in choreographies. J. Funct. Program. Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2024	J	`jnl`	Choral: Object-oriented Choreographic Programming. ACM Trans. Program. Lang. Syst. Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2024	—	`conf`	Choreography-Defined Networks: A Case Study on DoS Mitigation. ICSOC (2) Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Peressotti, Marco Prandini
2024	J	`jnl`	On Propositional Dynamic Logic and Concurrency. CoRR Matteo Acclavio, Fabrizio Montesi, Marco Peressotti
2024	J	`jnl`	Ozone: Fully Out-of-Order Choreographies (Artifact). Dagstuhl Artifacts Ser. Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024	A	`conf`	Ozone: Fully Out-of-Order Choreographies. ECOOP Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024	J	`jnl`	Ozone: Fully Out-of-Order Choreographies. CoRR Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
2024	J	`jnl`	Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. Art Sci. Eng. Program. Lovro Lugovic, Fabrizio Montesi
2024	J	`jnl`	μXL: explainable lead generation with microservices and hypothetical answers. Computing Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
2023	J	`jnl`	A Formal Theory of Choreographic Programming. J. Autom. Reason. Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2023	J	`jnl`	Alice or Bob?: Process Polymorphism in Choreographies. CoRR Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2023	C	`conf`	Certified Compilation of Choreographies with hacc. FORTE Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
2023	J	`jnl`	Certified Compilation of Choreographies with hacc. CoRR Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
2023	C	`conf`	JoT: A Jolie Framework for Testing Microservices. COORDINATION Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
2023	B	`conf`	Keep me out of the loop: a more flexible choreographic projection. LPAR Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen
2023	J	`jnl`	LEMMA2Jolie: A tool to generate microservice APIs from domain models. Sci. Comput. Program. Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2023	A	`conf`	Modular Compilation for Higher-Order Functional Choreographies. ECOOP Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2023	B	`conf`	Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. ITP Luís Cruz-Filipe, Fabrizio Montesi
2023	J	`jnl`	Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2023	J	`jnl`	Real-World Choreographic Programming: An Experience Report. CoRR Lovro Lugovic, Fabrizio Montesi
2023	C	`conf`	Reasoning About Choreographic Programs. COORDINATION Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023	J	`jnl`	Reasoning about Choreographic Programs. CoRR Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti
2023	—	`conf`	μXL: Explainable Lead Generation with Microservices and Hypothetical Answers. ESOCC Luís Cruz-Filipe, Sofia Kostopoulou, Fabrizio Montesi, Jonas Vistrup
2022	J	`jnl`	A Formal Theory of Choreographic Programming. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2022	J	`jnl`	Ephemeral data handling in microservices with Tquery. PeerJ Comput. Sci. Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2022	C	`conf`	From Infinity to Choreographies - Extraction for Unbounded Systems. LOPSTR Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
2022	J	`jnl`	From Infinity to Choreographies: Extraction for Unbounded Systems. CoRR Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi
2022	C	`conf`	Functional Choreographic Programming. ICTAC Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2022	J	`jnl`	Implementing Choreography Extraction. CoRR Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
2022	J	`jnl`	Microservice security: a systematic literature review. PeerJ Comput. Sci. Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini
2022	—	`conf`	Model-Driven Code Generation for Microservices: Service Models. Microservices Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022	C	`conf`	Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. COORDINATION Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022	J	`jnl`	Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. CoRR Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
2022	—	`conf`	Modular Choreographies: Bridging Alice and Bob Notation to Java. Microservices Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, Marco Peressotti
2022	—	`ed.`	Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings ESOCC Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann
2021	C	`conf`	Certifying Choreography Compilation. ICTAC Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Certifying Choreography Compilation. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Choreographies as Functions. CoRR Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
2021	B	`conf`	Formalising a Turing-Complete Choreographic Language in Coq. ITP Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Formalising a Turing-Complete Choreographic Language in Coq. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2021	J	`jnl`	Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. CoRR Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021	C	`conf`	Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. COORDINATION Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2021	J	`jnl`	Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes. CoRR Fabrizio Montesi, Marco Peressotti
2021	A	`conf`	Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
2021	—	`conf`	Sliceable Monolith: Monolith First, Microservices Later. SCC Fabrizio Montesi, Marco Peressotti, Valentino Picotti
2021	J	`jnl`	Sliceable Monolith: Monolith First, Microservices Later. CoRR Fabrizio Montesi, Marco Peressotti, Valentino Picotti
2020	J	`jnl`	A core model for choreographic programming. Theor. Comput. Sci. Luís Cruz-Filipe, Fabrizio Montesi
2020	J	`jnl`	Choreographies as Objects. CoRR Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
2020	—	`ed.`	Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019 Microservices Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh
2020	—	`conf`	The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
2019	J	`jnl`	Better late than never: a fully-abstract semantics for classical processes. Proc. ACM Program. Lang. Wen Kokke, Fabrizio Montesi, Marco Peressotti
2019	J	`jnl`	Ephemeral Data Handling in Microservices - Technical Report. CoRR Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019	—	`conf`	Ephemeral Data Handling in Microservices. SCC Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, Stefano Pio Zingaro
2019	J	`jnl`	Implementing choreography extraction. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
2019	C	`conf`	No More, No Less - A Formal Model for Serverless Computing. COORDINATION Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019	J	`jnl`	No more, no less - A formal model for serverless computing. CoRR Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2018	C	`conf`	Applied Choreographies. FORTE Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
2018	J	`jnl`	Better Late Than Never: A Fully Abstract Semantics for Classical Processes. CoRR Wen Kokke, Fabrizio Montesi, Marco Peressotti
2018	J	`jnl`	Choreographies for Reactive Programming. CoRR Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
2018	J	`jnl`	Choreographies, logically. Distributed Comput. Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2018	J	`jnl`	Classical Higher-Order Processes. CoRR Fabrizio Montesi
2018	J	`jnl`	Classical Transitions. CoRR Fabrizio Montesi, Marco Peressotti
2018	Misc	`conf`	Communications in choreographies, revisited. SAC Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2018	J	`jnl`	Connectors meet Choreographies. CoRR Farhad Arbab, Luís Cruz-Filipe, Sung-Shik Jongmans, Fabrizio Montesi
2018	Misc	`conf`	From the decorator pattern to circuit breakers in microservices. SAC Fabrizio Montesi, Janine Weber
2018	C	`conf`	Multiparty Classical Choreographies. LOPSTR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2018	J	`jnl`	Multiparty Classical Choreographies. CoRR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2018	—	`conf`	Taking Linear Logic Apart. Linearity-TLLA@FLoC Wen Kokke, Fabrizio Montesi, Marco Peressotti
2017	J	`jnl`	Choreographies meet Communication Failures. CoRR Fabrizio Montesi, Marco Peressotti
2017	C	`conf`	Classical Higher-Order Processes - (Short Paper). FORTE Fabrizio Montesi
2017	J	`jnl`	Communications in Choreographies, Revisited. CoRR Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
2017	Misc	`conf`	Encoding asynchrony in choreographies. SAC Luís Cruz-Filipe, Fabrizio Montesi
2017	—	`ch.`	Microservices: A Language-Based Approach. Present and Ulterior Software Engineering Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017	—	`ch.`	Microservices: Yesterday, Today, and Tomorrow. Present and Ulterior Software Engineering Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2017	J	`jnl`	Microservices: a Language-based Approach. CoRR Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2017	J	`jnl`	Multiparty session types as coherence proofs. Acta Informatica Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2017	—	`conf`	On Asynchrony and Choreographies. ICE@DisCoTec Luís Cruz-Filipe, Fabrizio Montesi
2017	C	`conf`	Packaging Microservices - (Work in Progress). DAIS Fabrizio Montesi, Dan Sebastian Thrane
2017	C	`conf`	Procedural Choreographic Programming. FORTE Luís Cruz-Filipe, Fabrizio Montesi
2017	J	`jnl`	That's Enough: Asynchrony with Standard Choreography Primitives. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2017	B	`conf`	The Paths to Choreography Extraction. FoSSaCS Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
2016	—	`conf`	A Core Model for Choreographic Programming. FACS Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. 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
2016	C	`conf`	Choreographies in Practice. FORTE Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Choreographies in Practice. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Choreographies, Divided and Conquered. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2016	J	`jnl`	Circuit Breakers, Discovery, and API Gateways in Microservices. CoRR Fabrizio Montesi, Janine Weber
2016	B	`conf`	Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
2016	B	`conf`	Data-Driven Workflows for Microservices: Genericity in Jolie. AINA Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera
2016	J	`jnl`	Microservices: yesterday, today, and tomorrow. CoRR Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi, Ruslan Mustafin, Larisa Safina
2016	J	`jnl`	Process-aware web programming with Jolie. Sci. Comput. Program. Fabrizio Montesi
2016	J	`jnl`	Refinement types in Jolie. CoRR Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera
2016	—	`conf`	Self-Reconfiguring Microservices. Theory and Practice of Formal Methods Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2016	J	`jnl`	The Paths to Choreography Extraction. CoRR Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
2015	J	`jnl`	Applied Choreographies. CoRR Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2015	J	`jnl`	Choreographies, Computationally. CoRR Luís Cruz-Filipe, Fabrizio Montesi
2015	J	`jnl`	Data-driven Workflows for Microservices. CoRR Larisa Safina, Manuel Mazzara, Fabrizio Montesi
2015	J	`jnl`	Guest Editorial: Special Issue on Service-Oriented Architectures and Programming. J. Internet Serv. Inf. Secur. Mario Bravetti, Alberto Lluch-Lafuente, Manuel Mazzara, Fabrizio Montesi
2015	—	`conf`	Kickstarting Choreographic Programming. WS-FM Fabrizio Montesi
2015	J	`jnl`	Kickstarting Choreographic Programming. CoRR Fabrizio Montesi
2015	B	`conf`	Multiparty Session Types as Coherence Proofs. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2015	J	`jnl`	Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. Ivan Lanese, Manuel Mazzara, Fabrizio Montesi
2015	—	`conf`	The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2014	B	`conf`	Choreographies, Logically. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2014	J	`jnl`	Process-aware web programming with Jolie. CoRR Fabrizio Montesi
2014	C	`conf`	Progress as Compositional Lock-Freedom. COORDINATION Marco Carbone, Ornela Dardha, Fabrizio Montesi
2014	Misc	`conf`	Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
2014	—	`ch.`	Service-Oriented Programming with Jolie. Web Services Foundations Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2013	—	`conf`	Amending Choreographies. WWV Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2013	B	`conf`	Compositional Choreographies. CONCUR Fabrizio Montesi, Nobuko Yoshida
2013	A*	`conf`	Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL Marco Carbone, Fabrizio Montesi
2013	Misc	`conf`	Process-aware web programming with Jolie. SAC Fabrizio Montesi
2012	—	`conf`	Interface-Based Service Composition with Aggregation. ESOCC Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2012	—	`conf`	Merging Multiparty Protocols in Multiparty Choreographies PLACES Marco Carbone, Fabrizio Montesi
2012	—	`conf`	Service integration via target-transparent mediation. SOCA Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
2011	C	`conf`	An Efficient Management of Correlation Sets with Broadcast. COORDINATION Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
2011	A	`conf`	Programming Services with Correlation Sets. ICSOC Fabrizio Montesi, Marco Carbone
2010	—	`conf`	A Framework for Rule-Based Dynamic Adaptation. TGC Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi
2010	—	`conf`	A Model of Evolvable Components. TGC Fabrizio Montesi, Davide Sangiorgi
2010	—	`conf`	Error Handling: From Theory to Practice. ISoLA (2) Ivan Lanese, Fabrizio Montesi
2009	J	`jnl`	Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2009	—	`conf`	Reasoning About a Service-oriented Programming Paradigm YR-SOC Claudio Guidi, Fabrizio Montesi
2008	B	`conf`	Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro
2008	—	`conf`	Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro
2008	—	`conf`	On the interplay between fault handling and request-response service invocations. ACSD Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
2007	—	`conf`	Composing Services with JOLIE. ECOWS Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
2006	—	`conf`	JOLIE: a Java Orchestration Language Interpreter Engine. CoOrg/MTCoord@COORDINATION Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro