Sfoglia per Autore
Digital Humanism: The Time is Now
2023-01-01 Werthner, H.; Stanger, A.; Schiaffonati, V.; Knees, P.; Hardman, L.; Ghezzi, C.
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems
2020-01-01 Tsigkanos, C.; Garriga, M.; Baresi, L.; Ghezzi, C.
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Software adaptation in wireless sensor networks
2018-01-01 Afanasov, Mikhail; Mottola, Luca; Ghezzi, Carlo
From model checking to a temporal proof for partial models
2017-01-01 Bernasconi, A.; Menghi, C.; Spoletini, P.; Zuck, L. D.; Ghezzi, C.
Efficient Dynamic Updates of Distributed Components Through Version Consistency
2017-01-01 Baresi, Luciano; Ghezzi, Carlo; Ma, Xiaoxing; Manna, Valerio Panzica La
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
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
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
Ariadne: topology aware adaptive security for cyber-physical systems
2015-01-01 Tsigkanos, Christos; Liliana, Pasquale; Ghezzi, Carlo; Bashar, Nuseibeh
Syntactic-semantic incrementality for agile verification
2015-01-01 Domenico, Bianculli; Antonio, Filieri; Ghezzi, Carlo; Mandrioli, Dino
ContextErlang: A language for distributed context-aware self-adaptive applications
2015-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Syntax-Driven Program Verification of Matching Logic Properties
2015-01-01 Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, ALESSANDRO MARIA
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
Topology Aware Adaptive Security
2014-01-01 Liliana, Pasquale; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Bashar, Nuseibeh
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications
2014-01-01 Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems
2014-01-01 Afanasov, Mikhail; Mottola, Luca; Ghezzi, Carlo
Towards the formalization of properties of cloud-based elastic systems
2014-01-01 Bersani, MARCELLO MARIA; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstic, Srdan
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo; Nuseibeh, Bashar
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
2014-01-01 Domenico, Bianculli; Antonio, Filieri; Ghezzi, Carlo; Mandrioli, Dino
Trace checking of metric temporal logic with aggregating modalities using MapReduce
2014-01-01 Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan
Team-level programming of drone sensor networks
2014-01-01 Mottola, Luca; Moretta, Mattia; Whitehouse, Kamin; Ghezzi, Carlo
SelfMotion: A declarative approach for adaptive service-oriented mobile applications
2014-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; Leandro Sales, Pinto; Giordano, Tamburrelli
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering
2014-01-01 Bersani, MARCELLO MARIA; Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Dependability Assessment of Web Service Orchestrations
2014-01-01 Salvatore, Distefano; Ghezzi, Carlo; GUINEA MONTALVO, SAM JESUS ALEJANDRO; Mirandola, Raffaela
Context-oriented programming for adaptive wireless sensor network software
2014-01-01 Afanasov, Mikhail; Mottola, Luca; Ghezzi, Carlo
On requirement verification for evolving Statecharts specifications
2014-01-01 Ghezzi, Carlo; Menghi, Claudio; Molzam Sharifloo, Amir; Spoletini, Paola
Optimizing Service Selection and Allocation in Situational Computing Applications
2013-01-01 Sandionigi, Chiara; Ardagna, Danilo; Cugola, Gianpaolo; Ghezzi, Carlo
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines
2013-01-01 Ghezzi, Carlo; MOLZAM SHARIFLOO, Amir
On requirements verification for model refinements
2013-01-01 Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola
Towards agile verification
2013-01-01 Ghezzi, Carlo; Sharifloo, Amir Molzam; Menghi, Claudio
An Analysis of Language-Level Support for Self-Adaptive Software
2013-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions
2013-01-01 Domenico, Bianculli; Ghezzi, Carlo; SAN PIETRO, Pierluigi
ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous NetworkingAdvanced Web Services
2013-01-01 Caporuscio, Mauro; Marco, Funaro; Ghezzi, Carlo; Valérie, Issarny
Reliability-driven Dynamic Binding via Feedback Control
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; M., Maggio
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
PACE: A data-flow coordination language for asynchronous network-based applications
2012-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
DSOL: a declarative approach to self-adaptive service orchestrations
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro
ContextErlang: introducing context-oriented programming in the actor model
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Adaptive Service-Oriented Mobile Applications: A Declarative Approach
2012-01-01 Cugola, Gianpaolo; Ghezzi, Carlo; SALES HOLANDA PINTO, Leandro; Tamburrelli, Giordano
A formal approach to adaptive software: Continuous assurance of non-functional requirements
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Context-oriented programming: A software engineering perspective
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
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
Behavioral validation of JFSL specifications through model synthesis
2012-01-01 Ghezzi, Carlo; Mocci, Andrea
Specification patterns from research to industry: A case study in service-based applications2012 34th International Conference on Software Engineering (ICSE)
2012-01-01 Domenico, Bianculli; Ghezzi, Carlo; Cesare, Pautasso; Patrick, Senti
A quality driven extension to the QVT-relations transformation language
2012-01-01 Drago, MAURO LUIGI; Ghezzi, Carlo; Mirandola, Raffaela
“Preface” 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.
Methodologies and Technologies for Networked Enterprises
2012-01-01 Anastasi, G.; Bellini, E.; DI NITTO, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, E.
Resource-oriented middleware abstractions for pervasive computing
2012-01-01 Caporuscio, Mauro; Funaro, Marco; Ghezzi, Carlo
Reference Case Study, Lecture Notes in Computer Science
2012-01-01 Anastasi, Giuseppe; Bellini, Emilio; Di Nitto, Elisabetta; Ghezzi, Carlo; Tanca, Letizia; Zimeo, Eugenio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile