Carlo Ghezzi

	2012
152		Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202
151		Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications. Software Composition 2012: 51-67
150		Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: A quality driven extension to the QVT-relations transformation language. Computer Science - R&D 27(2): (2012)
149		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)
	2011
148		Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio: Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE 2011: 283-292
147		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
146		Carlo Ghezzi: The Fading Boundary between Development Time and Run Time. ECOWS 2011: 11
145		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
144		Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli: Run-time efficient probabilistic model checking. ICSE 2011: 341-350
143		Luigi Cardamone, Andrea Mocci, Carlo Ghezzi: Dynamic synthesis of program invariants using genetic programming. IEEE Congress on Evolutionary Computation 2011: 624-631
142		Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces. MoDELS 2011: 2-16
141		Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio: Runtime Monitoring of Functional Component Changes with Behavior Models. MoDELS Workshops 2011: 152-166
140		Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi: An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59
139		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
138		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
137		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
136		Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi: Computational REST Meets Erlang. TOOLS (49) 2011: 244-259
135		Carlo Ghezzi: Engineering Evolving and Self-Adaptive Systems: An Overview. Software and Systems Safety - Specification and Verification 2011: 88-102
134		Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming CoRR abs/1104.1351: (2011)
133		Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella: Context-Oriented Programming: A Programming Paradigm for Autonomic Systems CoRR abs/1105.0069: (2011)
132		Luciano Baresi, Carlo Ghezzi, Luca Mottola: Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. IEEE Trans. Software Eng. 37(2): 228-246 (2011)
	2010
131		Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola: Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20
130		Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea: Model-Driven Management of Services. ECOWS 2010: 147-154
129		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
128		Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi: Automatic Cross Validation of Multiple Specifications: A Case Study. FASE 2010: 233-247
127		Luciano Baresi, Carlo Ghezzi: The disappearing boundary between development-time and run-time. FoSER 2010: 17-22
126		Mauro Caporuscio, Marco Funaro, Carlo Ghezzi: Architectural Issues of Adaptive Pervasive Systems. Graph Transformations and Model-Driven Engineering 2010: 492-511
125		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
124		Marco Funaro, Daniele Braga, Alessandro Campi, Carlo Ghezzi: A hybrid approach (syntactic and textual) to clone detection. IWSC 2010: 79-80
123		Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: QVTR2: A Rational and Performance-Aware Extension to the Relations Language. MoDELS Workshops 2010: 328
122		Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli: QoS Driven Dynamic Binding in-the-many. QoSA 2010: 68-83
121		Carlo Ghezzi: Adaptive Software Needs Continuous Verification. SEFM 2010: 3-4
120		Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli: Change-point detection for black-box services. SIGSOFT FSE 2010: 227-236
119		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
	2009
118		Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Model evolution by run-time parameter adaptation. ICSE 2009: 111-121
117		Carlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440
116		Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE 2009: 623-626
115		Carlo Ghezzi, Giordano Tamburrelli: Predicting Performance Properties for Open Systems with KAMI. QoSA 2009: 70-85
114		Carlo Ghezzi, Giordano Tamburrelli: Reasoning on Non-Functional Requirements for Integrated Services. RE 2009: 69-78
113		Carlo Ghezzi: Decentralized Software Development: Pitfalls and Challenges. SEAFOOD 2009: 1-2
112		Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli: The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
	2008
111		Domenico Bianculli, Carlo Ghezzi: SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops 2008: 49-56
110		Carlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
109		Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: Transparent Reputation Management for Composite Web Services. ICWS 2008: 621-628
108		Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Rethinking the Use of Models in Software Architecture. QoSA 2008: 1-27
107		Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA 2008: 119-134
106		Carlo Ghezzi, Giordano Tamburrelli: Choosing a Software Architecture: An Approach and a Case Study. SEKE 2008: 255-260
105		Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Model Driven QoS Analyses of Composed Web Services. ServiceWave 2008: 299-311
104		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)
103		Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008)
102		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)
	2007
