2009

  1. H. Eberle; S. Föll; K. Herrmann; F. Leymann; A. Marconi; T. Unger; H. Wolf,
    Enforcement from the Inside: Improving Quality of Business in Process Management,
    2009
  2. I. Di Pietro; A. Marconi; F. Pagliarecci; M. Pistore; L. Spalazzi,
    Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.,
    2009
  3. A. Marconi; M. Pistore,
    Synthesis and Composition of Web Services,
    2009
    , pp. 89-
    157

    4. 2008

  4. Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Melgratti, Hernán,
    Modelling Dynamic Software Architectures using Typed Graph Grammars,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 213,
    n. 1,
    2008
    , pp. 39-
    53
  5. Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto,
    Graph-Based Design and Analysis of Dynamic Software Architectures,
    Concurrency, Graphs and Models,
    vol. 5065,
    2008
    , pp. 37-
    56
  6. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    Automated Composition of Web Services: the ASTRO Approach,
    IEEE Data(base) Engineering Bulletin,
    IEEE,
    vol. 31,
    n. 3,
    2008
    , pp. 23-
    26
  7. I. Di Pietro; A. Marconi; F. Pagliarecci; M. Pistore; L. Spalazzi,
    Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study,
    2008

    8. 2007

  8. 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
  9. 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
  10. 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
  11. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    An Iterative Approach for the Process-level Composition of Web Services,
    3rd South-East European Workshop on Formal Methods - SEEFM07,
    2007
    , pp. 36-
    50
  12. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    Process-level Composition of Web Services: a Semi-Automated Iterative Approach,
    in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
    Technological Education Institute of Larissa (TEIL,
    vol. 1,
    n. 5,
    2007
    , pp. 11-
    25

    13. 2006

  13. A. Marconi; M. Pistore; P. Traverso,
    Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals,
    Service -Oriented Computing - ICSOC 2006, 4th International Conference, Proceedings,
    Springer,
    vol. 4294,
    2006
    , pp. 459-
    464
  14. M. Trainotti; M. Pistore; F. Barbon; P. Bertoli; A. Marconi; P. Traverso; G. Zacco,
    ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification,
    ICAPS 2006 Software Demonstrations - Proceedings,
    2006
    , pp. 28-
    31
  15. A. Marconi; M. Pistore; P. Traverso,
    Specifying Data-Flow Requirements for the Automated Composition of Web Services,
    4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06),
    IEEE,
    2006
    , pp. 147-
    156

    16. 2005

  16. Bucchiarone, A.; Gnesi, S.; Pierini, P.,
    Quality analysis of NL requirements: an industrial case study,
    13th {IEEE} International Conference on Requirements Engineering {(RE} 2005), 29 August - 2 September 2005, Paris, France,
    2005
    , pp. 390-
    394
  17. M. Pistore; P. Traverso; P. Bertoli; A. Marconi,
    Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes,
    14th International World Wide Web Conference [WWW2005,
    ACM,
    2005
    , pp. 1186-
    1187
  18. M. Pistore; A. Marconi; P. Bertoli; P. Traverso,
    Automated Composition of Web Services by Planning at the Knowledge Level,
    19th International Joint Conference on Artificial Intelligence,
    Morgan Kaufmann,
    2005
  19. M. Pistore; P. Traverso; P. Bertoli; A. Marconi,
    Automated Synthesis of Composite BPEL4WS Web Services,
    IEEE International Conference on Web Services,
    IEEE Computer Society,
    2005

    20. 2004

  20. P. Traverso; M. Pistore; M. Roveri; A. Marconi; R. Kazhamiakin; P. Lucchese; P. Busetta; P. Bertoli,
    Towards a Framework for Supporting Negotiation between Global and Local Business Requirements,
    Proceedings of 2nd Int. Conference on Service-Oriented Computing,
    2004
    , pp. 56-
    65