dblp.uni-trier.dewww.uni-trier.de

Carlo Ghezzi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
110EEIlenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Model evolution by run-time parameter adaptation. ICSE 2009: 111-121
109EECarlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440
108EEDomenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: ReMan: A pro-active reputation management infrastructure for composite Web services. ICSE 2009: 623-626
107EECarlo Ghezzi, Giordano Tamburrelli: Predicting Performance Properties for Open Systems with KAMI. QoSA 2009: 70-85
106EECarlo Ghezzi: Decentralized Software Development: Pitfalls and Challenges. SEAFOOD 2009: 1-2
105EEMartin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli: The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
2008
104EEDomenico Bianculli, Carlo Ghezzi: SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. ASE Workshops 2008: 49-56
103EECarlo Ghezzi, Paola Inverardi, Carlo Montangero: Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Concurrency, Graphs and Models 2008: 330-353
102EEDomenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi: Transparent Reputation Management for Composite Web Services. ICWS 2008: 621-628
101EEDanilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Rethinking the Use of Models in Software Architecture. QoSA 2008: 1-27
100EEStefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA 2008: 119-134
99 Carlo Ghezzi, Giordano Tamburrelli: Choosing a Software Architecture: An Approach and a Case Study. SEKE 2008: 255-260
98EEDanilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Model Driven QoS Analyses of Composed Web Services. ServiceWave 2008: 299-311
97EEElisabetta 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)
96EELuciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008)
95EELeon 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
94EECarlo Ghezzi: Foreword to the doctoral symposium. ESEC/SIGSOFT FSE (Companion) 2007: 573
93EEFei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
92EELuciano Baresi, Carlo Ghezzi, Luca Mottola: On Accurate Automatic Verification of Publish-Subscribe Architectures. ICSE 2007: 199-208
91EEDomenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings: Automated Dynamic Maintenance of Composite Services Based on Service Reputation. ICSOC 2007: 449-455
90EELuciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: A Timed Extension of WSCoL. ICWS 2007: 663-670
89EEDomenico Bianculli, Carlo Ghezzi: Monitoring conversational web services. IW-SOSWE 2007: 15-21
88EECarlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105
87EEDomenico 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
86EELuciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola: Playing with time in publish-subscribe using a domain-specific model checker. SAVCBS 2007: 55-62
85EEDomenico Bianculli, Carlo Ghezzi, Paola Spoletini: A Model Checking Approach to Verify BPEL4WS Workflows. SOCA 2007: 13-20
84EECarlo Ghezzi: The challenges of open-world software. WOSP 2007: 90
83EELuciano Baresi, Carlo Ghezzi, Sam Guinea: Towards Self-healing Composition of Services. Contributions to Ubiquitous Computing 2007: 27-46
82EECarlo Ghezzi, Sam Guinea: Run-Time Monitoring in Service-Oriented Architectures. Test and Analysis of Web Services 2007: 237-264
81EECarlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 16(1): (2007)
80EELuciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini: Validation of web service compositions. IET Software 1(6): 219-232 (2007)
79EELuciano 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
78EELuciano 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
77EECarlo Ghezzi: Software Engineering: Emerging Goals and Lasting Problems. FASE 2006: 2
76EELuciano Baresi, Carlo Ghezzi, Luca Mottola: Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. FORTE 2006: 131-135
75EELuciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Towards Open-World Software: Issue and Challenges. SEW 2006: 249-252
74EELuciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi: Toward Open-World Software: Issue and Challenges. IEEE Computer 39(10): 36-43 (2006)
73EEDavide 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
72EECarlo Ghezzi, Dino Mandrioli: The challenges of software engineering education. ICSE 2005: 637-638
71EECarlo Ghezzi: Flexible Processes for Evolvable Products. IEEE METRICS 2005: 1
70EELuciano 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
69EECarlo Ghezzi, Dino Mandrioli: The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127
68EECarlo Ghezzi: Editorial. ACM Trans. Softw. Eng. Methodol. 14(2): 119-123 (2005)
67EELeon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)
2004
66EELuciano Baresi, Carlo Ghezzi: Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73
65EECarlo Ghezzi, Vincenzo Martena, Gian Pietro Picco: Enhancing Remote Method Invocation through Type-Based Static Analysis. FASE 2004: 339-353
64EELuciano Baresi, Carlo Ghezzi, Sam Guinea: Smart monitors for composed services. ICSOC 2004: 193-202
63EECarlo Ghezzi, Paola Inverardi: Introduction to Special Issue on Distributed and Mobile Software Engineering. Autom. Softw. Eng. 11(3): 203-205 (2004)
2003
62 Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini: Using Agents for Multi-target Search on the Web. SAC 2003: 828-833
61EECarlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)
2002
60EECarlo Ghezzi: Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. ICGT 2002: 1-5
59EEDavide Balzarotti, Carlo Ghezzi, Mattia Monga: Freeing Cooperation from Servers Tyranny. NETWORKING Workshops 2002: 235-246
58EEDavide Balzarotti, Carlo Ghezzi, Mattia Monga: Supporting configuration management for virtual workgroups ini a peer-to-peer setting. SEKE 2002: 507-511
2001
57EEElisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini: Using Agents in Performing Multi-site Queries. CIA 2001: 100-105
56EEAlberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè: Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
55 Egidio Astesiano, Carlo Ghezzi: Fundamental Approaches to Software Engineering. Sci. Comput. Program. 40(1): 1-2 (2001)
1999
54EECarlo Ghezzi: Complexity in Human Centered Systems: The Case of Software Processes. ICECCS 1999: 178-
53EEGianpaolo Cugola, Carlo Ghezzi: Design and Implementation of PROSYT: A Distributed Process Support System. WETICE 1999: 32-39
52EECarlo 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
51 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
50EECarlo Ghezzi: Software Engineering Issues for Network Computing. ICSM 1997: 2
49 Carlo Ghezzi, Giovanni Vigna: Mobile Code Paradigms and Technologies: A Case Study. Mobile Agents 1997: 39-49
48 Gianpaolo Cugola, Carlo Ghezzi: CJava: Introducing Concurrent Objects in Java. OOIS 1997: 504-514
47 Carlo Ghezzi, Giovanni Vigna: Software Engineering Issues for Network Computing. Requirements Targeting Software and Systems Engineering 1997: 155-177
46 Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301
45EEAlberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer: Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997)
1996
44EEGianpaolo Cugola, Carlo Ghezzi: Program families: some requirements issues for the process languages. ISPW 1996: 48-50
43 Gianpaolo Cugola, Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna: Analyzing Mobile Code Languages. Mobile Object Systems 1996: 93-110
42EEGianpaolo 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
41EEGianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione: How to Deal With Deviations During Process Model Enactment. ICSE 1995: 265-273
1994
40 Carlo Ghezzi: Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA IEEE Computer Society 1994
39EEAlfonso 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)
38EECarlo Ghezzi, Sandro Morasca, Mauro Pezzè: Validating timing requirements for time basic net specifications. Journal of Systems and Software 27(2): 97-117 (1994)
1993
37 Carlo Ghezzi, Miguel Felder, Carlo Bellettini: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. ESEC 1993: 11-36
36 Alfonso Fuggetta, Carlo Ghezzi: Process Formalisms Need to be Fully Reflective. ISPW 1993: 78-80
35EEMiguel Felder, Carlo Ghezzi, Mauro Pezzè: Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
34 Carlo Ghezzi, Mauro Pezzè: Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77
33EESergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi: Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. 19(12): 1128-1144 (1993)
32EEPasquale 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)
31 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)
30 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)
29 Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. Softw., Pract. Exper. 23(6): 629-653 (1993)
1992
28 Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli: Process Enactment in SPADE. EWSPT 1992: 67-83
27EEPasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti: Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462
26EEAngelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)
25EERichard A. Kemmerer, Carlo Ghezzi: Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 766-767 (1992)
1991
24 Carlo Ghezzi, Richard A. Kemmerer: ASTRAL: An Assertion Language for Specifying Realtime Systems. ESEC 1991: 122-146
23 Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti: A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43
22EECarlo Ghezzi, Richard A. Kennerer: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122
21EECarlo 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)
20EEAlberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli: Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991)
1990
19EECarlo 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
18 Carlo Ghezzi, John A. McDermid: ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings Springer 1989
17 Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè: Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)
16EEAlfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli: Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989)
1987
15 Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190
14 Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40
1985
13EECarlo Ghezzi, Dino Mandrioli, Antonio Tecchio: Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128
12 Dino Mandrioli, Roberto Zicari, Carlo Ghezzi, Francesco Tisato: Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985)
11EECarlo Ghezzi: Concurrency in programming languages: A survey. Parallel Computing 2(3): 229-241 (1985)
1984
10 Annalisa Bossi, Carlo Ghezzi: Using FP As a Query Language for Relational Data-Bases. Comput. Lang. 9(1): 25-37 (1984)
1982
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)
6EECarlo 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
4EECarlo 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

