Publications


  1. Piergiorgio Bertoli, Marco Pistore, Paolo Traverso,
    Automated composition of web services via planning in asynchronous domains,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 174,
    n. 3-4,
    2010
    , pp. 316 -
    361
  2. Grace A. Lewis, Dennis B. Smith, A. Metzger, Andrea Zisman, Marco Pistore,
    Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010),
    in «SOFTWARE ENGINEERING NOTES»,
    vol. ,
    2010
  3. A. Bucchiarone, R. Kazhamiakin, V. Mazza, P. Plebani,
    Describing Case Studies and Classifying Research Approaches,
    in: S. Dustdar, F. Li (eds.),
    Service Engineering,
    Vienna,
    Springer Vienna,
    2010
    , pp. 1 -
    23
  4. A. Gehlert, A. Metzger, D. Karastoyanova, R. Kazhamiakin, K. Pohl, F. Leymann, M. Pistore,
    Integrating Perfective and Corrective Adaptation of Service-based Applications ,
    in: S. Dustdar, F. Li (eds.),
    Service Engineering,
    Vienna,
    Springer Vienna,
    2010
    , pp. 137 -
    169
  5. V. Andrikopoulos, A. Bucchiarone, E. Di Nitto, R. Kazhamiakin, S. Lane, V. Mazza, I.Richardson,
    Service Engineering,
    in: M. Papazoglou, K. Pohl, M. Parkin,A. Metzger (eds.),
    Service Research Challenges and Solutions for the Future Internet,
    Berlin ,
    Springer Berlin / Heidelberg,
    2010
    , pp. 271 -
    337
  6. R. Kazhamiakin, S. Benbernou, L. Baresi, P. Plebani, M. Uhlig, O. Barais
    ,
    Adaptation of Service-Based Systems,
    in: Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger (eds.),
    Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems,
    (Conputer Science),
    Berlin,
    Springer Berlin / Heidelberg,
    2010
    , pp. 117 -
    156
  7. A. Metzger, S. Benbernou, M. Carro, M. Driss, G. Kecskemeti, R. Kazhamiakin, K. Krytikos, A. Mocci, E. Di Nitto, B. Wetzstein, F. Silvestri,
    Analytical Quality Assurance ,
    in: Mike P. Papazoglou, Klaus Pohl * Michael Parkin, Andreas Metzger (eds.),
    Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems,
    (Computer Science),
    Berlin,
    Springer Berlin / Heidelberg,
    2010
    , pp. 209 -
    270
  8. H. Ehrig, C. Ermel, O. Runge, A. Bucchiarone, P. Pelliccione: ,
    Formal Analysis and Verification of Self-Healing Systems,
    FASE,
    Springer,
    vol.6013,
    2010
    , pp. 139-
    153
    , (Fundamental Approaches to Software Engineering , 13th International Conference, FASE 2010,
    Paphos, Cyprus,
    da 03/20/2010 a 03/28/2010)
  9. A. Gehlert, A. Bucchiarone, R. Kazhamiakin, A. Metzger, M. Pistore, K. Pohl,
    Exploiting assumption-based verification for the adaptation of service-based applications,
    SAC,
    ACM,
    2010
    , pp. 2430-
    2437
    , (ACM Symposium on Applied Computing,
    Sierre, Switzerland,
    03/22/2010 a 03/26/2010)
  10. A. Bucchiarone, S. Gnesi, A. Fantechi, G. Trentanni,
    An experience in using a tool for evaluating a large set of natural language requirements,
    SAC,
    ACM,
    2010
    , pp. 281-
    286
    , (ACM Symposium on Applied Computing,
    Sierre, Switzerland,
    03/22/2010 a 03/26/2010)