Carlo Ghezzi

Radu Calinescu, Robert B. France, Carlo Ghezzi: Editorial. Computing 95(3): 165-166 (2013)

Carlo Ghezzi, Amir Molzam Sharifloo: Model-based verification of quantitative non-functional properties for software product lines. Information & Software Technology 55(3): 508-524 (2013)

Carlo Ghezzi, Leandro Sales Pinto, Paola Spoletini, Giordano Tamburrelli: Managing non-functional uncertainty via model-driven adaptivity. ICSE 2013: 33-42

Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner: Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS 2013: 63-72

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli: A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013)

Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012)

Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto: DSOL: a declarative approach to self-adaptive service orchestrations. Computing 94(7): 579-617 (2012)

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli: A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Asp. Comput. 24(2): 163-186 (2012)

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: A quality driven extension to the QVT-relations transformation language. Computer Science - R&D 27(2) (2012)

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-oriented programming: A software engineering perspective. Journal of Systems and Software 85(8): 1801-1817 (2012)

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

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202

Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio: Autotuning control structures for reliability-driven dynamic binding. CDC 2012: 418-423

Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro: The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS 2012: 55-72

Carlo Ghezzi, Andrea Mocci: Behavioral validation of JFSL specifications through model synthesis. ICSE 2012: 936-946

Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti: Specification patterns from research to industry: A case study in service-based applications. ICSE 2012: 968-976

Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi: Writing dynamic service orchestrations with DSOL. ICSE 2012: 1383-1386

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio: Runtime monitoring of component changes with Spy@Runtime. ICSE 2012: 1403-1406

Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli: Adaptive Service-Oriented Mobile Applications: A Declarative Approach. ICSOC 2012: 607-614

Carlo Ghezzi: Evolution, Adaptation, and the Quest for Incrementality. Monterey Workshop 2012: 369-379

Leandro Sales Pinto, Gianpaolo Cugola, Carlo Ghezzi: Dealing with changes in service orchestrations. SAC 2012: 1961-1967

Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto, Giordano Tamburrelli: SelfMotion: a declarative language for adaptive service-oriented mobile apps. SIGSOFT FSE 2012: 7

Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications. Software Composition 2012: 51-67

Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: Resource-Oriented Middleware Abstractions for Pervasive Computing. SwSTE 2012: 1-10

Luciano Baresi, Carlo Ghezzi, Luca Mottola: Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011)

Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: RESTful Service Architectures for Pervasive Networking Environments. REST: From Research to Practice 2011: 401-422

Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola: A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE 2011: 149-158

Luigi Cardamone, Andrea Mocci, Carlo Ghezzi: Dynamic synthesis of program invariants using genetic programming. IEEE Congress on Evolutionary Computation 2011: 624-631

Carlo Ghezzi: The Fading Boundary between Development Time and Run Time. ECOWS 2011: 11

Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto: How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184

Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi: An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59

Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli: Run-time efficient probabilistic model checking. ICSE 2011: 341-350

Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio: Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces. MoDELS 2011: 2-16

Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio: Runtime Monitoring of Functional Component Changes with Behavior Models. MoDELS Workshops 2011: 152-166

Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu: Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE 2011: 245-255

Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes: Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517

Carlo Ghezzi, Amir Molzam Sharifloo: Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. SPLC 2011: 170-174

Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi: Computational REST Meets Erlang. TOOLS (49) 2011: 244-259

Carlo Ghezzi: Engineering Evolving and Self-Adaptive Systems: An Overview. Software and Systems Safety - Specification and Verification 2011: 88-102

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. CoRR abs/1104.1351 (2011)

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs/1105.0069 (2011)

Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: Architectural Issues of Adaptive Pervasive Systems. Graph Transformations and Model-Driven Engineering 2010: 492-511

Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola: Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20

Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea: Model-Driven Management of Services. ECOWS 2010: 147-154

Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi: An empirical investigation into a large-scale Java open source code repository. ESEM 2010

Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi: Automatic Cross Validation of Multiple Specifications: A Case Study. FASE 2010: 233-247

Carlo Ghezzi, Lars Grunske, Raffaela Mirandola: First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) 2010: 451-452

Marco Funaro, Daniele Braga, Alessandro Campi, Carlo Ghezzi: A hybrid approach (syntactic and textual) to clone detection. IWSC 2010: 79-80

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: QVTR²: A Rational and Performance-Aware Extension to the Relations Language. MoDELS Workshops 2010: 328

Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli: QoS Driven Dynamic Binding in-the-many. QoSA 2010: 68-83

Carlo Ghezzi: Adaptive Software Needs Continuous Verification. SEFM 2010: 3-4

Danilo Ardagna, Carlo Ghezzi, Barbara Panicucci, Marco Trubian: Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control. ServiceWave 2010: 1-12

