GUIDI, CLAUDIO
GUIDI, CLAUDIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
A MAPE-K Approach to Autonomic Microservices
2022 Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J.
Automated microservices deployment and dynamic traffic forwarding through 5G networks
2022 Daniele Rossi, Giacomo Tontini, Mauro Sgarzi, Claudio Guidi, Antonella Bellettini, Franco Callegati
Microservices: A Language-Based Approach
2017 Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi
Dynamic Error Handling in Service Oriented Applications
2009 C. Guidi; I. Lanese; F. Montesi; G. Zavattaro
Bridging the Gap between Interaction- and Process-Oriented Choreographies
2008 I. Lanese; C. Guidi; F. Montesi; G. Zavattaro
Dynamic fault handling mechanisms for service-oriented applications
2008 F. Montesi; C. Guidi; I. Lanese; G. Zavattaro
On the interplay between fault handling and request-response service invocations
2008 C. Guidi; I. Lanese; F. Montesi; G. Zavattaro
Replicating Web Services for Scalability
2008 M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone
Composing Services with JOLIE
2007 F. Montesi; C. Guidi; G. Zavattaro
JOLIE: a Java Orchestration Language Interpreter Engine
2007 F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:
Choreography and Orchestration Conformance for System Design
2006 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
SOCK : A Calculus for Service Oriented Computing
2006 C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Reasoning about interaction patterns in Choreography
2005 R. Gorrieri; C. Guidi; R. Lucchi
Supporting e-commerce systems formalization with choreography languages
2005 M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
Towards a formal framework for Choreography
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A MAPE-K Approach to Autonomic Microservices | Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J. | 2022-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | ICSA2022_NEMI.pdf |
Automated microservices deployment and dynamic traffic forwarding through 5G networks | Daniele Rossi, Giacomo Tontini, Mauro Sgarzi, Claudio Guidi, Antonella Bellettini, Franco Callegati | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Microservices: A Language-Based Approach | Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi | 2017-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
Dynamic Error Handling in Service Oriented Applications | C. Guidi; I. Lanese; F. Montesi; G. Zavattaro | 2009-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
Bridging the Gap between Interaction- and Process-Oriented Choreographies | I. Lanese; C. Guidi; F. Montesi; G. Zavattaro | 2008-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
Dynamic fault handling mechanisms for service-oriented applications | F. Montesi; C. Guidi; I. Lanese; G. Zavattaro | 2008-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
On the interplay between fault handling and request-response service invocations | C. Guidi; I. Lanese; F. Montesi; G. Zavattaro | 2008-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
Replicating Web Services for Scalability | M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone | 2008-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
Composing Services with JOLIE | F. Montesi; C. Guidi; G. Zavattaro | 2007-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
JOLIE: a Java Orchestration Language Interpreter Engine | F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro: | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
Choreography and Orchestration Conformance for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2006-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
SOCK : A Calculus for Service Oriented Computing | C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Choreography and Orchestration: A Synergic Approach for System Design | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Reasoning about interaction patterns in Choreography | R. Gorrieri; C. Guidi; R. Lucchi | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Supporting e-commerce systems formalization with choreography languages | M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
Towards a formal framework for Choreography | N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro; | 2005-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |