|
Search the dblp DataBase
Leonardo Mariani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Séverine Colin, Leonardo Mariani
Run-Time Verification. [Citation Graph (0, 0)][DBLP] Model-Based Testing of Reactive Systems, 2004, pp:525-555 [Conf]
- Reiko Heckel, Leonardo Mariani
Automatic Conformance Testing of Web Services. [Citation Graph (0, 0)][DBLP] FASE, 2005, pp:34-48 [Conf]
- Leonardo Mariani, Mauro Pezzè, David Willmor
Generation of Integration Tests for Self-Testing Components. [Citation Graph (0, 0)][DBLP] FORTE Workshops, 2004, pp:337-350 [Conf]
- Leonardo Mariani, Mauro Pezzè
Behavior Capture and Test: Automated Analysis of Component Integration. [Citation Graph (0, 0)][DBLP] ICECCS, 2005, pp:292-301 [Conf]
- Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
An XML View of the "World". [Citation Graph (0, 0)][DBLP] ICEIS (1), 2003, pp:19-27 [Conf]
- Leonardo Mariani
Behavior Capture and Test for Verifying Evolving Component-Based Systems. [Citation Graph (0, 0)][DBLP] ICSE, 2004, pp:78-80 [Conf]
- Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè
Compatibility and Regression Testing of COTS-Component-Based Software. [Citation Graph (0, 0)][DBLP] ICSE, 2007, pp:85-95 [Conf]
- Leonardo Mariani
Fault-Tolerant Routing for P2P Systems with Unstructured Topology. [Citation Graph (0, 0)][DBLP] SAINT, 2005, pp:256-263 [Conf]
- Flavio Corradini, Leonardo Mariani, Emanuela Merelli
A Programming Environment for Global Activity-based Applications. [Citation Graph (0, 0)][DBLP] WOA, 2003, pp:163-169 [Conf]
- Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
Adaptive Runtime Verification for Autonomic Communication Infrastructures. [Citation Graph (0, 0)][DBLP] WOWMOM, 2005, pp:553-557 [Conf]
- Giovanni Denaro, Leonardo Mariani
Towards Testing and Analysis of Systems that Use Serialization. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:171-184 [Journal]
- Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
Self-Test Components for Highly Reconfigurable Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
- Leonardo Mariani
A Fault Taxonomy for Component-Based Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
- Leonardo Mariani, Mauro Pezzè
A Technique for Verifying Component-Based Software. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:17-30 [Journal]
- Flavio De Paoli, Leonardo Mariani
Dependability in Peer-to-Peer Systems. [Citation Graph (0, 0)][DBLP] IEEE Internet Computing, 2004, v:8, n:4, pp:54-61 [Journal]
- Flavio Corradini, Leonardo Mariani, Emanuela Merelli
An agent-based approach to tool integration. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:6, n:3, pp:231-244 [Journal]
A Formal Framework for Developing Adaptable Service-Based Applications. [Citation Graph (, )][DBLP]
Automatic generation of software behavioral models. [Citation Graph (, )][DBLP]
A toolset for automated failure analysis. [Citation Graph (, )][DBLP]
In-field healing of integration problems with COTS components. [Citation Graph (, )][DBLP]
Automated Identification of Failure Causes in System Logs. [Citation Graph (, )][DBLP]
Towards Self-Protecting Enterprise Applications. [Citation Graph (, )][DBLP]
AVA: automated interpretation of dynamically detected anomalies. [Citation Graph (, )][DBLP]
Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP]
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. [Citation Graph (, )][DBLP]
Self-healing strategies for component integration faults. [Citation Graph (, )][DBLP]
Automatic steering of behavioral model inference. [Citation Graph (, )][DBLP]
Investigation of failure causes in workload-driven reliability testing. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|