Luciano Baresi, Carlo Ghezzi: The disappearing boundary between development-time and run-time. FoSER 2010: 17-22

Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli: Change-point detection for black-box services. SIGSOFT FSE 2010: 227-236

Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Model evolution by run-time parameter adaptation. ICSE 2009: 111-121

Carlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440

Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE 2009: 623-626

Carlo Ghezzi, Giordano Tamburrelli: Predicting Performance Properties for Open Systems with KAMI. QoSA 2009: 70-85

Carlo Ghezzi, Giordano Tamburrelli: Reasoning on Non-Functional Requirements for Integrated Services. RE 2009: 69-78

Carlo Ghezzi: Decentralized Software Development: Pitfalls and Challenges. SEAFOOD 2009: 1-2

Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli: The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129

Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl: A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng. 15(3-4): 313-341 (2008)

Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Determining the Impact of Software Engineering Research on Practice. IEEE Computer 41(3): 39-49 (2008)

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10 (2008)

Carlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353

Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: Transparent Reputation Management for Composite Web Services. ICWS 2008: 621-628

Domenico Bianculli, Carlo Ghezzi: SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops 2008: 49-56

Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Rethinking the Use of Models in Software Architecture. QoSA 2008: 1-27

Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA 2008: 119-134

Carlo Ghezzi, Giordano Tamburrelli: Choosing a Software Architecture: An Approach and a Case Study. SEKE 2008: 255-260

Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Model Driven QoS Analyses of Composed Web Services. ServiceWave 2008: 299-311

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea: A framework for the deployment of adaptable web service compositions. Service Oriented Computing and Applications 1(1): 75-91 (2007)

Carlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262

Luciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208

Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings: Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC 2007: 449-455

Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670

Carlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea: A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Lipari Summer School 2007: 131-160

Domenico Bianculli, Carlo Ghezzi: Monitoring conversational web services. IW-SOSWE 2007: 15-21

Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62

Carlo Ghezzi: Foreword to the doctoral symposium. ESEC/SIGSOFT FSE (Companion) 2007: 573

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20

Carlo Ghezzi, Sam Guinea: Run-Time Monitoring in Service-Oriented Architectures. Test and Analysis of Web Services 2007: 237-264

Carlo Ghezzi: The challenges of open-world software. WOSP 2007: 90

Luciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006)

Davide Balzarotti, Carlo Ghezzi, Mattia Monga: Supporting Cooperative Software Processes in a Decentralized and Nomadic World. IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1098-1109 (2006)

Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici: Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. APSEC 2006: 173-182

Carlo Ghezzi: Software Engineering: Emerging Goals and Lasting Problems. FASE 2006: 2

Luciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135

Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252

Carlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 14(2): 119-123 (2005)

Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)

Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici: Hybrid service-oriented architectures: a case-study in the automotive domain. SEM 2005: 62-68

Carlo Ghezzi, Dino Mandrioli: The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127

Carlo Ghezzi, Dino Mandrioli: The challenges of software engineering education. ICSE 2005: 637-638

Carlo Ghezzi: Flexible Processes for Evolvable Products. IEEE METRICS 2005: 1

Carlo Ghezzi, Paola Inverardi: Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)

Luciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73

Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco: Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353

Luciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering (2. ed.). Prentice Hall 2003, isbn 978-0-13-305699-0, pp. I-XX, 1-604

Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)

Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini: Using Agents for Multi-target Search on the Web. SAC 2003: 828-833

Carlo Ghezzi: Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. ICGT 2002: 1-5

Davide Balzarotti, Carlo Ghezzi, Mattia Monga: Freeing Cooperation from Servers Tyranny. NETWORKING Workshops 2002: 235-246

Davide Balzarotti, Carlo Ghezzi, Mattia Monga: Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE 2002: 507-511

Egidio Astesiano, Carlo Ghezzi: Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001)

Elisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini: Using Agents in Performing Multi-site Queries. CIA 2001: 100-105

Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151

Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf (Eds.): Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ACM 2000, isbn 1-58113-206-9

Carlo Ghezzi, Bashar Nuseibeh: Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. IEEE Trans. Software Eng. 25(6): 782-783 (1999)

Carlo Ghezzi: Complexity in Human Centered Systems: The Case of Software Processes. ICECCS 1999: 178-

Gianpaolo Cugola, Carlo Ghezzi: Design and Implementation of PROSYT: A Distributed Process Support System. WETICE 1999: 32-39

Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts (3. ed.). Wiley 1998, isbn 978-0-471-10426-1, pp. I-XIX, 1-427

Gianpaolo Cugola, Carlo Ghezzi: Software processes: a retrospective and a path to the future. Software Process: Improvement and Practice 4(3): 101-123 (1998)

Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer: Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997)

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301

