Claudio Guidi

According to our database, Claudio Guidi authored at least 32 papers between 2004 and 2022.

Collaborative distances:

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

2022

Towards Self-Architecting Autonomic Microservices.

Claudio Guidi

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

A MAPE-K Approach to Autonomic Microservices.

Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

2019

A Model-Driven Approach Towards Automatic Migration to Microservices.

Antonio Bucchiarone, Kemal Soysal, Claudio Guidi

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

2017

Microservices: a Language-based Approach.

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

CoRR, 2017

Microservices: A Language-Based Approach.

Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Self-Reconfiguring Microservices.

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

Proceedings of the Theory and Practice of Formal Methods, 2016

2014

Towards a Composition-based APIaaS Layer.

Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli

Proceedings of the CLOSER 2014, 2014

Service-Oriented Programming with Jolie.

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro

Proceedings of the Web Services Foundations, 2014

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

PaaSSOA: An Open PaaS Architecture for Service Oriented Applications.

Claudio Guidi, Paolo Anedda, Tullio Vardanega

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Towards a New Paas Architecture Generation.

Claudio Guidi, Paolo Anedda, Tullio Vardanega

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

2011

Reasoning about service oriented recursion.

Claudio Guidi, Alessandro Sperduti

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 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

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

Formalizing languages for service oriented computing.

Claudio Guidi

PhD thesis, 2007

Formalizing Mobility in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi

J. Softw., 2007

Replicating Web Services for Scalability.

Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Composing Services with JOLIE.

Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro

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

2006

JOLIE: a Java Orchestration Language Interpreter Engine.

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

: A Calculus for Service Oriented Computing.

Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro

Proceedings of the Service-Oriented Computing, 2006

Mobility Mechanisms in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Choreography and Orchestration Conformance for System Design.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Towards a formal framework for Choreography.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Supporting e-commerce systems formalization with choreography languages.

Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Choreography and Orchestration: A Synergic Approach for System Design.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Service-Oriented Computing, 2005

Reasoning About Interaction Patterns in Choreography.

Roberto Gorrieri, Claudio Guidi, Roberto Lucchi

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

A Formal Framework for Web Services Coordination.

Claudio Guidi, Roberto Lucchi, Manuel Mazzara

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004