1Danilo Ardagna [98] [101]
2Pasquale Armenise [27] [32]
3Egidio Astesiano [55]
4Davide Balzarotti [58] [59] [73]
5Sergio Bandinelli [23] [27] [28] [32] [33]
6Luciano Baresi [64] [66] [70] [74] [75] [76] [78] [79] [80] [83] [86] [87] [90] [92] [93] [96]
7Carlo Bellettini [37]
8Paolo Beretta [78]
9Daniel M. Berry [9]
10Domenico Bianculli [80] [85] [87] [89] [90] [91] [102] [104] [108]
11Walter Binder [91] [102] [108]
12Annalisa Bossi [10]
13Augusto Celentano [5] [7] [8]
14Alberto Coen-Porisini [20] [45] [56]
15Stefano Crespi-Reghizzi [5]
16Gianpaolo Cugola [41] [42] [43] [44] [48] [51] [53]
17Giovanni Denaro [56]
18Mauro Luigi Drago [102] [108]
19Ilenia Epifani [110]
20Boi Faltings [91]
21Miguel Felder [31] [35] [37]
22Roberto Fraccapani [78]
23Alfonso Fuggetta [16] [23] [28] [29] [33] [36] [39] [42]
24Stefano Gallotti [100]
25Franca Garzotto [15]
26Giorgio Gerosa [86]
27G. Granata [5]
28Sandro Grigolli [28]
29Sam Guinea [64] [79] [80] [82] [83] [87] [90]
30Fei He [93]
31Paola Inverardi [63] [103]
32Mehdi Jazayeri [46]
33Radu Jurca [91]
34Richard A. Kemmerer [24] [25] [45]
35Richard A. Kennerer [22]
36Jeff Kramer [67] [95]
37Jeff Magee (Jeff N. Magee) [61]
38Dino Mandrioli [4] [6] [7] [9] [12] [13] [15] [16] [17] [19] [20] [21] [26] [29] [46] [69] [72]
39M. Mantione [41]
40Vincenzo Martena [65]
41John A. McDermid [18]
42Andreas Metzger [97]
43Bertrand Meyer [105]
44Antonio Miele [70]
45Raffaela Mirandola [98] [100] [101] [110]
46Matteo Miraz [70]
47Roman Mitin [105]
48Andrea Mocci [88] [96] [109]
49Mattia Monga [58] [59] [73] [88] [96] [109]
50Carlo Montangero [103]
51Sandro Morasca [17] [21] [38]
52Angelo Morzenti [14] [15] [19] [23] [26] [27] [29] [32]
53Luca Mottola [76] [86] [92]
54Andrea Naggi [70]
55Elisabetta Di Nitto [41] [42] [57] [62] [74] [75] [79] [97] [105]
56Martin Nordio [105]
57Bashar Nuseibeh [52]
58Leon J. Osterweil [67] [95]
59Filippo Pacifici [70] [78]
60Flavio De Paoli [20]
61Mike P. Papazoglou [97]
62Mauro Pezzè [14] [17] [21] [31] [34] [35] [38] [56]
63Gian Pietro Picco [43] [65]
64Klaus Pohl [97]
65Gruia-Catalin Roman [30]
66H. Dieter Rombach [61]
67Maurizio Sabba [57]
68F. Savoretti [5]
69Paolo Selvini [57] [62]
70Mary Lou Soffa [61]
71Paola Spoletini [80] [85] [87] [90] [93]
72Giordano Tamburrelli [99] [100] [105] [107] [110]
73Antonio Tecchio [13]
74Francesco Tisato [9] [12]
75Giovanni Vigna [43] [47] [49]
76Pierluigi Della Vigna [2] [3] [5] [7] [8]
77Alexander L. Wolf [67] [95]
78Roberto Zicari [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)