2007

1. Annapaola Marconi; Marco Pistore; Paolo Traverso,
   Process-level Composition of Web Services: a Semi-Automated Iterative Approach,
   in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
   vol. 1,
   n. 5,
   2007
   , pp. 11 -
   25
2. Marco Pistore; Moshe Y. Vardi,
   The Planning Spectrum - One, Two, Three, Infinity,
   in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
   vol. 30,
   2007
   , pp. 101 -
   132
3. A. Bucchiarone; M. ter Beek; S. Gnesi,
   Formal Methods for Service Composition,
   in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
   vol. 1,
   n. 5,
   2007
   , pp. 1 -
   10
4. Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio,
   Architecting Fault-tolerant Component-based Systems: from requirements to testing,
   in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
   vol. 168,
   2007
   , pp. 77 -
   90
5. Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio,
   Architecting Fault-tolerant Component-based Systems: from requirements to testing,
   in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
   vol. 168,
   2007
   , pp. 77 -
   90
6. Marco Pistore; Paolo Traverso,
   Assumption Based Composition and Monitoring of Web Services,
   Test and Analysis of Service-Oriented Systems,
   Springer,
   2007
   , pp. 307 -
   338
7. Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti,
   A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
   Model Checking and Artificial Intelligence,
   Berlin, Heidelberg,
   Springer-Verlag,
   2007
   , pp. 1 -
   18
8. Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan; Luciano Serafini,
   Verifying space and time requirements for resource-bounded agents,
   Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
   Springer,
   vol.4428,
   2007
   , pp. 19-
   34
   , (Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
   28/08/2006)
9. Annapaola Marconi; Marco Pistore; Piero Poccianti; Paolo Traverso,
   Automated Web Service Composition at Work: the Amazon/MPS Case Study,
   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)
10. Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso,
    Web Service Discovery at Process-level Based on Semantic Annotation,
    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)

Pages