 | 2009 |
| 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 |