MARIANI, LEONARDO

MARIANI, LEONARDO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 165 (tempo di esecuzione: 0.026 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Agent Reactive Component for SMART 02 - Intervento a convegno 2002 MARIANI, LEONARDO +
A Programming Environment for Global Activity-Based Applications 02 - Intervento a convegno 2003 MARIANI, LEONARDO +
An Agent-Based Layered Middleware as Tool Integration 02 - Intervento a convegno 2003 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 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 +
Self-test components for highly reconfigurable systems 01 - Articolo su rivista 2003 DENARO, GIOVANNIMARIANI, LEONARDOPEZZE', MAURO
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 +
Dependability in Peer-to-Peer Systems 01 - Articolo su rivista 2004 DE PAOLI, FLAVIO MARIAMARIANI, LEONARDO
Behavior Capture and Test for Verifying Evolving Component-Based Systems 02 - Intervento a convegno 2004 MARIANI, LEONARDO
Generation of integration tests for self-testing components 02 - Intervento a convegno 2004 MARIANI, LEONARDOPEZZE', MAURO +
A Technique for Verifying Component-Based Software 01 - Articolo su rivista 2005 MARIANI, LEONARDOPEZZE', MAURO
Run-Time Verification 03 - Contributo in libro 2005 MARIANI, LEONARDO +
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
Automatic Conformance Testing of Web Services 02 - Intervento a convegno 2005 MARIANI, LEONARDO +