101		Carlo Ghezzi: Foreword to the doctoral symposium. ESEC/SIGSOFT FSE (Companion) 2007: 573
100		Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
99		Luciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208
98		Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings: Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC 2007: 449-455
97		Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
96		Domenico Bianculli, Carlo Ghezzi: Monitoring conversational web services. IW-SOSWE 2007: 15-21
95		Carlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105
94		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
93		Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62
92		Domenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
91		Carlo Ghezzi: The challenges of open-world software. WOSP 2007: 90
90		Luciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46
89		Carlo Ghezzi, Sam Guinea: Run-Time Monitoring in Service-Oriented Architectures. Test and Analysis of Web Services 2007: 237-264
88		Carlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): (2007)
87		Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
86		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)
	2006
85		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
84		Carlo Ghezzi: Software Engineering: Emerging Goals and Lasting Problems. FASE 2006: 2
83		Luciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135
82		Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252
81		Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006)
80		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)
	2005
79		Carlo Ghezzi, Dino Mandrioli: The challenges of software engineering education. ICSE 2005: 637-638
78		Carlo Ghezzi: Flexible Processes for Evolvable Products. IEEE METRICS 2005: 1
77		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
76		Carlo Ghezzi, Dino Mandrioli: The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127
75		Carlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 14(2): 119-123 (2005)
74		Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)
	2004
73		Luciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73
72		Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco: Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353
71		Luciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202
70		Carlo Ghezzi, Paola Inverardi: Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)
	2003
69		Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering (2. ed.). Prentice Hall 2003: I-XX, 1-604
68		Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini: Using Agents for Multi-target Search on the Web. SAC 2003: 828-833
67		Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)
	2002
66		Carlo Ghezzi: Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. ICGT 2002: 1-5
65		Davide Balzarotti, Carlo Ghezzi, Mattia Monga: Freeing Cooperation from Servers Tyranny. NETWORKING Workshops 2002: 235-246
64		Davide Balzarotti, Carlo Ghezzi, Mattia Monga: Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE 2002: 507-511
	2001
63		Elisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini: Using Agents in Performing Multi-site Queries. CIA 2001: 100-105
62		Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
61		Egidio Astesiano, Carlo Ghezzi: Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001)
	2000
60		Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ACM 2000
	1999
59		Carlo Ghezzi: Complexity in Human Centered Systems: The Case of Software Processes. ICECCS 1999: 178-
58		Gianpaolo Cugola, Carlo Ghezzi: Design and Implementation of PROSYT: A Distributed Process Support System. WETICE 1999: 32-39
57		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)
	1998
56		Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts (3. ed.). Wiley 1998: I-XIX, 1-427
55		Gianpaolo Cugola, Carlo Ghezzi: Software processes: a retrospective and a path to the future. Software Process: Improvement and Practice 4(3): 101-123 (1998)
	1997
54		Carlo Ghezzi: Software Engineering Issues for Network Computing. ICSM 1997: 2
53		Carlo Ghezzi, Giovanni Vigna: Mobile Code Paradigms and Technologies: A Case Study. Mobile Agents 1997: 39-49
52		Gianpaolo Cugola, Carlo Ghezzi: CJava: Introducing Concurrent Objects in Java. OOIS 1997: 504-514
51		Carlo Ghezzi, Giovanni Vigna: Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering 1997: 155-177
50		Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301
49		Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer: Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997)
	1996
48		Gianpaolo Cugola, Carlo Ghezzi: Program families: some requirements issues for the process languages. ISPW 1996: 48-50
47		Gianpaolo Cugola, Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna: Analyzing Mobile Code Languages. Mobile Object Systems 1996: 93-110
46		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)
	1995
45		Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione: How to Deal With Deviations During Process Model Enactment. ICSE 1995: 265-273
	1994
44		Carlo Ghezzi: Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA IEEE Computer Society 1994
43		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)
42		Carlo Ghezzi, Sandro Morasca, Mauro Pezzè: Validating timing requirements for time basic net specifications. Journal of Systems and Software 27(2): 97-117 (1994)
	1993
41		Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36
40		Alfonso Fuggetta, Carlo Ghezzi: Process Formalisms Need to be Fully Reflective. ISPW 1993: 78-80
39		Miguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
38		Carlo Ghezzi, Mauro Pezzè: Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77
37		Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi: Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. 19(12): 1128-1144 (1993)
36		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)
35		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)
34		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)
33		Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. Softw., Pract. Exper. 23(6): 629-653 (1993)
	1992
