 | 2009 |
| 29 |  | David Lo,
Leonardo Mariani,
Mauro Pezzè:
Automatic steering of behavioral model inference.
ESEC/SIGSOFT FSE 2009: 345-354 |
| 28 |  | Hervé Chang,
Leonardo Mariani,
Mauro Pezzè:
In-field healing of integration problems with COTS components.
ICSE 2009: 166-176 |
| 27 |  | Leonardo Mariani,
Fabrizio Pastore,
Mauro Pezzè:
A toolset for automated failure analysis.
ICSE 2009: 563-566 |
| 26 |  | Anton Babenko,
Leonardo Mariani,
Fabrizio Pastore:
AVA: automated interpretation of dynamically detected anomalies.
ISSTA 2009: 237-248 |
| 2008 |
| 25 |  | Mauro Caporuscio,
Antinisca Di Marco,
Leonardo Mariani,
Henry Muccini,
Andrea Polini,
Onn Shehory:
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.
ASE 2008: 529-530 |
| 24 |  | Hervé Chang,
Leonardo Mariani,
Mauro Pezzè:
Self-healing strategies for component integration faults.
ASE Workshops 2008: 25-32 |
| 23 |  | Leen Lambers,
Leonardo Mariani,
Hartmut Ehrig,
Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE 2008: 392-406 |
| 22 |  | Davide Lorenzoli,
Leonardo Mariani,
Mauro Pezzè:
Automatic generation of software behavioral models.
ICSE 2008: 501-510 |
| 21 |  | Leonardo Mariani,
Fabrizio Pastore:
Automated Identification of Failure Causes in System Logs.
ISSRE 2008: 117-126 |
| 2007 |
| 20 |  | Leen Lambers,
Hartmut Ehrig,
Leonardo Mariani,
Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications.
ASE 2007: 453-456 |
| 19 |  | Leonardo Mariani,
Sofia Papagiannakis,
Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE 2007: 85-95 |
| 18 |  | Domenico Cotroneo,
Roberto Pietrantuono,
Leonardo Mariani,
Fabrizio Pastore:
Investigation of failure causes in workload-driven reliability testing.
SOQUA 2007: 78-85 |
| 17 |  | 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 |  | Leonardo Mariani,
Mauro Pezzè:
Dynamic Detection of COTS Component Incompatibility.
IEEE Software 24(5): 76-85 (2007) |
| 2005 |
| 15 |  | Reiko Heckel,
Leonardo Mariani:
Automatic Conformance Testing of Web Services.
FASE 2005: 34-48 |
| 14 |  | Leonardo Mariani,
Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration.
ICECCS 2005: 292-301 |
| 13 |  | Leonardo Mariani:
Fault-Tolerant Routing for P2P Systems with Unstructured Topology.
SAINT 2005: 256-263 |
| 12 |  | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè,
Davide Tosi:
Adaptive Runtime Verification for Autonomic Communication Infrastructures.
WOWMOM 2005: 553-557 |
| 11 |  | Leonardo Mariani,
Mauro Pezzè:
A Technique for Verifying Component-Based Software.
Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005) |
| 10 |  | Giovanni Denaro,
Leonardo Mariani:
Towards Testing and Analysis of Systems that Use Serialization.
Electr. Notes Theor. Comput. Sci. 116: 171-184 (2005) |
| 2004 |
| 9 |  | Leonardo Mariani,
Mauro Pezzè,
David Willmor:
Generation of Integration Tests for Self-Testing Components.
FORTE Workshops 2004: 337-350 |
| 8 |  | Leonardo Mariani:
Behavior Capture and Test for Verifying Evolving Component-Based Systems.
ICSE 2004: 78-80 |
| 7 |  | Séverine Colin,
Leonardo Mariani:
Run-Time Verification.
Model-Based Testing of Reactive Systems 2004: 525-555 |
| 6 |  | Flavio De Paoli,
Leonardo Mariani:
Dependability in Peer-to-Peer Systems.
IEEE Internet Computing 8(4): 54-61 (2004) |
| 5 |  | 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 |  | Leonardo Mariani:
A Fault Taxonomy for Component-Based Software.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 1 |  | Giovanni Denaro,
Leonardo Mariani,
Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |