Search the dblp DataBase

Publications of Author

1. Séverine Colin, Leonardo Mariani
   Run-Time Verification. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:525-555 [Conf]
   
2. Reiko Heckel, Leonardo Mariani
   Automatic Conformance Testing of Web Services. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:34-48 [Conf]
   
3. 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]
   
4. Leonardo Mariani, Mauro Pezzè
   Behavior Capture and Test: Automated Analysis of Component Integration. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:292-301 [Conf]
   
5. Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
   An XML View of the "World". [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2003, pp:19-27 [Conf]
   
6. Leonardo Mariani
   Behavior Capture and Test for Verifying Evolving Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   ICSE, 2004, pp:78-80 [Conf]
   
7. 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]
   
8. Leonardo Mariani
   Fault-Tolerant Routing for P2P Systems with Unstructured Topology. [Citation Graph (0, 0)][DBLP]
   SAINT, 2005, pp:256-263 [Conf]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 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]
    
14. 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]
    
15. 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]
    
16. 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]
    
17. 
    A Formal Framework for Developing Adaptable Service-Based Applications. [Citation Graph (, )][DBLP]
    
    
18. 
    Automatic generation of software behavioral models. [Citation Graph (, )][DBLP]
    
    
19. 
    A toolset for automated failure analysis. [Citation Graph (, )][DBLP]
    
    
20. 
    In-field healing of integration problems with COTS components. [Citation Graph (, )][DBLP]
    
    
21. 
    Automated Identification of Failure Causes in System Logs. [Citation Graph (, )][DBLP]
    
    
22. 
    Towards Self-Protecting Enterprise Applications. [Citation Graph (, )][DBLP]
    
    
23. 
    AVA: automated interpretation of dynamically detected anomalies. [Citation Graph (, )][DBLP]
    
    
24. 
    Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP]
    
    
25. 
    ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Self-healing strategies for component integration faults. [Citation Graph (, )][DBLP]
    
    
27. 
    Automatic steering of behavioral model inference. [Citation Graph (, )][DBLP]
    
    
28. 
    Investigation of failure causes in workload-driven reliability testing. [Citation Graph (, )][DBLP]