GHEZZI, CARLO
GHEZZI, CARLO
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 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
Analyzing Mobile Code Languages
1997-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Picco, GIAN PIETRO; G., Vigna
Architectural Issues of Adaptive Pervasive Systems
2010-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches
2012-01-01 N. M., Calcavecchia; DI NITTO, Elisabetta; Dubois, DANIELE JOSEPH; Ghezzi, Carlo; Mazza, Valentina; Rossi, MATTEO GIOVANNI
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
2008-01-01 Ghezzi, Carlo; P., Inverardi; C., Montangero
Engineering Evolving and Self-Adaptive Systems: An Overview
2011-01-01 Ghezzi, Carlo
Evolution of Software Composition Mechanisms: A Survey
2008-01-01 Ghezzi, Carlo; Pacifici, Filippo
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Introduction in Lecture Notes in Computer Science, Methodologies and Technologies for Networked Enterprises
2012-01-01 Anastasi, G.; Bellini, E.; Di Nitto, E.; Ghezzi, C.; Tanca, L.; Zimeo, E.
Modeling and Validation of Publish/Subscribe Architectures
2005-01-01 Baresi, Luciano; Ghezzi, Carlo; Zanolin, Luca
On eclectic specification environments
1992-01-01 Ghezzi, Carlo; Mandrioli, Dino
Perpetual assurances for self-adaptive systems
2017-01-01 Weyns, Danny; Bencomo, Nelly; Calinescu, Radu; Camara, Javier; Ghezzi, Carlo; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean-Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Tamburrelli, Giordano
Procedural languages
2001-01-01 Ghezzi, Carlo
Process Programming in the Service Age: Old Problems and New Challenges
2011-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro
Reference Case Study, Lecture Notes in Computer Science
2012-01-01 Anastasi, Giuseppe; Bellini, Emilio; Di Nitto, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, Eugenio
RESTful service architectures for pervasive networking environments
2011-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
Run-Time Monitoring in Service-Oriented Architectures
2007-01-01 Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO
Software engineering for self-adaptive systems: research challenges in the provision of assurances
2017-01-01 de Lemos, Rogério; Garlan, David; Ghezzi, Carlo; Giese, Holger; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Weyns, Danny; Baresi, Luciano; Bencomo, Nelly; Brun, Yuriy; Camara, Javier; Calinescu, Radu; Cohen, Myra B.; Gorla, Alessandra; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean-Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Müller, Hausi A.; Rouvoy, Romain; Rubira, Cecília M. F.; Rutten, Eric; Shaw, Mary; Tamburrelli, Giordano; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Zambonelli, Franco