2009 |
11 | EE | Federico Banti,
Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009) |
2008 |
10 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A Formal Account of WS-BPEL.
COORDINATION 2008: 199-215 |
9 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Specifying and Analysing SOC Applications with COWS.
Concurrency, Graphs and Models 2008: 701-720 |
8 | EE | Alessandro Fantechi,
Stefania Gnesi,
Alessandro Lapadula,
Franco Mazzanti,
Rosario Pugliese,
Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications.
FASE 2008: 230-245 |
7 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
6 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Service Discovery and Negotiation With COWS.
Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008) |
5 | EE | Francesco Calzolai,
Rocco De Nicola,
Michele Loreti,
Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras.
T. Petri Nets and Other Models of Concurrency 1: 54-70 (2008) |
2007 |
4 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A Calculus for Orchestration of Web Services.
ESOP 2007: 33-47 |
3 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Regulating Data Exchange in Service Oriented Applications.
FSEN 2007: 223-239 |
2 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus.
ICTAC 2007: 275-290 |
2006 |
1 | EE | Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
A WSDL-Based Type System for WS-BPEL.
COORDINATION 2006: 145-163 |