MARIANI, LEONARDO
MARIANI, LEONARDO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Agent Reactive Component for SMART
2002 Mariani, L; Merelli, E
An Agent-Based Layered Middleware as Tool Integration
2003 Corradini, F; Mariani, L; Merelli, E
Designing Modular Agent Systems
2003 Bonura, D; Mariani, L; Morelli, E
Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems
2003 Mariani, L; Pezze', M
A Programming Environment for Global Activity-Based Applications
2003 Corradini, F; Mariani, L; Merelli, E
A fault taxonomy for component-based software
2003 Mariani, L
Self-test components for highly reconfigurable systems
2003 Denaro, G; Mariani, L; Pezze', M
An XML View of the World
2003 Bartocci, E; Mariani, L; Merelli, E
Component Integration Testing by Graph Transformations
2004 Mariani, L; Heckel, R
Behavior Capture and Test for Verifying Evolving Component-Based Systems
2004 Mariani, L
An agent-based approach to tool integration
2004 Corradini, F; Mariani, L; Merelli, E
Dependability in Peer-to-Peer Systems
2004 DE PAOLI, F; Mariani, L
Generation of integration tests for self-testing components
2004 Mariani, L; Pezze', M; Willmor, D
Behavior Capture and Test: Dynamic Analysis of Component-Based Systems}
2005 Mariani, L
Behavior Capture and Test: Automated Analysis of Component Integration
2005 Mariani, L; Pezze', M
Automatic Conformance Testing of Web Services
2005 Heckel, R; Mariani, L
Adaptive Runtime Verification for Autonomic Communication Infrastructures
2005 Denaro, G; Mariani, L; Pezze', M; Tosi, D
Run-Time Verification
2005 Colin, S; Mariani, L
A Technique for Verifying Component-Based Software
2005 Mariani, L; Pezze', M
Towards Testing and Analysis of Systems that Use Serialization
2005 Mariani, L; Denaro, G