GHEZZI, CARLO
GHEZZI, CARLO
A Characterization of Mobility and State Distribution in Mobile Code Languages
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Picco, GIAN PIETRO; G., Vigna
A compositional method for reliability analysis of workflows affected by multiple failure modes
2011-01-01 Distefano, Salvatore; Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela
A Framework for Testing Object-Oriented Components
1999-01-01 Buy, U.; Ghezzi, Carlo; Pezze', M.; Valsasna, M.
A hybrid approach (syntactic and textual) to clone detection
2010-01-01 Funaro, Marco; Braga, DANIELE MARIA; Campi, Alessandro; Ghezzi, Carlo
A Model Checking Approach to Verify BPEL4WS Workflows
2007-01-01 Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola
A proposal for a new software reliability model and its preliminary assessment
1986-01-01 Bittanti, Sergio; Bolzern, PAOLO GIUSEPPE EMILIO; Ghezzi, Carlo; Scattolini, Riccardo
A Timed Extension of WSCoL
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
Adaptive Service-Oriented Mobile Applications: A Declarative Approach
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro; Tamburrelli, Giordano
An Approach to Model and Validate Publish/Subscribe Architectures
2003-01-01 Baresi, Luciano; Ghezzi, Carlo; Zanolin, Luca
An Empirical Investigation Into Large-Scale Java Open Source Code Repository
2010-01-01 M., Grechanik; C., Mcmillan; L., De Ferrari; Comi, Marco; CRESPI REGHIZZI, Stefano; D., Poshyvanyk; C., Fu; Q., Xie; Ghezzi, Carlo
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Anquiro: Enabling Efficient Static Verification of Sensor Network Software
2010-01-01 Mottola, Luca; Thiemo, Voigt; Fredrik, Osterlind; Joakim, Eriksson; Baresi, Luciano; Ghezzi, Carlo
Ariadne: topology aware adaptive security for cyber-physical systems
2015-01-01 Tsigkanos, Christos; Liliana, Pasquale; Ghezzi, Carlo; Bashar, Nuseibeh
Automated Dynamic Maintenance of Composite Services based on Service Reputation
2007-01-01 Bianculli, Domenico; R., Jorca; W., Binder; Ghezzi, Carlo; B., Faltings
Automatic Cross Validation of Multiple Specifications: A Case Study
2010-01-01 Ghezzi, Carlo; Mocci, Andrea; Salvaneschi, Guido
Behavior Model Based Component Search: An Initial Assessment
2010-01-01 Ghezzi, Carlo; Mocci, Andrea
Behavioral validation of JFSL specifications through model synthesis
2012-01-01 Ghezzi, Carlo; Mocci, Andrea
Change-point detection for black-box services
2010-01-01 Epifani, Ilenia; Ghezzi, Carlo; Tamburrelli, Giordano
Choosing a Software Architecture: An Approach and a Case Study
2008-01-01 Ghezzi, Carlo; Tamburrelli, Giordano
CJava: Introducing concurrent objects in Java
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo