| * | 2009 |
|---|
| 4 | EE | João Abreu,
Franco Mazzanti,
José Luiz Fiadeiro,
Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures.
FMOODS/FORTE 2009: 219-224 |
| 2008 |
|---|
| 3 | EE | João Abreu,
José Luiz Fiadeiro:
A Coordination Model for Service-Oriented Interactions.
COORDINATION 2008: 1-16 |
| 2007 |
|---|
| 2 | EE | João Abreu,
Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
FORTE 2007: 358-373 |
| 2006 |
|---|
| 1 | EE | Isabel Nunes,
Antónia Lopes,
Vasco Thudichum Vasconcelos,
João Abreu,
Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications.
ICFEM 2006: 494-513 |