32		Tony Montgomery, Lori A. Clarke, Carlo Ghezzi: Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992. ACM Press 1992
31		Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli: Process Enactment in SPADE. EWSPT 1992: 67-83
30		Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti: Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462
29		Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)
28		Richard A. Kemmerer, Carlo Ghezzi: Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 766-767 (1992)
	1991
27		Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of software engineering. Prentice Hall 1991: I-XV, 1-573
26		Carlo Ghezzi, Richard A. Kemmerer: ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC 1991: 122-146
25		Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti: A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43
24		Carlo Ghezzi, Richard A. Kennerer: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122
23		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)
22		Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli: Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)
	1990
21		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)
	1989
20		Carlo Ghezzi, John A. McDermid: ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings Springer 1989
19		Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)
18		Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli: Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989)
	1987
17		Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts (2. ed.). Wiley 1987: I-XVII, 1-428
16		Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190
15		Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40
	1985
14		Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio: Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128
13		Dino Mandrioli, Roberto Zicari, Carlo Ghezzi, Francesco Tisato: Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985)
12		Carlo Ghezzi: Concurrency in programming languages: A survey. Parallel Computing 2(3): 229-241 (1985)
	1984
11		Annalisa Bossi, Carlo Ghezzi: Using FP As a Query Language for Relational Data-Bases. Comput. Lang. 9(1): 25-37 (1984)
	1982
10		Carlo Ghezzi, Mehdi Jazayeri: Programming language concepts. Wiley 1982: I-XVI, 1-327
9		Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato: Language Constructs for Real-Time Distributed Systems. Comput. Lang. 7(1): 11-20 (1982)
	1980
8		Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi: SIMPLE: A Program Development System. Comput. Lang. 5(2): 103-114 (1980)
7		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)
6		Carlo Ghezzi, Dino Mandrioli: Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980)
5		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)
	1979
4		Carlo Ghezzi, Dino Mandrioli: Incremental Parsing. ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979)
	1978
3		Pierluigi Della Vigna, Carlo Ghezzi: Context-Free Graph Grammars Information and Control 37(2): 207-233 (1978)
	1976
2		Pierluigi Della Vigna, Carlo Ghezzi: Data Structures and Graph Grammars. ECI 1976: 130-145
	1975
1		Carlo Ghezzi: LL(1) Grammars Supporting an Efficient Error Handling. Inf. Process. Lett. 3(6): 174-176 (1975)

Coauthor Index

1	Danilo Ardagna	[105] [108] [119]
2	Pasquale Armenise	[30] [36]
3	Egidio Astesiano	[61]
4	Davide Balzarotti	[64] [65] [80]
5	Sergio Bandinelli	[25] [30] [31] [36] [37]
6	Luciano Baresi	[71] [73] [77] [81] [82] [83] [85] [86] [87] [90] [93] [94] [97] [99] [100] [103] [127] [130] [132] [139]
7	Carlo Bellettini	[41]
8	Paolo Beretta	[85]
9	Daniel M. Berry	[9]
10	Domenico Bianculli	[87] [92] [94] [96] [97] [98] [109] [111] [116]
11	Walter Binder	[98] [109] [116]
12	Annalisa Bossi	[11]
13	Daniele Braga	[124]
14	Javier Cámara	[138]
15	Alessandro Campi	[124]
16	Mauro Caporuscio	[126] [130] [151]
17	Luigi Cardamone	[143]
18	Augusto Celentano	[5] [7] [8]
19	Lori A. Clarke	[32]
20	Alberto Coen-Porisini	[22] [49] [62]
21	Marco Comi	[129]
22	Stefano Crespi-Reghizzi	[5] [129]
23	Gianpaolo Cugola	[45] [46] [47] [48] [52] [55] [58] [136]
24	Luca DeFerrari	[129]
25	Giovanni Denaro	[62]
26	Salvatore Distefano	[147]
27	Mauro Luigi Drago	[109] [116] [123] [142] [150]
28	Ilenia Epifani	[118] [120]
29	H.-Christian Estler	[145]
30	Boi Faltings	[98]
31	Miguel Felder	[35] [39] [41]
32	Antonio Filieri	[131] [144] [147] [148] [149]
33	Roberto Fraccapani	[85]
34	Chen Fu	[129]
35	Alfonso Fuggetta	[18] [25] [31] [33] [37] [40] [43] [46]
36	Marco Funaro	[124] [126] [151]
37	Stefano Gallotti	[107]
38	Franca Garzotto	[16]
39	Giorgio Gerosa	[93]
40	G. Granata	[5]
41	Vincenzo Grassi	[131]
42	Mark Grechanik	[129]
43	Sandro Grigolli	[31]
44	Lars Grunske	[125]
45	Sam Guinea	[71] [86] [87] [89] [90] [94] [97] [130]
46	Fei He	[100]
47	Paola Inverardi	[70] [110]
48	Mehdi Jazayeri	[10] [17] [27] [50] [56] [60] [69]
49	Radu Jurca	[98]
50	Richard A. Kemmerer	[26] [28] [49]
51	Richard A. Kennerer	[24]
52	Jeff Kramer (Jeffrey Kramer)	[74] [102]
53	Rogério de Lemos	[138]
54	Alberto Leva	[148]
55	Antónia Lopes	[138]
56	Jian Lu (Jian Lü)	[139]
57	Xiaoxing Ma	[139]
58	Jeff Magee (Jeff N. Magee)	[67]
59	Martina Maggio	[148]
60	Dino Mandrioli	[4] [6] [7] [9] [13] [14] [16] [18] [19] [21] [22] [23] [27] [29] [33] [50] [69] [76] [79]
61	Valerio Panzica La Manna	[122] [139]
62	M. Mantione	[45]
63	Vincenzo Martena	[72]
64	John A. McDermid	[20]
65	Collin McMillan	[129]
66	Andreas Metzger	[104]
67	Bertrand Meyer	[112] [145]
68	Antonio Miele	[77]
69	Raffaela Mirandola	[105] [107] [108] [118] [123] [125] [131] [142] [147] [150]
70	Matteo Miraz	[77]
71	Roman Mitin	[112]
72	Andrea Mocci	[95] [103] [117] [128] [141] [143]
73	Mattia Monga	[64] [65] [80] [95] [103] [117]
74	Carlo Montangero	[110]
75	Tony Montgomery	[32]
76	Sandro Morasca	[19] [23] [42]
77	Angelo Morzenti	[15] [16] [21] [25] [29] [30] [33] [36]
78	Alfredo Motta	[122]
79	Luca Mottola	[83] [93] [99] [132]
80	Andrea Naggi	[77]
81	Elisabetta Di Nitto	[45] [46] [63] [68] [81] [82] [86] [104] [112] [145]
82	Martin Nordio (Martín Nordio)	[112] [145]
83	Bashar Nuseibeh	[57]
84	Leon J. Osterweil	[74] [102]
85	Filippo Pacifici	[77] [85]
86	Barbara Panicucci	[119]
87	Flavio De Paoli	[22]
88	Mike P. Papazoglou (Michael P. Papazoglou)	[104]
89	Mauro Pezzè	[15] [19] [23] [35] [38] [39] [42] [62]
90	Gian Pietro Picco	[47] [72]
91	Klaus Pohl	[104]
92	Denys Poshyvanyk	[129]
93	Matteo Pradella	[133] [134] [140] [152]
94	Gruia-Catalin Roman	[34]
95	H. Dieter Rombach	[67]
96	Maurizio Sabba	[63]
97	Guido Salvaneschi	[128] [133] [134] [140] [152]
98	Mario Sangiorgio	[141]
99	F. Savoretti	[5]
100	Paolo Selvini	[63] [68]
101	Amir Molzam Sharifloo	[137]
102	Alessandro Sivieri	[136]
103	Mary Lou Soffa	[67]
104	Paola Spoletini	[87] [92] [94] [97] [100]
105	Giordano Tamburrelli	[106] [107] [112] [114] [115] [118] [120] [122] [144] [149]
106	Antonio Tecchio	[14]
107	Francesco Tisato	[9] [13]
108	Marco Trubian	[119]
109	Julian Tschannen	[145]
110	Giovanni Vigna	[47] [51] [53]
111	Pierluigi Della Vigna	[2] [3] [5] [7] [8]
112	Alexander L. Wolf	[60] [74] [102]
113	Qing Xie	[129]
114	Roberto Zicari	[13]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page