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