 | 2011 |
| 29 |  | Asli Zengin,
Raman Kazhamiakin,
Marco Pistore:
CLAM: Cross-Layer Management of Adaptation Decisions for Service-Based Applications.
ICWS 2011: 698-699 |
| 28 |  | Antonio Bucchiarone,
Marco Pistore,
Heorhi Raik,
Raman Kazhamiakin:
Adaptation of service-based business processes by context-aware replanning.
SOCA 2011: 1-8 |
| 2010 |
| 27 |  | Raman Kazhamiakin,
Volha Kerhet,
Massimo Paolucci,
Marco Pistore,
Matthias Wagner:
Use-Based Discovery of Pervasive Services.
AIMSA 2010: 11-20 |
| 26 |  | Raman Kazhamiakin,
Massimo Paolucci,
Marco Pistore,
Heorhi Raik:
Modelling and Automated Composition of User-Centric Services.
OTM Conferences (1) 2010: 291-308 |
| 25 |  | Raman Kazhamiakin,
Salima Benbernou,
Luciano Baresi,
Pierluigi Plebani,
Maike Uhlig,
Olivier Barais:
Adaptation of Service-Based Systems.
S-CUBE Book 2010: 117-156 |
| 24 |  | 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 |
| 23 |  | Vasilios Andrikopoulos,
Antonio Bucchiarone,
Elisabetta Di Nitto,
Raman Kazhamiakin,
Stephen Lane,
Valentina Mazza,
Ita Richardson:
Service Engineering.
S-CUBE Book 2010: 271-337 |
| 22 |  | 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 |
| 21 |  | 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 |
| 20 |  | Piergiorgio Bertoli,
Raman Kazhamiakin,
Massimo Paolucci,
Marco Pistore,
Heorhi Raik,
Matthias Wagner:
Continuous Orchestration of Web Services via Planning.
ICAPS 2009 |
| 19 |  | Raman Kazhamiakin,
Marco Pistore,
Asli Zengin:
Cross-Layer Adaptation and Monitoring of Service-Based Applications.
ICSOC/ServiceWave Workshops 2009: 325-334 |
| 18 |  | 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 |
| 17 |  | 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 |
| 16 |  | Piergiorgio Bertoli,
Raman Kazhamiakin,
Massimo Paolucci,
Marco Pistore,
Heorhi Raik,
Matthias Wagner:
Control Flow Requirements for Automated Service Composition.
ICWS 2009: 17-24 |
| 2008 |
| 15 |  | Raman Kazhamiakin,
Piergiorgio Bertoli,
Massimo Paolucci,
Marco Pistore,
Matthias Wagner:
Having Services "YourWay!": Towards User-Centric Composition of Mobile Services.
FIS 2008: 94-106 |
| 14 |  | Luciano Baresi,
Sam Guinea,
Raman Kazhamiakin,
Marco Pistore:
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.
ServiceWave 2008: 1-12 |
| 13 |  | 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 |
| 12 |  | Raman Kazhamiakin,
Andreas Metzger,
Marco Pistore:
Towards Correctness Assurance in Adaptive Service-Based Applications.
ServiceWave 2008: 25-37 |
| 2007 |
| 11 |  | 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 |
| 10 |  | 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 |
| 9 |  | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Timed Modelling and Analysis in Web Service Compositions.
ARES 2006: 840-846 |
| 8 |  | Raman Kazhamiakin,
Marco Pistore:
Analysis of Realizability Conditions for Web Service Choreographies.
FORTE 2006: 61-76 |
| 7 |  | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Representation, Verification, and Computation of Timed Properties in Web.
ICWS 2006: 497-504 |
| 6 |  | Raman Kazhamiakin,
Marco Pistore:
Static Verification of Control and Data inWeb Service Compositions.
ICWS 2006: 83-90 |
| 5 |  | Raman Kazhamiakin,
Marco Pistore:
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
WS-FM 2006: 227-241 |
| 4 |  | Raman Kazhamiakin,
Marco Pistore,
Luca Santuari:
Analysis of communication models in web service compositions.
WWW 2006: 267-276 |
| 2005 |
| 3 |  | Raman Kazhamiakin,
Marco Pistore:
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
EPEW/WS-FM 2005: 318-332 |
| 2004 |
| 2 |  | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements.
EDOC 2004: 9-20 |
| 1 |  | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services.
SEFM 2004: 406-415 |