| 2008 |
|---|
| 15 | EE | 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 | EE | Luciano Baresi,
Sam Guinea,
Raman Kazhamiakin,
Marco Pistore:
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.
ServiceWave 2008: 1-12 |
| 13 | EE | 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 | EE | Raman Kazhamiakin,
Andreas Metzger,
Marco Pistore:
Towards Correctness Assurance in Adaptive Service-Based Applications.
ServiceWave 2008: 25-37 |
| 2007 |
|---|
| 11 | EE | 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 | EE | 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 | EE | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Timed Modelling and Analysis in Web Service Compositions.
ARES 2006: 840-846 |
| 8 | EE | Raman Kazhamiakin,
Marco Pistore:
Analysis of Realizability Conditions for Web Service Choreographies.
FORTE 2006: 61-76 |
| 7 | EE | Raman Kazhamiakin,
Paritosh K. Pandya,
Marco Pistore:
Representation, Verification, and Computation of Timed Properties in Web.
ICWS 2006: 497-504 |
| 6 | EE | Raman Kazhamiakin,
Marco Pistore:
Static Verification of Control and Data inWeb Service Compositions.
ICWS 2006: 83-90 |
| 5 | EE | Raman Kazhamiakin,
Marco Pistore:
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.
WS-FM 2006: 227-241 |
| 4 | EE | Raman Kazhamiakin,
Marco Pistore,
Luca Santuari:
Analysis of communication models in web service compositions.
WWW 2006: 267-276 |
| 2005 |
|---|
| 3 | EE | Raman Kazhamiakin,
Marco Pistore:
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
EPEW/WS-FM 2005: 318-332 |
| 2004 |
|---|
| 2 | EE | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
A Framework for Integrating Business Processes and Business Requirements.
EDOC 2004: 9-20 |
| 1 | EE | Raman Kazhamiakin,
Marco Pistore,
Marco Roveri:
Formal Verification of Requirements using SPIN: A Case Study on Web Services.
SEFM 2004: 406-415 |
