Carlo Ghezzi - RankMe

297 papers A* 19A 23B 17C 13Misc 5Journal 94Unranked 99

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Breaking Disciplinary Silos: The Case of Software Engineering. DIGHUM Carlo Ghezzi, Masoud Ebrahimi, Damir Isovic, Marjan Sirjani
2023	J	`jnl`	Digital Humanism: The Time Is Now. Computer Hannes Werthner, Allison Stanger, Viola Schiaffonati, Peter Knees, Lynda Hardman, Carlo Ghezzi
2023	A	`conf`	Understanding Fairness Requirements for ML-based Software. RE Luciano Baresi, Chiara Criscuolo, Carlo Ghezzi
2022	—	`book`	Perspectives on Digital Humanism Hannes Werthner, Erich Prem, Edward A. Lee, Carlo Ghezzi
2022	—	`ch.`	Should We Rethink How We Do Research? Perspectives on Digital Humanism Carlo Ghezzi
2021	J	`jnl`	Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2021	J	`jnl`	Posture Assessment in Dentistry for Different Visual Aids Using 2D Markers. Sensors Alberto Pispero, Marco Marcon, Carlo Ghezzi, Domenico Massironi, Elena Maria Varoni, Stefano Tubaro, Giovanni Lodi
2021	J	`jnl`	Science needs to engage with society: some lessons from COVID-19. Commun. ACM Carlo Ghezzi
2021	J	`jnl`	Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
2020	—	`book`	Being a Researcher - An Informatics Perspective Carlo Ghezzi
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	J	`jnl`	Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi
2020	J	`jnl`	Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	J	`jnl`	Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	A*	`conf`	Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2019	J	`jnl`	A verification-driven framework for iterative design of controllers. Formal Aspects Comput. Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2019	—	`conf`	Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
2019	—	`conf`	Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi
2019	A	`conf`	Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 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
2019	A*	`conf`	POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
2019	J	`jnl`	Perpetual Assurances for Self-Adaptive Systems. CoRR 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
2019	J	`jnl`	Specification Patterns for Robotic Missions. CoRR Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
2018	—	`ch.`	Formal Methods and Agile Development: Towards a Happy Marriage. The Essence of Software Engineering Carlo Ghezzi
2018	C	`conf`	Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2018	J	`jnl`	Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21). NII Shonan Meet. Rep. Amel Bennaceur, Carlo Ghezzi, Kenji Tei
2018	—	`conf`	On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2018	J	`jnl`	On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
2018	—	`conf`	Property specification patterns for robotic missions. ICSE (Companion Volume) Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi
2018	J	`jnl`	Software Adaptation in Wireless Sensor Networks. ACM Trans. Auton. Adapt. Syst. Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2018	B	`conf`	Supporting Verification-Driven Incremental Distributed Design of Components. FASE Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
2017	—	`conf`	COVER: Change-based Goal Verifier and Reasoner. REFSQ Workshops Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2017	J	`jnl`	Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna
2017	B	`conf`	From Model Checking to a Temporal Proof for Partial Models. SEFM Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
2017	J	`jnl`	From model checking to a temporal proof for partial models: preliminary example. CoRR Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
2017	J	`jnl`	Inferring software behavioral models with MapReduce. Sci. Comput. Program. Chen Luo, Fei He, Carlo Ghezzi
2017	B	`conf`	Integrating Goal Model Analysis with Iterative Design. REFSQ Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2017	—	`conf`	Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2017	J	`jnl`	Of software and change. J. Softw. Evol. Process. Carlo Ghezzi
2017	—	`ed.`	Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers Software Engineering for Self-Adaptive Systems Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2017	J	`jnl`	Topology-Aware Access Control of Smart Spaces. Computer Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh
2016	—	`conf`	Adding static and dynamic semantics to building information models. SEsCPS@ICSE Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh
2016	—	`conf`	An EMOF-Compliant Abstract Syntax for Bigraphs. GaM Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
2016	J	`jnl`	Architecting dynamic cyber-physical spaces. Computing Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2016	B	`conf`	Dealing with Incompleteness in Automata-Based Model Checking. FM Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2016	—	`conf`	Dependability of Adaptable and Evolvable Distributed Systems. SFM Carlo Ghezzi
2016	A*	`conf`	Efficient large-scale trace checking using mapreduce. ICSE Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2016	J	`jnl`	Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
2016	J	`jnl`	Modeling, refining and analyzing Incomplete Büchi Automata. CoRR Claudio Menghi, Paola Spoletini, Carlo Ghezzi
2016	B	`conf`	Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems. EWSN Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2016	J	`jnl`	Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng. Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi
2015	J	`jnl`	A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
2015	—	`conf`	Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh
2015	C	`conf`	Automatically identifying focal methods under test in unit test cases. SCAM Mohammad Ghafari, Carlo Ghezzi, Konstantin Rubinov
2015	J	`jnl`	ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2015	J	`jnl`	Efficient Large-scale Trace Checking Using MapReduce. CoRR Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2015	J	`jnl`	Engineering Future Internet applications: The Prime approach. J. Syst. Softw. Mauro Caporuscio, Carlo Ghezzi
2015	J	`jnl`	Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution. CoRR Xiangyang Jia, Carlo Ghezzi, Shi Ying
2015	A	`conf`	Enhancing reuse of constraint solutions to improve symbolic execution. ISSTA Xiangyang Jia, Carlo Ghezzi, Shi Ying
2015	Misc	`conf`	Inferring Software Behavioral Models with MapReduce. SETTA Chen Luo, Fei He, Carlo Ghezzi
2015	J	`jnl`	Performance-driven dynamic service selection. Concurr. Comput. Pract. Exp. Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, Giordano Tamburrelli
2015	J	`jnl`	Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2015	—	`conf`	Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
2015	—	`conf`	Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi
2014	—	`conf`	A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software. LASER Summer School Carlo Ghezzi, Giovanni Paolo Gibilisco, Claudio Menghi, Marco Miglierina
2014	B	`conf`	Context-Oriented Programming for Adaptive Wireless Sensor Network Software. DCOSS Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2014	J	`jnl`	Dependability Assessment of Web Service Orchestrations. IEEE Trans. Reliab. Salvatore Distefano, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola
2014	A	`conf`	Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh
2014	—	`conf`	Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2014	A*	`conf`	Mining behavior models from user-intensive web applications. ICSE Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli
2014	A	`conf`	Mining unit tests for code recommendation. ICPC Mohammad Ghafari, Carlo Ghezzi, Andrea Mocci, Giordano Tamburrelli
2014	—	`conf`	Offline Trace Checking of Quantitative Properties of Service-Based Applications. SOCA Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014	J	`jnl`	Offline Trace Checking of Quantitative Properties of Service-Based Applications. CoRR Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014	J	`jnl`	On requirement verification for evolving Statecharts specifications. Requir. Eng. Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
2014	B	`conf`	SMT-Based Checking of SOLOIST over Sparse Traces. FASE Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014	J	`jnl`	SelfMotion: A declarative approach for adaptive service-oriented mobile applications. J. Syst. Softw. Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli
2014	C	`conf`	Specification Patterns from Research to Industry: A Case Study in Service-Based Applications. Software Engineering Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
2014	—	`conf`	Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
2014	Misc	`conf`	Team-level programming of drone sensor networks. SenSys Luca Mottola, Mattia Moretta, Kamin Whitehouse, Carlo Ghezzi
2014	A	`conf`	Topology aware adaptive security. SEAMS Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh
2014	—	`conf`	Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems. COMPSAC Workshops Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2014	—	`conf`	Towards the formalization of properties of cloud-based elastic systems. PESOS Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
2014	B	`conf`	Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce. SEFM Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
2014	J	`jnl`	Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce. CoRR Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
2013	J	`jnl`	A Syntactic-Semantic Approach to Incremental Verification CoRR Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
2013	J	`jnl`	A journey through SMScom: self-managing situational computing. Comput. Sci. Res. Dev. Luciano Baresi, Carlo Ghezzi
2013	B	`conf`	Adaptive REST applications via model inference and probabilistic model checking. IM Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
2013	J	`jnl`	An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2013	—	`book`	Assurances for Self-Adaptive Systems - Principles, Models, and Techniques Assurances for Self-Adaptive Systems Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2013	J	`jnl`	Editorial. Computing Radu Calinescu, Robert B. France, Carlo Ghezzi
2013	A	`conf`	Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner
2013	A	`conf`	Improving Interaction with Services via Probabilistic Piggybacking. ICSOC Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
2013	A*	`conf`	Managing non-functional uncertainty via model-driven adaptivity. ICSE Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli
2013	J	`jnl`	Model-based verification of quantitative non-functional properties for software product lines. Inf. Softw. Technol. Carlo Ghezzi, Amir Molzam Sharifloo
2013	A	`conf`	On requirements verification for model refinements. RE Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini
2013	J	`jnl`	Optimizing Service Selection and Allocation in Situational Computing Applications. IEEE Trans. Serv. Comput. Chiara Sandionigi, Danilo Ardagna, Gianpaolo Cugola, Carlo Ghezzi
2013	—	`conf`	Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 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
2013	J	`jnl`	Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). Dagstuhl Reports Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 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
2013	—	`conf`	Towards Agile Verification. Perspectives on the Future of Software Engineering Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi
2013	—	`conf`	Towards context-oriented programming in wireless sensor networks. UbiComp (Adjunct Publication) Mikhail Afanasov, Luca Mottola, Carlo Ghezzi
2013	Misc	`conf`	Towards spatial macroprogramming for sensing and actuating robot swarms. SenSys Luca Mottola, Kamin Whitehouse, Carlo Ghezzi
2013	J	`jnl`	Verification for Reliable Product Lines. CoRR Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
2012	J	`jnl`	A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Aspects Comput. Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
2012	A	`conf`	Adaptive Service-Oriented Mobile Applications: A Declarative Approach. ICSOC Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli
2012	—	`conf`	Autotuning control structures for reliability-driven dynamic binding. CDC Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2012	A*	`conf`	Behavioral validation of JFSL specifications through model synthesis. ICSE Carlo Ghezzi, Andrea Mocci
2012	—	`ch.`	Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. ArtDeco Nicolò Maria Calcavecchia, Elisabetta Di Nitto, Daniel J. Dubois, Carlo Ghezzi, Valentina Mazza, Matteo Rossi
2012	—	`ch.`	Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. Conquering Complexity Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
2012	J	`jnl`	Context-oriented programming: A software engineering perspective. J. Syst. Softw. Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012	—	`conf`	ContextErlang: introducing context-oriented programming in the actor model. AOSD Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012	J	`jnl`	DSOL: a declarative approach to self-adaptive service orchestrations. Computing Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto
2012	Misc	`conf`	Dealing with changes in service orchestrations. SAC Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi
2012	C	`conf`	Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2012	—	`conf`	Evolution, Adaptation, and the Quest for Incrementality. Monterey Workshop Carlo Ghezzi
2012	—	`conf`	Further steps towards efficient runtime verification: handling probabilistic cost models. FormSERA@ICSE Antonio Filieri, Carlo Ghezzi
2012	—	`ch.`	Introduction. ArtDeco Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo
2012	—	`book`	Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations ArtDeco Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo
2012	A	`conf`	PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications. SC Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
2012	—	`ch.`	Reference Case Study. ArtDeco Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo
2012	A	`conf`	Reliability-driven dynamic binding via feedback control. SEAMS Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2012	—	`conf`	Resource-Oriented Middleware Abstractions for Pervasive Computing. SwSTE Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
2012	A*	`conf`	Runtime monitoring of component changes with Spy@Runtime. ICSE Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
2012	J	`jnl`	Self-adaptive software needs quantitative verification at runtime. Commun. ACM Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola
2012	—	`conf`	SelfMotion: a declarative language for adaptive service-oriented mobile apps. SIGSOFT FSE Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli
2012	A*	`conf`	Specification patterns from research to industry: A case study in service-based applications. ICSE Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti
2012	A	`conf`	Synthesizing dynamically updating controllers from changes in scenario-based specifications. SEAMS Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna
2012	—	`conf`	The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
2012	A*	`conf`	Writing dynamic service orchestrations with DSOL. ICSE Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi
2011	—	`conf`	A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola
2011	A	`conf`	An evaluation of the adaptation capabilities in programming languages. SEAMS Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2011	—	`conf`	Computational REST Meets Erlang. TOOLS (49) Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi
2011	J	`jnl`	Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	B	`conf`	Dynamic synthesis of program invariants using genetic programming. IEEE Congress on Evolutionary Computation Luigi Cardamone, Andrea Mocci, Carlo Ghezzi
2011	—	`ch.`	Engineering Evolving and Self-Adaptive Systems: An Overview. Software and Systems Safety - Specification and Verification Carlo Ghezzi
2011	C	`conf`	How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto
2011	J	`jnl`	JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	—	`conf`	JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2011	J	`jnl`	Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. Luciano Baresi, Carlo Ghezzi, Luca Mottola
2011	—	`ed.`	Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011 ASAS@ESEC/FSE Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Anténia Lopes
2011	—	`ch.`	RESTful Service Architectures for Pervasive Networking Environments. REST: From Research to Practice Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
2011	A*	`conf`	Run-time efficient probabilistic model checking. ICSE Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
2011	—	`conf`	Runtime Monitoring of Functional Component Changes with Behavior Models. MoDELS (Workshops) Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
2011	—	`conf`	Runtime Monitoring of Functional Component Changes with Behavior Models. [email protected] Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
2011	A*	`conf`	Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
2011	—	`conf`	Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
2011	—	`conf`	The Fading Boundary between Development Time and Run Time. ECOWS Carlo Ghezzi
2011	A	`conf`	Towards Quality Driven Exploration of Model Transformation Spaces. MoDELS Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
2011	B	`conf`	Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. SPLC Carlo Ghezzi, Amir Molzam Sharifloo
2011	—	`conf`	Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu
2011	—	`conf`	Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2010	—	`conf`	A hybrid approach (syntactic and textual) to clone detection. IWSC Marco Funaro, Daniele Braga, Alessandro Campi, Carlo Ghezzi
2010	B	`conf`	Adaptive Software Needs Continuous Verification. SEFM Carlo Ghezzi
2010	A	`conf`	An empirical investigation into a large-scale Java open source code repository. ESEM Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi
2010	—	`conf`	Anquiro: enabling efficient static verification of sensor network software. SESENA@ICSE Luca Mottola, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi
2010	—	`conf`	Architectural Issues of Adaptive Pervasive Systems. Graph Transformations and Model-Driven Engineering Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
2010	B	`conf`	Automatic Cross Validation of Multiple Specifications: A Case Study. FASE Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
2010	—	`conf`	Behavior model based component search: an initial assessment. SUITE@ICSE Carlo Ghezzi, Andrea Mocci
2010	—	`conf`	Change-point detection for black-box services. SIGSOFT FSE Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli
2010	—	`conf`	Context oriented programming in highly concurrent systems. COP@ECOOP Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2010	—	`conf`	Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines. Software Engineering for Self-Adaptive Systems Carlo Ghezzi, Amir Molzam Sharifloo
2010	—	`conf`	First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) Carlo Ghezzi, Lars Grunske, Raffaela Mirandola
2010	—	`conf`	Model-Driven Management of Services. ECOWS Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea
2010	—	`ed.`	Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa QUOVADIS@ICSE Carlo Ghezzi, Lars Grunske, Raffaela Mirandola
2010	A	`conf`	Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi
2010	—	`conf`	QVTR MoDELS (Workshops) Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
2010	—	`conf`	QoS Driven Dynamic Binding in-the-many. QoSA Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli
2010	—	`conf`	Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola
2010	—	`conf`	Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control. ServiceWave Danilo Ardagna, Carlo Ghezzi, Barbara Panicucci, Marco Trubian
2010	—	`conf`	The disappearing boundary between development-time and run-time. FoSER Luciano Baresi, Carlo Ghezzi
2009	—	`conf`	Decentralized Software Development: Pitfalls and Challenges. SEAFOOD Carlo Ghezzi
2009	—	`conf`	Embedding continuous lifelong verification in service life cycles. PESOS@ICSE Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso
2009	A*	`conf`	Model evolution by run-time parameter adaptation. ICSE Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
2009	—	`conf`	Predicting Performance Properties for Open Systems with KAMI. QoSA Carlo Ghezzi, Giordano Tamburrelli
2009	A*	`conf`	ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
2009	A	`conf`	Reasoning on Non-Functional Requirements for Integrated Services. RE Carlo Ghezzi, Giordano Tamburrelli
2009	A*	`conf`	Synthesizing intensional behavior models by graph transformation. ICSE Carlo Ghezzi, Andrea Mocci, Mattia Monga
2009	—	`conf`	The Role of Contracts in Distributed Development. SEAFOOD Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli
2008	J	`jnl`	A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng. Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl
2008	C	`conf`	Choosing a Software Architecture: An Approach and a Case Study. SEKE Carlo Ghezzi, Giordano Tamburrelli
2008	J	`jnl`	Determining the Impact of Software Engineering Research on Practice. Computer Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2008	—	`conf`	Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models Carlo Ghezzi, Paola Inverardi, Carlo Montangero
2008	—	`conf`	Model Driven QoS Analyses of Composed Web Services. ServiceWave Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola
2008	—	`conf`	Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
2008	—	`conf`	Rethinking the Use of Models in Software Architecture. QoSA Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola
2008	—	`conf`	SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops Domenico Bianculli, Carlo Ghezzi
2008	—	`conf`	Towards a methodology for lifelong validation of service compositions. SDSOA@ICSE Domenico Bianculli, Carlo Ghezzi
2008	A	`conf`	Transparent Reputation Management for Composite Web Services. ICWS Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
2008	J	`jnl`	Using Graph Transformation Systems to Specify and Verify Data Abstractions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
2007	—	`conf`	A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea
2007	—	`conf`	A Model Checking Approach to Verify BPEL4WS Workflows. SOCA Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
2007	A	`conf`	A Timed Extension of WSCoL. ICWS Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2007	J	`jnl`	A framework for the deployment of adaptable web service compositions. Serv. Oriented Comput. Appl. Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea
2007	A	`conf`	Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings
2007	J	`jnl`	Editorial. ACM Trans. Softw. Eng. Methodol. Carlo Ghezzi
2007	—	`conf`	Efficient recovery of algebraic specifications for stateful components. IWPSE Carlo Ghezzi, Andrea Mocci, Mattia Monga
2007	—	`conf`	Foreword to the doctoral symposium. ESEC/SIGSOFT FSE Carlo Ghezzi
2007	C	`conf`	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
2007	—	`conf`	Monitoring conversational web services. IW-SOSWE Domenico Bianculli, Carlo Ghezzi
2007	A*	`conf`	On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE Luciano Baresi, Carlo Ghezzi, Luca Mottola
2007	—	`conf`	Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola
2007	—	`ch.`	Run-Time Monitoring in Service-Oriented Architectures. Test and Analysis of Web Services Carlo Ghezzi, Sam Guinea
2007	—	`conf`	The challenges of open-world software. WOSP Carlo Ghezzi
2007	—	`ch.`	Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing Luciano Baresi, Carlo Ghezzi, Sam Guinea
2007	J	`jnl`	Validation of web service compositions. IET Softw. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
2006	B	`conf`	Software Engineering: Emerging Goals and Lasting Problems. FASE Carlo Ghezzi
2006	J	`jnl`	Supporting Cooperative Software Processes in a Decentralized and Nomadic World. IEEE Trans. Syst. Man Cybern. Part A Davide Balzarotti, Carlo Ghezzi, Mattia Monga
2006	J	`jnl`	Toward Open-World Software: Issue and Challenges. Computer Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
2006	C	`conf`	Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE Luciano Baresi, Carlo Ghezzi, Luca Mottola
2006	C	`conf`	Towards Open-World Software: Issue and Challenges. SEW Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
2006	C	`conf`	Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici
2005	J	`jnl`	Editorial. ACM Trans. Softw. Eng. Methodol. Carlo Ghezzi
2005	J	`jnl`	Editorial. ACM Trans. Softw. Eng. Methodol. Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2005	—	`conf`	Flexible Processes for Evolvable Products. IEEE METRICS Carlo Ghezzi
2005	—	`conf`	Hybrid service-oriented architectures: a case-study in the automotive domain. SEM Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici
2005	—	`conf`	The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE Carlo Ghezzi, Dino Mandrioli
2005	A*	`conf`	The challenges of software engineering education. ICSE Carlo Ghezzi, Dino Mandrioli
2004	B	`conf`	Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
2004	J	`jnl`	Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. Carlo Ghezzi, Paola Inverardi
2004	A	`conf`	Smart monitors for composed services. ICSOC Luciano Baresi, Carlo Ghezzi, Sam Guinea
2004	—	`conf`	Validation of Component and Service Federations in Automotive Software Applications. ASWSD Luciano Baresi, Carlo Ghezzi
2003	J	`jnl`	Editorial. ACM Trans. Softw. Eng. Methodol. Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa
2003	—	`book`	Fundamentals of software engineering (2. ed.). Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
2003	Misc	`conf`	Using Agents for Multi-target Search on the Web. SAC Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini
2002	—	`conf`	Fostering component evolution with C# attributes. IWPSE Carlo Ghezzi, Mattia Monga
2002	—	`conf`	Freeing Cooperation from Servers Tyranny. NETWORKING Workshops Davide Balzarotti, Carlo Ghezzi, Mattia Monga
2002	C	`conf`	Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE Davide Balzarotti, Carlo Ghezzi, Mattia Monga
2002	B	`conf`	Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. ICGT Carlo Ghezzi
2001	J	`jnl`	Fundamental Approaches to Software Engineering. Sci. Comput. Program. Egidio Astesiano, Carlo Ghezzi
2001	—	`conf`	Using Agents in Performing Multi-site Queries. CIA Elisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini
2001	—	`conf`	Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
2000	A*	`ed.`	Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ICSE Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf
1999	B	`conf`	Complexity in Human Centered Systems: The Case of Software Processes. ICECCS Carlo Ghezzi
1999	C	`conf`	Design and Implementation of PROSYT: A Distributed Process Support System. WETICE Gianpaolo Cugola, Carlo Ghezzi
1999	J	`jnl`	Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. IEEE Trans. Software Eng. Carlo Ghezzi, Bashar Nuseibeh
1999	J	`jnl`	ICSE 2000 opportunity. ACM SIGSOFT Softw. Eng. Notes Carlo Ghezzi
1998	—	`book`	Programming language concepts (3. ed.). Carlo Ghezzi, Mehdi Jazayeri
1998	J	`jnl`	Software processes: a retrospective and a path to the future. Softw. Process. Improv. Pract. Gianpaolo Cugola, Carlo Ghezzi
1998	—	`conf`	Towards a Software Engineering Approach to Web Site Development. IWSSD Francesco Coda, Carlo Ghezzi, Giovanni Vigna, Franca Garzotto
1997	—	`conf`	CJava: Introducing Concurrent Objects in Java. OOIS Gianpaolo Cugola, Carlo Ghezzi
1997	—	`conf`	Mobile Code Paradigms and Technologies: A Case Study. Mobile Agents Carlo Ghezzi, Giovanni Vigna
1997	—	`conf`	Software Engineering Issues for Network Computing. ICSM Carlo Ghezzi
1997	—	`conf`	Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering Carlo Ghezzi, Giovanni Vigna
1997	—	`ch.`	Software Qualities and Principles. The Computer Science and Engineering Handbook Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
1997	J	`jnl`	Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer
1996	J	`jnl`	A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. ACM Trans. Softw. Eng. Methodol. Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi
1996	—	`conf`	Analyzing Mobile Code Languages. Mobile Object Systems Gianpaolo Cugola, Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna
1996	—	`conf`	Program families: some requirements issues for the process languages. ISPW Gianpaolo Cugola, Carlo Ghezzi
1995	A*	`conf`	How to Deal With Deviations During Process Model Enactment. ICSE Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione
1994	—	`ed.`	Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA ISPW Carlo Ghezzi
1994	J	`jnl`	State of the art and open issues in process-centered software engineering environments. J. Syst. Softw. Alfonso Fuggetta, Carlo Ghezzi
1994	J	`jnl`	Validating timing requirements for time basic net specifications. J. Syst. Softw. Carlo Ghezzi, Sandro Morasca, Mauro Pezzè
1993	J	`jnl`	A Survey and Assessment of Software Process Representation Formalisms. Int. J. Softw. Eng. Knowl. Eng. Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
1993	A	`conf`	Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1993	J	`jnl`	Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1993	J	`jnl`	Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. Sci. Comput. Program. Carlo Ghezzi, Gruia-Catalin Roman
1993	J	`jnl`	High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real Time Syst. Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1993	—	`ch.`	Parallel Execution of Real-Time Petri Nets. Advances in Software Engineering and Knowledge Engineering Carlo Ghezzi, Mauro Pezzè, Kim Portman
1993	—	`conf`	Process Formalisms Need to be Fully Reflective. ISPW Alfonso Fuggetta, Carlo Ghezzi
1993	J	`jnl`	Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi
1993	—	`conf`	Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC Carlo Ghezzi, Miguel Felder, Carlo Bellettini
1993	—	`conf`	Towards Extensible Graphical Formalisms. IWSSD Carlo Ghezzi, Mauro Pezzè
1992	J	`jnl`	A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
1992	—	`conf`	Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. NATO ASI RTC Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1992	J	`jnl`	Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. Richard A. Kemmerer, Carlo Ghezzi
1992	A*	`ed.`	Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ICSE Tony Montgomery, Lori A. Clarke, Carlo Ghezzi
1992	—	`conf`	Process Enactment in SPADE. EWSPT Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli
1992	C	`conf`	Software Processes Representation Languages: Survey and Assessment. SEKE Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
1991	J	`jnl`	A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1991	—	`conf`	A multi-paradigm Petri net based approach to process description. ISPW Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti
1991	—	`conf`	ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC Carlo Ghezzi, Richard A. Kemmerer
1991	—	`conf`	Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification Carlo Ghezzi, Richard A. Kennerer
1991	—	`book`	Fundamentals of software engineering. Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
1991	—	`ed.`	Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991 IWSSD Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman
1991	J	`jnl`	Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli
1990	J	`jnl`	TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1989	—	`conf`	A general way to put time in Petri nets. IWSSD Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1989	—	`ed.`	ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings ESEC Carlo Ghezzi, John A. McDermid
1989	J	`jnl`	Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli
1989	J	`jnl`	Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1987	—	`conf`	On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè
1987	—	`conf`	On the Specification of Real-Time Systems Using Logic Programming. ESEC Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
1987	—	`book`	Programming language concepts (2. ed.). Carlo Ghezzi, Mehdi Jazayeri
1985	J	`jnl`	Concurrency in programming languages: A survey. Parallel Comput. Carlo Ghezzi
1985	J	`jnl`	Modeling the Ada Task System by Petri Nets. Comput. Lang. Dino Mandrioli, Roberto V. Zicari, Carlo Ghezzi, Francesco Tisato
1985	—	`conf`	Program Simplification via Symbolic Interpretation. FSTTCS Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
1984	J	`jnl`	Using FP As a Query Language for Relational Data-Bases. Comput. Lang. Annalisa Bossi, Carlo Ghezzi
1982	J	`jnl`	Language Constructs for Real-Time Distributed Systems. Comput. Lang. Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato
1982	—	`book`	Programming language concepts. Carlo Ghezzi, Mehdi Jazayeri
1980	J	`jnl`	Augmenting Parsers to Support Incrementality. J. ACM Carlo Ghezzi, Dino Mandrioli
1980	J	`jnl`	Compiler Testing using a Sentence Generator. Softw. Pract. Exp. Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, Florencia Savoretti
1980	J	`jnl`	SIMPLE: A Program Development System. Comput. Lang. Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi
1980	J	`jnl`	Separate Compilation and Partial Specification in Pascal. IEEE Trans. Software Eng. Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli
1979	J	`jnl`	Incremental Parsing. ACM Trans. Program. Lang. Syst. Carlo Ghezzi, Dino Mandrioli
1978	J	`jnl`	Context-Free Graph Grammars Inf. Control. Pierluigi Della Vigna, Carlo Ghezzi
1976	—	`conf`	Data Structures and Graph Grammars. ECI Pierluigi Della Vigna, Carlo Ghezzi
1975	J	`jnl`	LL(1) Grammars Supporting an Efficient Error Handling. Inf. Process. Lett. Carlo Ghezzi