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 control-theoretic approach to self-adaptive systems and an application to cloud-based software
2015-01-01 Ghezzi, Carlo; Gibilisco, GIOVANNI PAOLO; Menghi, Claudio; Miglierina, Marco
A formal approach to adaptive software: Continuous assurance of non-functional requirements
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems
1996-01-01 Cugola, Gianpaolo; DI NITTO, Elisabetta; Fuggetta, Alfonso; Ghezzi, Carlo
A Framework for Testing Object-Oriented Components
1999-01-01 Buy, U.; Ghezzi, Carlo; Pezze', M.; Valsasna, M.
A Framework for the Deployment of Adaptable Web Service Compositions
2007-01-01 Baresi, Luciano; DI NITTO, Elisabetta; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
2008-01-01 Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola; Baresi, Luciano; GUINEA MONTALVO, SAM JESUS ALEJANDRO
A hybrid approach (syntactic and textual) to clone detection
2010-01-01 Funaro, Marco; Braga, DANIELE MARIA; Campi, Alessandro; Ghezzi, Carlo
A journey to highly dynamic, self-adaptive service-based applications
2008-01-01 DI NITTO, Elisabetta; Ghezzi, Carlo; A., Metzger; M., Papazoglou; K., Pohl
A Model Checking Approach to Verify BPEL4WS Workflows
2007-01-01 Bianculli, Domenico; Ghezzi, Carlo; Spoletini, Paola
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
A Peer-to-Peer Middleware for Mobile Teamwork
2003-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Picco, GIAN PIETRO
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 quality driven extension to the QVT-relations transformation language
2012-01-01 Drago, MAURO LUIGI; Ghezzi, Carlo; Mirandola, Raffaela
A Survey and Assessment of Software Process Representation Formalisms
1993-01-01 P., Armenise; S., Bandinelli; Ghezzi, Carlo; Morzenti, ANGELO CARLO
A Timed Extension of WSCoL
2007-01-01 Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Spoletini, Paola
A Unified High-level Petri Net Model for Time Critical Systems
1991-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morasca, S.; Pezze', M.
Adaptive Service-Oriented Mobile Applications: A Declarative Approach
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro; Tamburrelli, Giordano
An Analysis of Language-Level Support for Self-Adaptive Software
2013-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo