You are here

All publications

  1. Marco Pistore; Paolo Traverso,
    Assumption Based Composition and Monitoring of Web Services,
    Test and Analysis of Service-Oriented Systems,
    Springer,
    2007
    , pp. 307 -
    338
  2. Annapaola Marconi; Marco Pistore; Piero Poccianti; Paolo Traverso,
    ICWS, 2007 IEEE International Conference on Web Services,
    IEEE,
    2007
    , pp. 767-
    774
    , (ICWS, 2007 IEEE International Conference on Web Services,
    Salt Lake City, USA,
    2007)
  3. Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso,
    SEBD 2007 - 15th Italian Symposium on Advanced Database Systems, Proceedings,
    2007
    , pp. 220-
    232
    , (SEBD 2007 - 15th Italian Symposium on Advanced Database Systems, Proceedings,
    2007)
  4. Jana Koehler; Marco Pistore; Amit P. Sheth; Paolo Traverso; Martin Wirsig,
    Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Dagstuhl Seminar Proceedings 07061,
    2007
    , (Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Dagstuhl Seminar Proceedings 07061,
    Schloss Dagstuhl, Germany,
    04/02/2007 - 09/02/2007)
  5. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    3rd South-East European Workshop on Formal Methods - SEEFM07,
    2007
    , pp. 36-
    50
    , (3rd South-East European Workshop on Formal Methods - SEEFM07,
    Thessaloniki, Greece,
    2007)
  6. Piergiorgio Bertoli; Joerg Hoffmann; Freddy Lécué; Marco Pistore,
    Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code,
    2007
    , (ICWS 2007 (IEEE 2007 International Conference on Web Services),
    Salt Lake City, USA,
    da 9/7/2007 a 12/7/2007)
  7. Joerg Hoffmann; Piergiorgio Bertoli; Marco Pistore,
    Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty,
    2007
    , (Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07),
    Vancouver, Canada,
    da 22/7/2007 a 26/7/2007)
  8. Piergiorgio Bertoli ; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz,
    Design and Verification of Web Services Compositions in the Telecommunication Domain,
    2007
    , (ICWS 2007 (IEEE 2007 International Conference on Web Services),
    Salt Lake City, USA,
    da 9/7/2007 a 12/7/2007)
  9. Paolo Traverso; Marco Pistore,
    Agree or Change! Making Services Evolve,
    2007
    , (23rd IEEE International Conference on Software Maintenance (ICSM 2007),
    Paris, France,
    da 2/10/2207 a 5/10/2007)
  10. G. Zacco; M. Aimar; P. Pilolli; M. Pistore; I. Rusconi-Clerici; C. Seraponte; M. Trainotti,
    Business Specification Framework: an Eclipse plugin for business process specification,
    2007

Pages