The SCEAS System
Navigation Menu

Search the dblp DataBase


Leonardo Mariani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002