MARIANI, LEONARDO

MARIANI, LEONARDO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 180 (tempo di esecuzione: 0.021 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Agent Reactive Component for SMART 02 - Intervento a convegno 2002 MARIANI, LEONARDO +
Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems 02 - Intervento a convegno 2003 MARIANI, LEONARDOPEZZE', MAURO
Designing Modular Agent Systems 02 - Intervento a convegno 2003 MARIANI, LEONARDO +
A Programming Environment for Global Activity-Based Applications 02 - Intervento a convegno 2003 MARIANI, LEONARDO +
Self-test components for highly reconfigurable systems 01 - Articolo su rivista 2003 DENARO, GIOVANNIMARIANI, LEONARDOPEZZE', MAURO
A fault taxonomy for component-based software 01 - Articolo su rivista 2003 MARIANI, LEONARDO
An XML View of the World 02 - Intervento a convegno 2003 MARIANI, LEONARDO +
An Agent-Based Layered Middleware as Tool Integration 02 - Intervento a convegno 2003 MARIANI, LEONARDO +
Component Integration Testing by Graph Transformations 02 - Intervento a convegno 2004 MARIANI, LEONARDO +
An agent-based approach to tool integration 01 - Articolo su rivista 2004 MARIANI, LEONARDO +
Behavior Capture and Test for Verifying Evolving Component-Based Systems 02 - Intervento a convegno 2004 Mariani, L
Dependability in Peer-to-Peer Systems 01 - Articolo su rivista 2004 DE PAOLI, FLAVIO MARIAMARIANI, LEONARDO
Generation of integration tests for self-testing components 02 - Intervento a convegno 2004 MARIANI, LEONARDOPEZZE', MAURO +
Behavior Capture and Test: Dynamic Analysis of Component-Based Systems} 09 - Tesi di dottorato 2005 MARIANI, LEONARDO
Run-Time Verification 03 - Contributo in libro 2005 MARIANI, LEONARDO +
A Technique for Verifying Component-Based Software 01 - Articolo su rivista 2005 MARIANI, LEONARDOPEZZE', MAURO
Behavior Capture and Test: Automated Analysis of Component Integration 02 - Intervento a convegno 2005 MARIANI, LEONARDOPEZZE', MAURO
Towards Testing and Analysis of Systems that Use Serialization 01 - Articolo su rivista 2005 MARIANI, LEONARDODENARO, GIOVANNI
Adaptive Runtime Verification for Autonomic Communication Infrastructures 02 - Intervento a convegno 2005 DENARO, GIOVANNIMARIANI, LEONARDOPEZZE', MAURO +
Fault-Tolerant Routing for P2P Systems with Unstructured Topology 02 - Intervento a convegno 2005 MARIANI, LEONARDO