Follow
Claudio Guidi
Claudio Guidi
italianaSoftware s.r.l.
Verified email at italianasoftware.com - Homepage
Title
Cited by
Cited by
Year
SOCK: A Calculus for Service Oriented Computing
C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro
Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006
2482006
Choreography and orchestration: A synergic approach for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005
2012005
Choreography and orchestration conformance for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Coordination Models and Languages: 8th International Conference …, 2006
1782006
Service-oriented programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2013
1272013
Bridging the gap between interaction-and process-oriented choreographies
I Lanese, C Guidi, F Montesi, G Zavattaro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
1252008
Jolie: a java orchestration language interpreter engine
F Montesi, C Guidi, R Lucchi, G Zavattaro
Electronic Notes in Theoretical Computer Science 181, 19-33, 2007
902007
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007
802007
Towards a formal framework for choreography
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
14th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2005
682005
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
642017
A formal framework for web services coordination
C Guidi, R Lucchi, M Mazzara
Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007
602007
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
592016
On the interplay between fault handling and request-response service invocations
C Guidi, I Lanese, F Montesi, G Zavattaro
2008 8th International Conference on Application of Concurrency to System …, 2008
452008
Dynamic error handling in service oriented applications
C Guidi, I Lanese, F Montesi, G Zavattaro
Fundamenta Informaticae 95 (1), 73-102, 2009
412009
Reasoning about interaction patterns in choreography
R Gorrieri, C Guidi, R Lucchi
European Workshop on Performance Engineering, 333-348, 2005
412005
Replicating web services for scalability
M Bravetti, S Gilmore, C Guidi, M Tribastone
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008
362008
Supporting e-commerce systems formalization with choreography languages
M Bravetti, C Guidi, R Lucchi, G Zavattaro
Proceedings of the 2005 ACM symposium on Applied computing, 831-835, 2005
242005
Dynamic fault handling mechanisms for service-oriented applications
F Montesi, C Guidi, I Lanese, G Zavattaro
2008 Sixth European Conference on Web Services, 225-234, 2008
222008
A model-driven approach towards automatic migration to microservices
A Bucchiarone, K Soysal, C Guidi
Software Engineering Aspects of Continuous Development and New Paradigms of …, 2020
212020
Formalizing languages for service oriented computing
C Guidi
alma, 2007
162007
Interface-based service composition with aggregation
M Dalla Preda, M Gabbrielli, C Guidi, J Mauro, F Montesi
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012 …, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20