Friday, August 28, 2009

Publications

Journals:
  • "Formalizing Mobility in Service Oriented Computing"
    Claudio Guidi and Roberto Lucchi
    Journal of Software (JSW), Academy Publisher. Volume 2 Issue 1:1-13, February 2007
  • "Dynamic Error Handling in Service Oriented Applications"
    Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
    Fundamenta Informaticae, 30 pages, IOS Press, To be published, 2009.
Conferences and Workshops:
  • "Reasoning about Service Oriented Programming paradigm"
    Claudio Guidi and Fabrizio Montesi
    Electronic Proceedings in Theoretical computer science 2
    YR-SOC 09, pages 67-81
  • "Dynamic fault handling mechanisms for service-oriented applications"
    Fabrizio Montesi, Claudio Guidi, Ivan Lanese and Gianluigi Zavattaro
    In Proc. of 6th IEEE European Conference on Web Services (ECOWS 2008).
    pages 225-234, IEEE Computer Society, 2008.
  • "Bridging the gap between Interaction- and Process-Oriented Choreographies"
    Ivan Lanese, Claudio Guidi, Fabrizio Montesi and Gianluigi Zavattaro
    In Proc. of 6th IEEE International Conferences on Software Engineering and Formal Methods. Pages 323-332, IEEE Computer Society, 2008.
  • "On the Interplay Between Fault Handling and Request-Response"
    Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
    In Proc. of 8th International Conference on Application of Concurrency to System Design (ACSD 2008). Pages 190-199, IEEE Computer Society, 2008.
  • "Replicating Web Services for Scalability"
    Mario Bravetti, Stephen Gilmore, Claudio Guidi and Mirco Tribastone
    In Proc. of Trustworthy Global Computing (TGC 2007).
    Volume 4912 of LNCS, pages 204-221, 2007.
    [pdf] [bibtex]
  • "Composing services with JOLIE"
    Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
    In Proc. of 5th IEEE European Conference on Web Services (ECOWS 2007).
    pages 13-22.
    [bibtex]
  • "SOCK: a calculus for service oriented computing"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2006).
    Volume 4294 of LNCS, pages 327-338, 2006.
    [pdf] [bibtex]
  • "JOLIE: a Java Orchestration Language Intepreter Engine"
    Fabrizio Montesi, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro
    Electronic Notes in Theoretical Computer Science, Volume 181, 27 June 2007,
    Pages 19-33
    [pdf] [bibtex]
  • "Choreography and Orchestration conformance for system design"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro
    In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION'06). Volume 4038 of LNCS, pages 63-81, 2006.
    [pdf] [bibtex]
  • "Mobility mechanisms in Service Oriented Computing"
    Claudio Guidi and Roberto Lucchi
    In Proc. of 8th International Conference on on Formal Methods for Open Object-Based Distributed Systems (FMOODS06). Volume 4037 of LNCS pages 233-250, 2006.
    [pdf] [bibtex]
  • "Choreography and Orchestration: a synergic approach for system design"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    In Proc. of 3rd International Conference on Service Oriented Computing (ICSOC 2005).
    Volume 3826 of LNCS, pages 228-240, 2005.
    [pdf] [bibtex]
  • "Reasoning about interaction patterns in Choreography"
    R. Gorrieri, C. Guidi and R. Lucchi
    In Proc. of 2nd International Workshop on Web Services and Formal Methods
    (WS-FM '05). Volume 3070 of LNCS, pages 333-348. 2005.
    [pdf] [bibtex]
  • "Towards a formal framework for Choreography"
    N. Busi, R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
    In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005),
    IEEE Computer Society Press. WETICE 2005, pages 107-112.
    [pdf] [bibtex]
  • "Supporting e-commerce systems formalization with choreography languages"
    M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro.
    In Proc. of ACM Symposium on Applied Computing (SAC'05), ACM Press, 200
    [pdf] [bibtex]
  • "A Formal Framework for Web Services Coordination"
    Claudio Guidi, Roberto Lucchi and Manuel Mazzara
    In Proc. of 3rd International Workshop on
    Foundations of Coordination Languages and Software Architectures (FOCLASA'04)
    Electronic Notes in Theoretical Computer Science, Volume 180, Issue 2, 26 June 2007, Pages 55-70