GHEZZI, CARLO

GHEZZI, CARLO  

Mostra records
Risultati 1 - 20 di 108 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autori File
A Characterization of Mobility and State Distribution in Mobile Code Languages 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLOPICCO, GIAN PIETRO +
A compositional method for reliability analysis of workflows affected by multiple failure modes 1-gen-2011 DISTEFANO, SALVATOREFILIERI, ANTONIOGHEZZI, CARLOMIRANDOLA, RAFFAELA
A Framework for Testing Object-Oriented Components 1-gen-1999 GHEZZI, CARLO +
A hybrid approach (syntactic and textual) to clone detection 1-gen-2010 FUNARO, MARCOBRAGA, DANIELE MARIACAMPI, ALESSANDROGHEZZI, CARLO
A Model Checking Approach to Verify BPEL4WS Workflows 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLOSPOLETINI, PAOLA
A proposal for a new software reliability model and its preliminary assessment 1-gen-1986 BITTANTI, SERGIOBOLZERN, PAOLO GIUSEPPE EMILIOGHEZZI, CARLOSCATTOLINI, RICCARDO
A Timed Extension of WSCoL 1-gen-2007 BARESI, LUCIANOBIANCULLI, DOMENICOGHEZZI, CARLOGUINEA MONTALVO, SAM JESUS ALEJANDROSPOLETINI, PAOLA
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 1-gen-2012 CUGOLA, GIANPAOLOGHEZZI, CARLOSALES HOLANDA PINTO, LEANDROTAMBURRELLI, GIORDANO
An Approach to Model and Validate Publish/Subscribe Architectures 1-gen-2003 BARESI, LUCIANOGHEZZI, CARLOZANOLIN, LUCA
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 1-gen-2010 COMI, MARCOCRESPI REGHIZZI, STEFANOGHEZZI, CARLO +
Anquiro: Enabling Efficient Static Verification of Sensor Network Software 1-gen-2010 MOTTOLA, LUCABARESI, LUCIANOGHEZZI, CARLO +
Ariadne: topology aware adaptive security for cyber-physical systems 1-gen-2015 TSIGKANOS, CHRISTOSGHEZZI, CARLO +
Automated Dynamic Maintenance of Composite Services based on Service Reputation 1-gen-2007 BIANCULLI, DOMENICOGHEZZI, CARLO +
Automatic Cross Validation of Multiple Specifications: A Case Study 1-gen-2010 GHEZZI, CARLOMOCCI, ANDREASALVANESCHI, GUIDO
Behavior Model Based Component Search: An Initial Assessment 1-gen-2010 GHEZZI, CARLOMOCCI, ANDREA
Behavioral validation of JFSL specifications through model synthesis 1-gen-2012 GHEZZI, CARLOMOCCI, ANDREA
Change-point detection for black-box services 1-gen-2010 EPIFANI, ILENIAGHEZZI, CARLOTAMBURRELLI, GIORDANO
Choosing a Software Architecture: An Approach and a Case Study 1-gen-2008 GHEZZI, CARLOTAMBURRELLI, GIORDANO
CJava: Introducing concurrent objects in Java 1-gen-1997 CUGOLA, GIANPAOLOGHEZZI, CARLO
Computational REST Meets Erlang 1-gen-2011 SIVIERI, ALESSANDROCUGOLA, GIANPAOLOGHEZZI, CARLO