2008 |
103 | EE | Domenico Bianculli,
Carlo Ghezzi:
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions.
ASE Workshops 2008: 49-56 |
102 | EE | Carlo Ghezzi,
Paola Inverardi,
Carlo Montangero:
Dynamically Evolvable Dependable Software: From Oxymoron to Reality.
Concurrency, Graphs and Models 2008: 330-353 |
101 | EE | Domenico Bianculli,
Walter Binder,
Luigi Drago,
Carlo Ghezzi:
Transparent Reputation Management for Composite Web Services.
ICWS 2008: 621-628 |
100 | EE | Danilo Ardagna,
Carlo Ghezzi,
Raffaela Mirandola:
Rethinking the Use of Models in Software Architecture.
QoSA 2008: 1-27 |
99 | EE | Stefano Gallotti,
Carlo Ghezzi,
Raffaela Mirandola,
Giordano Tamburrelli:
Quality Prediction of Service Compositions through Probabilistic Model Checking.
QoSA 2008: 119-134 |
98 | | Carlo Ghezzi,
Giordano Tamburrelli:
Choosing a Software Architecture: An Approach and a Case Study.
SEKE 2008: 255-260 |
97 | EE | Danilo Ardagna,
Carlo Ghezzi,
Raffaela Mirandola:
Model Driven QoS Analyses of Composed Web Services.
ServiceWave 2008: 299-311 |
96 | EE | 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) |
95 | EE | Luciano Baresi,
Carlo Ghezzi,
Andrea Mocci,
Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions.
ECEASST 10: (2008) |
94 | EE | 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 |
93 | EE | Carlo Ghezzi:
Foreword to the doctoral symposium.
ESEC/SIGSOFT FSE (Companion) 2007: 573 |
92 | EE | Fei He,
Luciano Baresi,
Carlo Ghezzi,
Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
FORTE 2007: 247-262 |
91 | EE | Luciano Baresi,
Carlo Ghezzi,
Luca Mottola:
On Accurate Automatic Verification of Publish-Subscribe Architectures.
ICSE 2007: 199-208 |
90 | EE | Domenico Bianculli,
Radu Jurca,
Walter Binder,
Carlo Ghezzi,
Boi Faltings:
Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
ICSOC 2007: 449-455 |
89 | EE | Luciano Baresi,
Domenico Bianculli,
Carlo Ghezzi,
Sam Guinea,
Paola Spoletini:
A Timed Extension of WSCoL.
ICWS 2007: 663-670 |
88 | EE | Domenico Bianculli,
Carlo Ghezzi:
Monitoring conversational web services.
IW-SOSWE 2007: 15-21 |
87 | EE | Carlo Ghezzi,
Andrea Mocci,
Mattia Monga:
Efficient recovery of algebraic specifications for stateful components.
IWPSE 2007: 98-105 |
86 | EE | 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 |
85 | EE | Luciano Baresi,
Giorgio Gerosa,
Carlo Ghezzi,
Luca Mottola:
Playing with time in publish-subscribe using a domain-specific model checker.
SAVCBS 2007: 55-62 |
84 | EE | Domenico Bianculli,
Carlo Ghezzi,
Paola Spoletini:
A Model Checking Approach to Verify BPEL4WS Workflows.
SOCA 2007: 13-20 |
83 | EE | Carlo Ghezzi:
The challenges of open-world software.
WOSP 2007: 90 |
82 | EE | Luciano Baresi,
Carlo Ghezzi,
Sam Guinea:
Towards Self-healing Composition of Services.
Contributions to Ubiquitous Computing 2007: 27-46 |
81 | EE | Carlo Ghezzi,
Sam Guinea:
Run-Time Monitoring in Service-Oriented Architectures.
Test and Analysis of Web Services 2007: 237-264 |
80 | EE | Carlo Ghezzi:
Editorial.
ACM Trans. Softw. Eng. Methodol. 16(1): (2007) |
79 | EE | 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 |
78 | EE | 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 |
77 | EE | Carlo Ghezzi:
Software Engineering: Emerging Goals and Lasting Problems.
FASE 2006: 2 |
76 | EE | Luciano Baresi,
Carlo Ghezzi,
Luca Mottola:
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.
FORTE 2006: 131-135 |
75 | EE | Luciano Baresi,
Elisabetta Di Nitto,
Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges.
SEW 2006: 249-252 |
74 | EE | Luciano Baresi,
Elisabetta Di Nitto,
Carlo Ghezzi:
Toward Open-World Software: Issue and Challenges.
IEEE Computer 39(10): 36-43 (2006) |
73 | EE | 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 |
72 | EE | Carlo Ghezzi,
Dino Mandrioli:
The challenges of software engineering education.
ICSE 2005: 637-638 |
71 | EE | Carlo Ghezzi:
Flexible Processes for Evolvable Products.
IEEE METRICS 2005: 1 |
70 | EE | 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 |
69 | EE | Carlo Ghezzi,
Dino Mandrioli:
The Challenges of Software Engineering Education.
Software Education and Training Sessions @ ICSE 2005: 115-127 |
68 | EE | Carlo Ghezzi:
Editorial.
ACM Trans. Softw. Eng. Methodol. 14(2): 119-123 (2005) |
67 | EE | Leon J. Osterweil,
Carlo Ghezzi,
Jeff Kramer,
Alexander L. Wolf:
Editorial.
ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) |
2004 |
66 | EE | Luciano Baresi,
Carlo Ghezzi:
Validation of Component and Service Federations in Automotive Software Applications.
ASWSD 2004: 57-73 |
65 | EE | Carlo Ghezzi,
Vincenzo Martena,
Gian Pietro Picco:
Enhancing Remote Method Invocation through Type-Based Static Analysis.
FASE 2004: 339-353 |
64 | EE | Luciano Baresi,
Carlo Ghezzi,
Sam Guinea:
Smart monitors for composed services.
ICSOC 2004: 193-202 |
63 | EE | Carlo 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 |
61 | EE | Carlo Ghezzi,
Jeff Magee,
H. Dieter Rombach,
Mary Lou Soffa:
Editorial.
ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003) |
2002 |
60 | EE | Carlo Ghezzi:
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.
ICGT 2002: 1-5 |
59 | EE | Davide Balzarotti,
Carlo Ghezzi,
Mattia Monga:
Freeing Cooperation from Servers Tyranny.
NETWORKING Workshops 2002: 235-246 |
58 | EE | Davide Balzarotti,
Carlo Ghezzi,
Mattia Monga:
Supporting configuration management for virtual workgroups ini a peer-to-peer setting.
SEKE 2002: 507-511 |
2001 |
57 | EE | Elisabetta Di Nitto,
Carlo Ghezzi,
Maurizio Sabba,
Paolo Selvini:
Using Agents in Performing Multi-site Queries.
CIA 2001: 100-105 |
56 | EE | Alberto 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 |
54 | EE | Carlo Ghezzi:
Complexity in Human Centered Systems: The Case of Software Processes.
ICECCS 1999: 178- |
53 | EE | Gianpaolo Cugola,
Carlo Ghezzi:
Design and Implementation of PROSYT: A Distributed Process Support System.
WETICE 1999: 32-39 |
52 | EE | 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 |
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 |
50 | EE | Carlo 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 |
45 | EE | Alberto Coen-Porisini,
Carlo Ghezzi,
Richard A. Kemmerer:
Specification of Realtime Systems Using ASTRAL.
IEEE Trans. Software Eng. 23(9): 572-598 (1997) |
1996 |
44 | EE | Gianpaolo 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 |
42 | EE | 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 |
41 | EE | Gianpaolo 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 |
39 | EE | 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) |
38 | EE | 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 |
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 |
35 | EE | Miguel 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 |
33 | EE | Sergio Bandinelli,
Alfonso Fuggetta,
Carlo Ghezzi:
Process Model Evolution in the SPADE Environment.
IEEE Trans. Software Eng. 19(12): 1128-1144 (1993) |
32 | EE | 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) |
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 |
27 | EE | Pasquale Armenise,
Sergio Bandinelli,
Carlo Ghezzi,
Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment.
SEKE 1992: 455-462 |
26 | EE | Angelo Morzenti,
Dino Mandrioli,
Carlo Ghezzi:
A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992) |
25 | EE | 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 |
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 |
22 | EE | Carlo Ghezzi,
Richard A. Kennerer:
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.
Symposium on Testing, Analysis, and Verification 1991: 112-122 |
21 | EE | 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) |
20 | EE | 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 |
19 | EE | 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 |
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) |
16 | EE | 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 |
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 |
13 | | Carlo 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) |
11 | EE | Carlo 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) |
6 | EE | 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 | EE | 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) |