The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carlo Ghezzi" ( http://dblp.L3S.de/Authors/Carlo_Ghezzi )

URL (Homepage):  http://home.dei.polimi.it/ghezzi/  Author page on DBLP  Author page in RDF  Community of Carlo Ghezzi in ASPL-2

Publication years (Num. hits)
1975-1987 (17) 1989-1992 (16) 1993-1996 (16) 1997-2001 (16) 2002-2005 (16) 2006-2007 (22) 2008-2009 (18) 2010 (18) 2011 (20) 2012 (26) 2013 (19) 2014 (21) 2015-2016 (23) 2017-2018 (17) 2019 (7)
Publication types (Num. hits)
article(84) book(7) incollection(11) inproceedings(164) proceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 123 occurrences of 99 keywords

Results
Found 273 publication records. Showing 272 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli Perpetual Assurances for Self-Adaptive Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger Specification Patterns for Robotic Missions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi A verification-driven framework for iterative design of controllers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos Formal Methods in Designing Critical Cyber-Physical Systems. Search on Bibsonomy From Software Engineering to Formal Methods and Tools, and Back The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi POET: Privacy on the Edge with Bidirectional Data Transformations. Search on Bibsonomy PerCom The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi Inferring analyzable models from trajectories of spatially-distributed internet of things. Search on Bibsonomy SEAMS@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao Modelling and analysing resilient cyber-physical systems. Search on Bibsonomy SEAMS@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikhail Afanasov, Luca Mottola, Carlo Ghezzi Software Adaptation in Wireless Sensor Networks. Search on Bibsonomy TAAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh On the Interplay Between Cyber and Physical Spaces for Adaptive Security. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Formal Methods and Agile Development: Towards a Happy Marriage. Search on Bibsonomy The Essence of Software Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi Modeling and Verification of Evolving Cyber-Physical Spaces. Search on Bibsonomy Software Engineering The full citation details ... 2018 DBLP  BibTeX  RDF
1Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi Property specification patterns for robotic missions. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi On early statistical requirements validation of cyber-physical space systems. Search on Bibsonomy SEsCPS@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi Supporting Verification-Driven Incremental Distributed Design of Components. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Of software and change. Search on Bibsonomy Journal of Software: Evolution and Process The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh Topology-Aware Access Control of Smart Spaces. Search on Bibsonomy IEEE Computer The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna Efficient Dynamic Updates of Distributed Components Through Version Consistency. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anna Bernasconi 0002, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi From model checking to a temporal proof for partial models: preliminary example. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Chen Luo, Fei He 0001, Carlo Ghezzi Inferring software behavioral models with MapReduce. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese (eds.) Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Carlo Ghezzi Integrating Goal Model Analysis with Iterative Design. Search on Bibsonomy REFSQ The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Carlo Ghezzi COVER: Change-based Goal Verifier and Reasoner. Search on Bibsonomy REFSQ Workshops The full citation details ... 2017 DBLP  BibTeX  RDF
1Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi Modeling and verification of evolving cyber-physical spaces. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anna Bernasconi 0002, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi From Model Checking to a Temporal Proof for Partial Models. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Carlo Ghezzi Modeling, refining and analyzing Incomplete Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi An EMOF-Compliant Abstract Syntax for Bigraphs. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi Architecting dynamic cyber-physical spaces. Search on Bibsonomy Computing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Menghi, Paola Spoletini, Carlo Ghezzi Dealing with Incompleteness in Automata-Based Model Checking. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikhail Afanasov, Luca Mottola, Carlo Ghezzi Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. Search on Bibsonomy EWSN The full citation details ... 2016 DBLP  BibTeX  RDF
1Carlo Ghezzi Dependability of Adaptable and Evolvable Distributed Systems. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh Adding static and dynamic semantics to building information models. Search on Bibsonomy SEsCPS@ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro Efficient large-scale trace checking using mapreduce. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola A quality driven extension to the QVT-relations transformation language. Search on Bibsonomy Computer Science - R&D The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli Performance-driven dynamic service selection. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro Efficient Large-scale Trace Checking Using MapReduce. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Xiangyang Jia, Carlo Ghezzi, Shi Ying Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mauro Caporuscio, Carlo Ghezzi Engineering Future Internet applications: The Prime approach. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella ContextErlang: A language for distributed context-aware self-adaptive applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli Syntactic-semantic incrementality for agile verification. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xiangyang Jia, Carlo Ghezzi, Shi Ying Enhancing reuse of constraint solutions to improve symbolic execution. Search on Bibsonomy ISSTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001, Carlo Ghezzi Inferring Software Behavioral Models with MapReduce. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. Search on Bibsonomy MiSE@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. Search on Bibsonomy ICSE (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi Syntax-Driven Program Verification of Matching Logic Properties. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov Automatically identifying focal methods under test in unit test cases. Search on Bibsonomy SCAM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salvatore Distefano, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola Dependability Assessment of Web Service Orchestrations. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini On requirement verification for evolving Statecharts specifications. Search on Bibsonomy Requir. Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Srdan Krstic Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro Offline Trace Checking of Quantitative Properties of Service-Based Applications. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli SelfMotion: A declarative approach for adaptive service-oriented mobile applications. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Marco Funaro, Carlo Ghezzi, Valérie Issarny ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking. Search on Bibsonomy Advanced Web Services The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. Search on Bibsonomy LASER Summer School The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi Team-level programming of drone sensor networks. Search on Bibsonomy SenSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Search on Bibsonomy Software Engineering The full citation details ... 2014 DBLP  BibTeX  RDF
1Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. Search on Bibsonomy ISoLA (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh Engineering topology aware adaptive security: Preventing requirements violations at runtime. Search on Bibsonomy RE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Ghafari, Carlo Ghezzi, Andrea Mocci, Giordano Tamburrelli Mining unit tests for code recommendation. Search on Bibsonomy ICPC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikhail Afanasov, Luca Mottola, Carlo Ghezzi Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikhail Afanasov, Luca Mottola, Carlo Ghezzi Context-Oriented Programming for Adaptive Wireless Sensor Network Software. Search on Bibsonomy DCOSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro Offline Trace Checking of Quantitative Properties of Service-Based Applications. Search on Bibsonomy SOCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh Topology aware adaptive security. Search on Bibsonomy SEAMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli Mining behavior models from user-intensive web applications. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic Towards the formalization of properties of cloud-based elastic systems. Search on Bibsonomy PESOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Srdan Krstic Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro SMT-Based Checking of SOLOIST over Sparse Traces. Search on Bibsonomy FASE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi A journey through SMScom: self-managing situational computing. Search on Bibsonomy Computer Science - R&D The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chiara Sandionigi, Danilo Ardagna, Gianpaolo Cugola, Carlo Ghezzi Optimizing Service Selection and Allocation in Situational Computing Applications. Search on Bibsonomy IEEE Trans. Services Computing The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella An Analysis of Language-Level Support for Self-Adaptive Software. Search on Bibsonomy TAAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay Verification for Reliable Product Lines. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli A Syntactic-Semantic Approach to Incremental Verification Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlo Ghezzi, Amir Molzam Sharifloo Model-based verification of quantitative non-functional properties for software product lines. Search on Bibsonomy Information & Software Technology The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Robert B. France, Carlo Ghezzi Editorial. Search on Bibsonomy Computing The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds.) Assurances for Self-Adaptive Systems - Principles, Models, and Techniques Search on Bibsonomy 2013 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli Adaptive REST applications via model inference and probabilistic model checking. Search on Bibsonomy IM The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikhail Afanasov, Luca Mottola, Carlo Ghezzi Towards context-oriented programming in wireless sensor networks. Search on Bibsonomy UbiComp (Adjunct Publication) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel 0001, Franco Zambonelli Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli Perpetual Assurances for Self-Adaptive Systems. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Mottola, Kamin Whitehouse, Carlo Ghezzi Towards spatial macroprogramming for sensing and actuating robot swarms. Search on Bibsonomy SenSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli Improving Interaction with Services via Probabilistic Piggybacking. Search on Bibsonomy ICSOC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini On requirements verification for model refinements. Search on Bibsonomy RE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi Towards Agile Verification. Search on Bibsonomy Perspectives on the Future of Software Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner Formalizing correctness criteria of dynamic updates derived from specification changes. Search on Bibsonomy SEAMS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli Managing non-functional uncertainty via model-driven adaptivity. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola Self-adaptive software needs quantitative verification at runtime. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella Context-oriented programming: A software engineering perspective. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli A formal approach to adaptive software: continuous assurance of non-functional requirements. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto DSOL: a declarative approach to self-adaptive service orchestrations. Search on Bibsonomy Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo Reference Case Study. Search on Bibsonomy ArtDeco The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nicolò Maria Calcavecchia, Elisabetta Di Nitto, Daniel J. Dubois, Carlo Ghezzi, Valentina Mazza, Matteo Rossi Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. Search on Bibsonomy ArtDeco The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo (eds.) Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations Search on Bibsonomy 2012 DBLP  DOI  BibTeX  RDF
1Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo Introduction. Search on Bibsonomy ArtDeco The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Search on Bibsonomy Conquering Complexity The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. Search on Bibsonomy CCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli Adaptive Service-Oriented Mobile Applications: A Declarative Approach. Search on Bibsonomy ICSOC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi Dealing with changes in service orchestrations. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Evolution, Adaptation, and the Quest for Incrementality. Search on Bibsonomy Monterey Workshop The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 272 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license