- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c31 |      | Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore: SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. BIS (Workshops) 2012: 243-254 |
| c30 | | Piergiorgio Bertoli, Raman Kazhamiakin, Michele Nori, Marco Pistore: SMART: Supporting the Design and Execution of User-Centric Service-Based Applications. WISE 2012: 796-799 |
| 2011 | ||
| c29 | | Asli Zengin, Raman Kazhamiakin, Marco Pistore: CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications. ICWS 2011: 698-699 |
| c28 | | Antonio Bucchiarone, Marco Pistore, Heorhi Raik, Raman Kazhamiakin: Adaptation of service-based business processes by context-aware replanning. SOCA 2011: 1-8 |
| 2010 | ||
| c27 | | Raman Kazhamiakin, Volha Kerhet, Massimo Paolucci, Marco Pistore, Matthias Wagner: Use-Based Discovery of Pervasive Services. AIMSA 2010: 11-20 |
| c26 | | Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik: Modelling and Automated Composition of User-Centric Services. OTM Conferences (1) 2010: 291-308 |
| c25 | | Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl: Exploiting assumption-based verification for the adaptation of service-based applications. SAC 2010: 2430-2437 |
| c24 | | Raman Kazhamiakin, Salima Benbernou, Luciano Baresi, Pierluigi Plebani, Maike Uhlig, Olivier Barais: Adaptation of Service-Based Systems. S-CUBE Book 2010: 117-156 |
| c23 | | Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri: Analytical Quality Assurance. S-CUBE Book 2010: 209-270 |
| c22 | | Vasilios Andrikopoulos, Antonio Bucchiarone, Elisabetta Di Nitto, Raman Kazhamiakin, Stephen Lane, Valentina Mazza, Ita Richardson: Service Engineering. S-CUBE Book 2010: 271-337 |
| c21 | | Dominik Meiländer, Sergei Gorlatch, Cinzia Cappiello, Valentina Mazza, Raman Kazhamiakin, Antonio Bucchiarone: Using a Lifecycle Model for Developing and Executing Adaptable Interactive Distributed Applications. ServiceWave 2010: 175-186 |
| 2009 | ||
| c20 | | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Continuous Orchestration of Web Services via Planning. ICAPS 2009 |
| c19 | | Raman Kazhamiakin, Marco Pistore, Asli Zengin: Cross-Layer Adaptation and Monitoring of Service-Based Applications. ICSOC/ServiceWave Workshops 2009: 325-334 |
| c18 | | Raman Kazhamiakin, Branimir Wetzstein, Dimka Karastoyanova, Marco Pistore, Frank Leymann: Adaptation of Service-Based Applications Based on Process Quality Factor Analysis. ICSOC/ServiceWave Workshops 2009: 395-404 |
| c17 | | Antonio Bucchiarone, Cinzia Cappiello, Elisabetta Di Nitto, Raman Kazhamiakin, Valentina Mazza, Marco Pistore: Design for Adaptation of Service-Based Applications: Main Issues and Requirements. ICSOC/ServiceWave Workshops 2009: 467-476 |
| c16 | | Piergiorgio Bertoli, Raman Kazhamiakin, Massimo Paolucci, Marco Pistore, Heorhi Raik, Matthias Wagner: Control Flow Requirements for Automated Service Composition. ICWS 2009: 17-24 |
| 2008 | ||
| c15 | | Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner: Having Services "YourWay!": Towards User-Centric Composition of Mobile Services. FIS 2008: 94-106 |
| c14 | | Luciano Baresi, Sam Guinea, Raman Kazhamiakin, Marco Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. ServiceWave 2008: 1-12 |
| c13 | | Raman Kazhamiakin, Andreas Metzger, Marco Pistore: Towards Correctness Assurance in Adaptive Service-Based Applications. ServiceWave 2008: 25-37 |
| c12 | | Julia Hielscher, Raman Kazhamiakin, Andreas Metzger, Marco Pistore: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. ServiceWave 2008: 122-133 |
| 2007 | ||
| c11 | | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Analysis of the Composed Telecom Services. ICSOC Workshops 2007: 282-294 |
| c10 | | Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz: Design and Verification ofWeb Services Compositions in the Telecommunication Domain. ICWS 2007: 1214-1215 |
| 2006 | ||
| c9 | | Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Timed Modelling and Analysis in Web Service Compositions. ARES 2006: 840-846 |
| c8 | | Raman Kazhamiakin, Marco Pistore: Analysis of Realizability Conditions for Web Service Choreographies. FORTE 2006: 61-76 |
| c7 | | Raman Kazhamiakin, Marco Pistore: Static Verification of Control and Data inWeb Service Compositions. ICWS 2006: 83-90 |
| c6 | | Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore: Representation, Verification, and Computation of Timed Properties in Web. ICWS 2006: 497-504 |
| c5 | | Raman Kazhamiakin, Marco Pistore: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. WS-FM 2006: 227-241 |
| c4 | | Raman Kazhamiakin, Marco Pistore, Luca Santuari: Analysis of communication models in web service compositions. WWW 2006: 267-276 |
| 2005 | ||
| c3 | | Raman Kazhamiakin, Marco Pistore: A Parametric Communication Model for the Verification of BPEL4WS Compositions. EPEW/WS-FM 2005: 318-332 |
| 2004 | ||
| c2 | | Raman Kazhamiakin, Marco Pistore, Marco Roveri: A Framework for Integrating Business Processes and Business Requirements. EDOC 2004: 9-20 |
| c1 | | Raman Kazhamiakin, Marco Pistore, Marco Roveri: Formal Verification of Requirements using SPIN: A Case Study on Web Services. SEFM 2004: 406-415 |
Data released under the ODC-BY 1.0 license — See also our legal information page