Carlo Ghezzi: Software Engineering Issues for Network Computing. ICSM 1997: 2

Carlo Ghezzi, Giovanni Vigna: Mobile Code Paradigms and Technologies: A Case Study. Mobile Agents 1997: 39-49

Gianpaolo Cugola, Carlo Ghezzi: CJava: Introducing Concurrent Objects in Java. OOIS 1997: 504-514

Carlo Ghezzi, Giovanni Vigna: Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering 1997: 155-177

Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi: A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. ACM Trans. Softw. Eng. Methodol. 5(3): 191-230 (1996)

Gianpaolo Cugola, Carlo Ghezzi: Program families: some requirements issues for the process languages. ISPW 1996: 48-50

Gianpaolo Cugola, Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna: Analyzing Mobile Code Languages. Mobile Object Systems 1996: 93-110

Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione: How to Deal With Deviations During Process Model Enactment. ICSE 1995: 265-273

Alfonso Fuggetta, Carlo Ghezzi: State of the art and open issues in process-centered software engineering environments. Journal of Systems and Software 26(1): 53-60 (1994)

Carlo Ghezzi, Sandro Morasca, Mauro Pezzè: Validating timing requirements for time basic net specifications. Journal of Systems and Software 27(2): 97-117 (1994)

Carlo Ghezzi (Ed.): Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA. IEEE Computer Society 1994

Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti: A Survey and Assessment of Software Process Representation Formalisms. International Journal of Software Engineering and Knowledge Engineering 3(3): 401-426 (1993)

Miguel Felder, Carlo Ghezzi, Mauro Pezzè: High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real-Time Systems 5(2-3): 235-248 (1993)

Carlo Ghezzi, Gruia-Catalin Roman: Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. Sci. Comput. Program. 20(1-2): 1-2 (1993)

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. Softw., Pract. Exper. 23(6): 629-653 (1993)

Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi: Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. 19(12): 1128-1144 (1993)

Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36

Alfonso Fuggetta, Carlo Ghezzi: Process Formalisms Need to be Fully Reflective. ISPW 1993: 78-80

Miguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39

Carlo Ghezzi, Mauro Pezzè: Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77

Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)

Richard A. Kemmerer, Carlo Ghezzi: Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 766-767 (1992)

Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli: Process Enactment in SPADE. EWSPT 1992: 67-83

Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti: Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462

Tony Montgomery, Lori A. Clarke, Carlo Ghezzi (Eds.): Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ACM Press 1992, isbn 0-89791-504-6

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering. Prentice Hall 1991, isbn 978-0-13-818204-5, pp. I-XV, 1-573

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991)

Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli: Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)

Carlo Ghezzi, Richard A. Kemmerer: ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC 1991: 122-146

Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti: A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43

Carlo Ghezzi, Richard A. Kennerer: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: TRIO: A logic language for executable specifications of real-time systems. Journal of Systems and Software 12(2): 107-123 (1990)

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli: Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989)

Carlo Ghezzi, John A. McDermid (Eds.): ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, isbn 3-540-51635-2

Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts (2. ed.). Wiley 1987, isbn 978-0-471-82173-1, pp. I-XVII, 1-428

Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40

Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190

Dino Mandrioli, Roberto Zicari, Carlo Ghezzi, Francesco Tisato: Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985)

Carlo Ghezzi: Concurrency in programming languages: A survey. Parallel Computing 2(3): 229-241 (1985)

Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio: Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128

Annalisa Bossi, Carlo Ghezzi: Using FP As a Query Language for Relational Data-Bases. Comput. Lang. 9(1): 25-37 (1984)

Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts. Wiley 1982, isbn 978-0-471-08755-7, pp. I-XVI, 1-327

Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato: Language Constructs for Real-Time Distributed Systems. Comput. Lang. 7(1): 11-20 (1982)

Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi: SIMPLE: A Program Development System. Comput. Lang. 5(2): 103-114 (1980)

Carlo Ghezzi, Dino Mandrioli: Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980)

Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti: Compiler Testing using a Sentence Generator. Softw., Pract. Exper. 10(11): 897-918 (1980)

Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli: Separate Compilation and Partial Specification in Pascal. IEEE Trans. Software Eng. 6(4): 320-328 (1980)

Carlo Ghezzi, Dino Mandrioli: Incremental Parsing. ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979)

Pierluigi Della Vigna, Carlo Ghezzi: Context-Free Graph Grammars. Information and Control 37(2): 207-233 (1978)

Pierluigi Della Vigna, Carlo Ghezzi: Data Structures and Graph Grammars. ECI 1976: 130-145

Carlo Ghezzi: LL(1) Grammars Supporting an Efficient Error Handling. Inf. Process. Lett. 3(6): 174-176 (1975)