| 2008 |
|---|
| 21 | EE | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 20 | EE | Davide Lorenzoli,
Leonardo Mariani,
Mauro Pezzè:
Automatic generation of software behavioral models.
ICSE 2008: 501-510 |
| 2007 |
|---|
| 19 | EE | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 18 | EE | Leonardo Mariani,
Sofia Papagiannakis,
Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE 2007: 85-95 |
| 17 | EE | Marc Lohmann,
Leonardo Mariani,
Reiko Heckel:
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.
Test and Analysis of Web Services 2007: 173-204 |
| 16 | EE | Leonardo Mariani,
Mauro Pezzè:
Dynamic Detection of COTS Component Incompatibility.
IEEE Software 24(5): 76-85 (2007) |
| 2005 |
|---|
| 15 | EE | Reiko Heckel,
Leonardo Mariani:
Automatic Conformance Testing of Web Services.
FASE 2005: 34-48 |
| 14 | EE | Leonardo Mariani,
Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration.
ICECCS 2005: 292-301 |
| 13 | EE | Leonardo Mariani:
Fault-Tolerant Routing for P2P Systems with Unstructured Topology.
SAINT 2005: 256-263 |
| 12 | EE | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè,
Davide Tosi:
Adaptive Runtime Verification for Autonomic Communication Infrastructures.
WOWMOM 2005: 553-557 |
| 11 | EE | Leonardo Mariani,
Mauro Pezzè:
A Technique for Verifying Component-Based Software.
Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005) |
| 10 | EE | Giovanni Denaro,
Leonardo Mariani:
Towards Testing and Analysis of Systems that Use Serialization.
Electr. Notes Theor. Comput. Sci. 116: 171-184 (2005) |
| 2004 |
|---|
| 9 | EE | Leonardo Mariani,
Mauro Pezzè,
David Willmor:
Generation of Integration Tests for Self-Testing Components.
FORTE Workshops 2004: 337-350 |
| 8 | EE | Leonardo Mariani:
Behavior Capture and Test for Verifying Evolving Component-Based Systems.
ICSE 2004: 78-80 |
| 7 | EE | Séverine Colin,
Leonardo Mariani:
Run-Time Verification.
Model-Based Testing of Reactive Systems 2004: 525-555 |
| 6 | EE | Flavio De Paoli,
Leonardo Mariani:
Dependability in Peer-to-Peer Systems.
IEEE Internet Computing 8(4): 54-61 (2004) |
| 5 | EE | Flavio Corradini,
Leonardo Mariani,
Emanuela Merelli:
An agent-based approach to tool integration.
STTT 6(3): 231-244 (2004) |
| 2003 |
|---|
| 4 | | Ezio Bartocci,
Emanuela Merelli,
Leonardo Mariani:
An XML View of the "World".
ICEIS (1) 2003: 19-27 |
| 3 | | Flavio Corradini,
Leonardo Mariani,
Emanuela Merelli:
A Programming Environment for Global Activity-based Applications.
WOA 2003: 163-169 |
| 2 | EE | Leonardo Mariani:
A Fault Taxonomy for Component-Based Software.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 1 | EE | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
