


default search action
Carlo Ghezzi
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j78]Hannes Werthner
, Allison Stanger
, Viola Schiaffonati
, Peter Knees
, Lynda Hardman
, Carlo Ghezzi
:
Digital Humanism: The Time Is Now. Computer 56(1): 138-142 (2023) - [c172]Luciano Baresi
, Chiara Criscuolo, Carlo Ghezzi:
Understanding Fairness Requirements for ML-based Software. RE 2023: 341-346 - 2022
- [p12]Carlo Ghezzi:
Should We Rethink How We Do Research? Perspectives on Digital Humanism 2022: 323-327 - [e11]Hannes Werthner, Erich Prem
, Edward A. Lee, Carlo Ghezzi:
Perspectives on Digital Humanism. Springer 2022, ISBN 978-3-030-86143-8 [contents] - 2021
- [j77]Carlo Ghezzi:
Science needs to engage with society: some lessons from COVID-19. Commun. ACM 64(8): 36-38 (2021) - [j76]Alberto Pispero
, Marco Marcon
, Carlo Ghezzi, Domenico Massironi, Elena Maria Varoni
, Stefano Tubaro, Giovanni Lodi
:
Posture Assessment in Dentistry for Different Visual Aids Using 2D Markers. Sensors 21(22): 7717 (2021) - [j75]Ennio Visconti
, Christos Tsigkanos
, Zhenjiang Hu, Carlo Ghezzi:
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20(6): 2003-2022 (2021) - [j74]Claudio Menghi
, Christos Tsigkanos
, Patrizio Pelliccione
, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. 47(10): 2208-2224 (2021) - 2020
- [b6]Carlo Ghezzi:
Being a Researcher - An Informatics Perspective. Springer 2020, ISBN 978-3-030-45156-1, pp. 1-132 - [j73]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170: 110742 (2020) - [j72]Christos Tsigkanos
, Martin Garriga, Luciano Baresi
, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20(2): 17:1-17:23 (2020) - [c171]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE 2020: 993-1003 - [i16]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR abs/2004.11428 (2020) - [i15]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR abs/2007.06719 (2020)
2010 – 2019
- 2019
- [j71]Claudio Menghi
, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. Formal Aspects Comput. 31(5): 459-502 (2019) - [c170]Mehrnoosh Askarpour
, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
:
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 110-130 - [c169]Amel 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. SEAMS@ICSE 2019: 70-76 - [c168]Christos Tsigkanos
, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar
, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - [c167]Ennio Visconti
, Christos Tsigkanos
, Zhenjiang Hu, Carlo Ghezzi:
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS 2019: 45-55 - [c166]Nianyu Li, Christos Tsigkanos
, Zhi Jin, Schahram Dustdar
, Zhenjiang Hu, Carlo Ghezzi:
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom 2019: 1-10 - [i14]Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. CoRR abs/1901.02077 (2019) - [i13]Danny 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. CoRR abs/1903.04771 (2019) - 2018
- [j70]Mikhail Afanasov, Luca Mottola
, Carlo Ghezzi:
Software Adaptation in Wireless Sensor Networks. ACM Trans. Auton. Adapt. Syst. 12(4): 18:1-18:29 (2018) - [j69]Christos Tsigkanos
, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
:
On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. 15(3): 466-480 (2018) - [c165]Claudio Menghi
, Paola Spoletini
, Marsha Chechik
, Carlo Ghezzi
:
Supporting Verification-Driven Incremental Distributed Design of Components. FASE 2018: 169-188 - [c164]Christos Tsigkanos
, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE 2018: 13-18 - [c163]Claudio Menghi
, Christos Tsigkanos
, Thorsten Berger, Patrizio Pelliccione
, Carlo Ghezzi:
Property specification patterns for robotic missions. ICSE (Companion Volume) 2018: 434-435 - [c162]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering 2018: 113-114 - [p11]Carlo Ghezzi:
Formal Methods and Agile Development: Towards a Happy Marriage. The Essence of Software Engineering 2018: 25-36 - [i12]Amel Bennaceur, Carlo Ghezzi, Kenji Tei:
Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [j68]Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos
, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
:
Topology-Aware Access Control of Smart Spaces. Computer 50(7): 54-63 (2017) - [j67]Chen Luo
, Fei He
, Carlo Ghezzi:
Inferring software behavioral models with MapReduce. Sci. Comput. Program. 145: 13-36 (2017) - [j66]Carlo Ghezzi
:
Of software and change. J. Softw. Evol. Process. 29(9) (2017) - [j65]Luciano Baresi
, Carlo Ghezzi, Xiaoxing Ma
, Valerio Panzica La Manna:
Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. 43(4): 340-358 (2017) - [c161]Claudio Menghi
, Paola Spoletini, Carlo Ghezzi:
Integrating Goal Model Analysis with Iterative Design. REFSQ 2017: 112-128 - [c160]Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops 2017 - [c159]Anna Bernasconi
, Claudio Menghi
, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From Model Checking to a Temporal Proof for Partial Models. SEFM 2017: 54-69 - [c158]Christos Tsigkanos
, Timo Kehrer, Carlo Ghezzi:
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE 2017: 38-48 - [e10]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents] - [i11]Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi:
From model checking to a temporal proof for partial models: preliminary example. CoRR abs/1706.02701 (2017) - 2016
- [j64]Christos Tsigkanos
, Timo Kehrer, Carlo Ghezzi:
Architecting dynamic cyber-physical spaces. Computing 98(10): 1011-1040 (2016) - [j63]Radu 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. IEEE Trans. Reliab. 65(1): 107-125 (2016) - [j62]Antonio Filieri
, Giordano Tamburrelli, Carlo Ghezzi:
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. 42(1): 75-99 (2016) - [c157]Mikhail Afanasov, Luca Mottola, Carlo Ghezzi:
Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. EWSN 2016: 243-244 - [c156]Claudio Menghi
, Paola Spoletini, Carlo Ghezzi:
Dealing with Incompleteness in Automata-Based Model Checking. FM 2016: 531-550 - [c155]Christos Tsigkanos
, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
:
Adding static and dynamic semantics to building information models. SEsCPS@ICSE 2016: 1-7 - [c154]Marcello M. Bersani, Domenico Bianculli
, Carlo Ghezzi, Srdan Krstic
, Pierluigi San Pietro
:
Efficient large-scale trace checking using mapreduce. ICSE 2016: 888-898 - [c153]Carlo Ghezzi:
Dependability of Adaptable and Evolvable Distributed Systems. SFM 2016: 36-60 - [c152]Timo Kehrer, Christos Tsigkanos
, Carlo Ghezzi:
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS 2016: 16-30 - [i10]Claudio Menghi, Paola Spoletini, Carlo Ghezzi:
Modeling, refining and analyzing Incomplete Büchi Automata. CoRR abs/1609.00610 (2016) - 2015
- [j61]Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli:
Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. 27(3): 633-650 (2015) - [j60]Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
:
A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. 30(1): 1-20 (2015) - [j59]Mauro Caporuscio
, Carlo Ghezzi:
Engineering Future Internet applications: The Prime approach. J. Syst. Softw. 106: 9-27 (2015) - [j58]Domenico Bianculli
, Antonio Filieri
, Carlo Ghezzi, Dino Mandrioli:
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015) - [j57]Guido Salvaneschi
, Carlo Ghezzi, Matteo Pradella
:
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102: 20-43 (2015) - [c151]Valerio Panzica La Manna, Joel Greenyer
, Donato Clun
, Carlo Ghezzi:
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE 2015: 42-47 - [c150]Domenico Bianculli
, Antonio Filieri
, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi:
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74 - [c149]Christos Tsigkanos
, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh:
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) 2015: 729-732 - [c148]Xiangyang Jia, Carlo Ghezzi, Shi Ying:
Enhancing reuse of constraint solutions to improve symbolic execution. ISSTA 2015: 177-187 - [c147]Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov:
Automatically identifying focal methods under test in unit test cases. SCAM 2015: 61-70 - [c146]Chen Luo, Fei He, Carlo Ghezzi:
Inferring Software Behavioral Models with MapReduce. SETTA 2015: 135-149 - [i9]Xiangyang Jia, Carlo Ghezzi, Shi Ying:
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. CoRR abs/1501.07174 (2015) - [i8]Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Efficient Large-scale Trace Checking Using MapReduce. CoRR abs/1508.06613 (2015) - 2014
- [j56]Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli:
SelfMotion: A declarative approach for adaptive service-oriented mobile applications. J. Syst. Softw. 92: 32-44 (2014) - [j55]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini:
On requirement verification for evolving Statecharts specifications. Requir. Eng. 19(3): 231-255 (2014) - [j54]Salvatore Distefano
, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola
:
Dependability Assessment of Web Service Orchestrations. IEEE Trans. Reliab. 63(3): 689-705 (2014) - [c145]Carlo Ghezzi, Andrea Mocci
, Mario Sangiorgio:
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software 2014: 276-295 - [c144]Mikhail Afanasov, Luca Mottola
, Carlo Ghezzi:
Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. COMPSAC Workshops 2014: 372-377 - [c143]Mikhail Afanasov, Luca Mottola
, Carlo Ghezzi:
Context-Oriented Programming for Adaptive Wireless Sensor Network Software. DCOSS 2014: 233-240 - [c142]Marcello Maria Bersani, Domenico Bianculli
, Carlo Ghezzi, Srdan Krstic
, Pierluigi San Pietro
:
SMT-Based Checking of SOLOIST over Sparse Traces. FASE 2014: 276-290 - [c141]Marcello M. Bersani, Domenico Bianculli
, Schahram Dustdar
, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
:
Towards the formalization of properties of cloud-based elastic systems. PESOS 2014: 38-47 - [c140]Liliana Pasquale, Carlo Ghezzi, Claudio Menghi
, Christos Tsigkanos
, Bashar Nuseibeh
:
Topology aware adaptive security. SEAMS 2014: 43-48 - [c139]Carlo Ghezzi, Mauro Pezzè
, Michele Sama, Giordano Tamburrelli:
Mining behavior models from user-intensive web applications. ICSE 2014: 277-287 - [c138]Domenico Bianculli, Antonio Filieri
, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55 - [c137]Mohammad Ghafari, Carlo Ghezzi, Andrea Mocci
, Giordano Tamburrelli:
Mining unit tests for code recommendation. ICPC 2014: 142-145 - [c136]Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi
, Marco Miglierina:
A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. LASER Summer School 2014: 63-83 - [c135]Christos Tsigkanos
, Liliana Pasquale, Claudio Menghi
, Carlo Ghezzi, Bashar Nuseibeh
:
Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE 2014: 203-212 - [c134]Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti:
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering 2014: 51-52 - [c133]Domenico Bianculli
, Carlo Ghezzi, Srdan Krstic
:
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM 2014: 144-158 - [c132]Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi:
Team-level programming of drone sensor networks. SenSys 2014: 177-190 - [c131]Domenico Bianculli
, Carlo Ghezzi, Srdan Krstic
, Pierluigi San Pietro
:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA 2014: 9-16 - [p10]Mauro Caporuscio
, Marco Funaro, Carlo Ghezzi, Valérie Issarny:
ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking. Advanced Web Services 2014: 475-500 - [i7]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic:
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR abs/1406.3661 (2014) - [i6]Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR abs/1409.4653 (2014) - 2013
- [j53]Radu Calinescu
, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013) - [j52]Luciano Baresi
, Carlo Ghezzi:
A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. 28(4): 267-277 (2013) - [j51]Carlo Ghezzi, Amir Molzam Sharifloo:
Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. 55(3): 508-524 (2013) - [j50]Guido Salvaneschi
, Carlo Ghezzi, Matteo Pradella
:
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8(2): 7:1-7:29 (2013) - [j49]Chiara Sandionigi, Danilo Ardagna
, Gianpaolo Cugola, Carlo Ghezzi:
Optimizing Service Selection and Allocation in Situational Computing Applications. IEEE Trans. Serv. Comput. 6(3): 414-428 (2013) - [c130]Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
:
Towards Agile Verification. Perspectives on the Future of Software Engineering 2013: 31-47 - [c129]Rogé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
, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c128]Danny 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. Software Engineering for Self-Adaptive Systems 2013: 31-63 - [c127]Mikhail Afanasov, Luca Mottola
, Carlo Ghezzi:
Towards context-oriented programming in wireless sensor networks. UbiComp (Adjunct Publication) 2013: 151-154 - [c126]Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini
, Giordano Tamburrelli:
Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42 - [c125]Valerio Panzica La Manna, Joel Greenyer
, Carlo Ghezzi, Christian Brenner:
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS 2013: 63-72 - [c124]Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC 2013: 39-53 - [c123]Carlo Ghezzi, Mauro Pezzè
, Giordano Tamburrelli:
Adaptive REST applications via model inference and probabilistic model checking. IM 2013: 1376-1382 - [c122]Carlo Ghezzi, Claudio Menghi
, Amir Molzam Sharifloo, Paola Spoletini
:
On requirements verification for model refinements. RE 2013: 62-71 - [c121]Luca Mottola
, Kamin Whitehouse, Carlo Ghezzi:
Towards spatial macroprogramming for sensing and actuating robot swarms. SenSys 2013: 37:1-37:2 - [e9]Javier Cámara, Rogério de Lemos
, Carlo Ghezzi, Antónia Lopes
:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4 [contents] - [i5]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013) - [i4]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - [i3]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports 3(12): 67-96 (2013) - 2012
- [j48]Radu Calinescu
, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola
:
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012) - [j47]Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto:
DSOL: a declarative approach to self-adaptive service orchestrations. Computing 94(7): 579-617 (2012) - [j46]Antonio Filieri
, Carlo Ghezzi, Giordano Tamburrelli:
A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. 24(2): 163-186 (2012) - [j45]Guido Salvaneschi
, Carlo Ghezzi, Matteo Pradella
:
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85(8): 1801-1817 (2012) - [c120]Antonio Filieri
, Carlo Ghezzi, Alberto Leva
, Martina Maggio
:
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA 2012: 557-562 - [c119]Guido Salvaneschi
, Carlo Ghezzi, Matteo Pradella
:
ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202 - [c118]Antonio Filieri
, Carlo Ghezzi, Alberto Leva
, Martina Maggio
:
Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423 - [c117]Domenico Bianculli
, Carlo Ghezzi, Pierluigi San Pietro
:
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS 2012: 55-72 - [c116]Antonio Filieri
, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE 2012: 2-8 - [c115]