Search the dblp DataBase
Carlo Ghezzi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sergio Bandinelli , Alfonso Fuggetta , Carlo Ghezzi Process Model Evolution in the SPADE Environment. [Citation Graph (3, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:12, pp:1128-1144 [Journal ] Angelo Morzenti , Dino Mandrioli , Carlo Ghezzi A Model Parametric Real-Time Logic. [Citation Graph (2, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1992, v:14, n:4, pp:521-573 [Journal ] Sergio Bandinelli , Alfonso Fuggetta , Carlo Ghezzi , Sandro Grigolli Process Enactment in SPADE. [Citation Graph (1, 0)][DBLP ] EWSPT, 1992, pp:67-83 [Conf ] Daniel M. Berry , Carlo Ghezzi , Dino Mandrioli , Francesco Tisato Language Constructs for Real-Time Distributed Systems. [Citation Graph (1, 0)][DBLP ] Comput. Lang., 1982, v:7, n:1, pp:11-20 [Journal ] Annalisa Bossi , Carlo Ghezzi Using FP As a Query Language for Relational Data-Bases. [Citation Graph (1, 0)][DBLP ] Comput. Lang., 1984, v:9, n:1, pp:25-37 [Journal ] Carlo Ghezzi , Angelo Morzenti , Mauro Pezzè On the Role of Software Reliability in Software Engineering. [Citation Graph (0, 0)][DBLP ] Software Reliability Modelling and Identification, 1987, pp:1-40 [Conf ] Elisabetta Di Nitto , Carlo Ghezzi , Maurizio Sabba , Paolo Selvini Using Agents in Performing Multi-site Queries. [Citation Graph (0, 0)][DBLP ] CIA, 2001, pp:100-105 [Conf ] Pierluigi Della Vigna , Carlo Ghezzi Data Structures and Graph Grammars. [Citation Graph (0, 0)][DBLP ] ECI, 1976, pp:130-145 [Conf ] Luciano Baresi , Carlo Ghezzi , Antonio Miele , Matteo Miraz , Andrea Naggi , Filippo Pacifici Hybrid service-oriented architectures: a case-study in the automotive domain. [Citation Graph (0, 0)][DBLP ] SEM, 2005, pp:62-68 [Conf ] Franca Garzotto , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti On the Specification of Real-Time Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:180-190 [Conf ] Carlo Ghezzi , Miguel Felder , Carlo Bellettini Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. [Citation Graph (0, 0)][DBLP ] ESEC, 1993, pp:11-36 [Conf ] Carlo Ghezzi , Richard A. Kemmerer ASTRAL: An Assertion Language for Specifying Realtime Systems. [Citation Graph (0, 0)][DBLP ] ESEC, 1991, pp:122-146 [Conf ] Carlo Ghezzi Software Engineering: Emerging Goals and Lasting Problems. [Citation Graph (0, 0)][DBLP ] FASE, 2006, pp:2- [Conf ] Carlo Ghezzi , Vincenzo Martena , Gian Pietro Picco Enhancing Remote Method Invocation through Type-Based Static Analysis. [Citation Graph (0, 0)][DBLP ] FASE, 2004, pp:339-353 [Conf ] Luciano Baresi , Carlo Ghezzi , Luca Mottola Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. [Citation Graph (0, 0)][DBLP ] FORTE, 2006, pp:131-135 [Conf ] Carlo Ghezzi , Dino Mandrioli , Antonio Tecchio Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:116-128 [Conf ] Carlo Ghezzi Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:1-5 [Conf ] Carlo Ghezzi Complexity in Human Centered Systems: The Case of Software Processes. [Citation Graph (0, 0)][DBLP ] ICECCS, 1999, pp:178-0 [Conf ] Gianpaolo Cugola , Elisabetta Di Nitto , Carlo Ghezzi , M. Mantione How to Deal With Deviations During Process Model Enactment. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:265-273 [Conf ] Carlo Ghezzi , Dino Mandrioli The challenges of software engineering education. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:637-638 [Conf ] Carlo Ghezzi , Dino Mandrioli The Challenges of Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Software Education and Training Sessions @ ICSE, 2005, pp:115-127 [Conf ] Luciano Baresi , Carlo Ghezzi , Luca Mottola On Accurate Automatic Verification of Publish-Subscribe Architectures. [Citation Graph (0, 0)][DBLP ] ICSE, 2007, pp:199-208 [Conf ] Carlo Ghezzi Software Engineering Issues for Network Computing. [Citation Graph (0, 0)][DBLP ] ICSM, 1997, pp:2- [Conf ] Luciano Baresi , Carlo Ghezzi , Sam Guinea Smart monitors for composed services. [Citation Graph (0, 0)][DBLP ] ICSOC, 2004, pp:193-202 [Conf ] Sergio Bandinelli , Alfonso Fuggetta , Carlo Ghezzi , Angelo Morzenti A multi-paradigm Petri net based approach to process description. [Citation Graph (0, 0)][DBLP ] ISPW, 1991, pp:41-43 [Conf ] Alfonso Fuggetta , Carlo Ghezzi Process Formalisms Need to be Fully Reflective. [Citation Graph (0, 0)][DBLP ] ISPW, 1993, pp:78-80 [Conf ] Gianpaolo Cugola , Carlo Ghezzi Program families: some requirements issues for the process languages. [Citation Graph (0, 0)][DBLP ] ISPW, 1996, pp:48-50 [Conf ] Carlo Ghezzi , Richard A. Kennerer Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. [Citation Graph (0, 0)][DBLP ] Symposium on Testing, Analysis, and Verification, 1991, pp:112-122 [Conf ] Miguel Felder , Carlo Ghezzi , Mauro Pezzè Analyzing Refinements of State Based Specifications: The Case of TB Nets. [Citation Graph (0, 0)][DBLP ] ISSTA, 1993, pp:28-39 [Conf ] Carlo Ghezzi , Mauro Pezzè Towards Extensible Graphical Formalisms. [Citation Graph (0, 0)][DBLP ] IWSSD, 1993, pp:69-77 [Conf ] Carlo Ghezzi , Giovanni Vigna Mobile Code Paradigms and Technologies: A Case Study. [Citation Graph (0, 0)][DBLP ] Mobile Agents, 1997, pp:39-49 [Conf ] Carlo Ghezzi Flexible Processes for Evolvable Products. [Citation Graph (0, 0)][DBLP ] IEEE METRICS, 2005, pp:1- [Conf ] Gianpaolo Cugola , Carlo Ghezzi , Gian Pietro Picco , Giovanni Vigna Analyzing Mobile Code Languages. [Citation Graph (0, 0)][DBLP ] Mobile Object Systems, 1996, pp:93-110 [Conf ] Davide Balzarotti , Carlo Ghezzi , Mattia Monga Freeing Cooperation from Servers Tyranny. [Citation Graph (0, 0)][DBLP ] NETWORKING Workshops, 2002, pp:235-246 [Conf ] Gianpaolo Cugola , Carlo Ghezzi CJava: Introducing Concurrent Objects in Java. [Citation Graph (0, 0)][DBLP ] OOIS, 1997, pp:504-514 [Conf ] Carlo Ghezzi , Giovanni Vigna Software Engineering Issues for Network Computing. [Citation Graph (0, 0)][DBLP ] Requirements Targeting Software and Systems Engineering, 1997, pp:155-177 [Conf ] Elisabetta Di Nitto , Carlo Ghezzi , Paolo Selvini Using Agents for Multi-target Search on the Web. [Citation Graph (0, 0)][DBLP ] SAC, 2003, pp:828-833 [Conf ] Davide Balzarotti , Carlo Ghezzi , Mattia Monga Supporting configuration management for virtual workgroups ini a peer-to-peer setting. [Citation Graph (0, 0)][DBLP ] SEKE, 2002, pp:507-511 [Conf ] Pasquale Armenise , Sergio Bandinelli , Carlo Ghezzi , Angelo Morzenti Software Processes Representation Languages: Survey and Assessment. [Citation Graph (0, 0)][DBLP ] SEKE, 1992, pp:455-462 [Conf ] Alberto Coen-Porisini , Giovanni Denaro , Carlo Ghezzi , Mauro Pezzè Using symbolic execution for verifying safety-critical systems. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:142-151 [Conf ] Gianpaolo Cugola , Carlo Ghezzi Design and Implementation of PROSYT: A Distributed Process Support System. [Citation Graph (0, 0)][DBLP ] WETICE, 1999, pp:32-39 [Conf ] Carlo Ghezzi The challenges of open-world software. [Citation Graph (0, 0)][DBLP ] WOSP, 2007, pp:90- [Conf ] Luciano Baresi , Carlo Ghezzi Validation of Component and Service Federations in Automotive Software Applications. [Citation Graph (0, 0)][DBLP ] ASWSD, 2004, pp:57-73 [Conf ] Luciano Baresi , Elisabetta Di Nitto , Carlo Ghezzi Towards Open-World Software: Issue and Challenges. [Citation Graph (0, 0)][DBLP ] SEW, 2006, pp:249-252 [Conf ] Carlo Ghezzi , Paola Inverardi Introduction to Special Issue on Distributed and Mobile Software Engineering. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2004, v:11, n:3, pp:203-205 [Journal ] Augusto Celentano , Pierluigi Della Vigna , Carlo Ghezzi SIMPLE: A Program Development System. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1980, v:5, n:2, pp:103-114 [Journal ] Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè Symbolic Execution of Concurrent Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1989, v:14, n:4, pp:263-281 [Journal ] Dino Mandrioli , Roberto Zicari , Carlo Ghezzi , Francesco Tisato Modeling the Ada Task System by Petri Nets. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1985, v:10, n:1, pp:43-61 [Journal ] Luciano Baresi , Elisabetta Di Nitto , Carlo Ghezzi Toward Open-World Software: Issue and Challenges. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2006, v:39, n:10, pp:36-43 [Journal ] Pierluigi Della Vigna , Carlo Ghezzi Context-Free Graph Grammars [Citation Graph (0, 0)][DBLP ] Information and Control, 1978, v:37, n:2, pp:207-233 [Journal ] Carlo Ghezzi LL(1) Grammars Supporting an Efficient Error Handling. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1975, v:3, n:6, pp:174-176 [Journal ] Carlo Ghezzi , Dino Mandrioli Augmenting Parsers to Support Incrementality. [Citation Graph (0, 0)][DBLP ] J. ACM, 1980, v:27, n:3, pp:564-579 [Journal ] Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti TRIO: A logic language for executable specifications of real-time systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1990, v:12, n:2, pp:107-123 [Journal ] Carlo Ghezzi , Sandro Morasca , Mauro Pezzè Validating timing requirements for time basic net specifications. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:27, n:2, pp:97-117 [Journal ] Alfonso Fuggetta , Carlo Ghezzi State of the art and open issues in process-centered software engineering environments. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1994, v:26, n:1, pp:53-60 [Journal ] Carlo Ghezzi Concurrency in programming languages: A survey. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 1985, v:2, n:3, pp:229-241 [Journal ] Miguel Felder , Carlo Ghezzi , Mauro Pezzè High-Level Timed Petri Nets as a Kernel for Executable Specifications. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1993, v:5, n:2-3, pp:235-248 [Journal ] Egidio Astesiano , Carlo Ghezzi Fundamental Approaches to Software Engineering. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2001, v:40, n:1, pp:1-2 [Journal ] Carlo Ghezzi , Gruia-Catalin Roman Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:1-2, pp:1-2 [Journal ] Gianpaolo Cugola , Carlo Ghezzi Software processes: a retrospective and a path to the future. [Citation Graph (0, 0)][DBLP ] Software Process: Improvement and Practice, 1998, v:4, n:3, pp:101-123 [Journal ] Augusto Celentano , Stefano Crespi-Reghizzi , Pierluigi Della Vigna , Carlo Ghezzi , G. Granata , F. Savoretti Compiler Testing using a Sentence Generator. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1980, v:10, n:11, pp:897-918 [Journal ] Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti Executable Specifications with Data-flow Diagrams. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:6, pp:629-653 [Journal ] Carlo Ghezzi , Dino Mandrioli Incremental Parsing. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1979, v:1, n:1, pp:58-70 [Journal ] Carlo Ghezzi Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:2, pp:119-123 [Journal ] Carlo Ghezzi , Jeff Magee , H. Dieter Rombach , Mary Lou Soffa Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:1-2 [Journal ] Gianpaolo Cugola , Elisabetta Di Nitto , Alfonso Fuggetta , Carlo Ghezzi A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:191-230 [Journal ] Leon J. Osterweil , Carlo Ghezzi , Jeff Kramer , Alexander L. Wolf Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:381-382 [Journal ] Augusto Celentano , Pierluigi Della Vigna , Carlo Ghezzi , Dino Mandrioli Separate Compilation and Partial Specification in Pascal. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1980, v:6, n:4, pp:320-328 [Journal ] Alberto Coen-Porisini , Flavio De Paoli , Carlo Ghezzi , Dino Mandrioli Software Specialization Via Symbolic Execution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:9, pp:884-899 [Journal ] Alberto Coen-Porisini , Carlo Ghezzi , Richard A. Kemmerer Specification of Realtime Systems Using ASTRAL. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1997, v:23, n:9, pp:572-598 [Journal ] Alfonso Fuggetta , Carlo Ghezzi , Dino Mandrioli Some Consideration on Real-Time Bahavior of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:3, pp:356-359 [Journal ] Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè A Unified High-Level Petri Net Formalism for Time-Critical Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:2, pp:160-172 [Journal ] Carlo Ghezzi , Bashar Nuseibeh Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1999, v:25, n:6, pp:782-783 [Journal ] Richard A. Kemmerer , Carlo Ghezzi Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1992, v:18, n:9, pp:766-767 [Journal ] Davide Balzarotti , Carlo Ghezzi , Mattia Monga Supporting Cooperative Software Processes in a Decentralized and Nomadic World. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2006, v:36, n:6, pp:1098-1109 [Journal ] Fei He , Luciano Baresi , Carlo Ghezzi , Paola Spoletini Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:247-262 [Conf ] Domenico Bianculli , Radu Jurca , Walter Binder , Carlo Ghezzi , Boi Faltings Automated Dynamic Maintenance of Composite Services Based on Service Reputation. [Citation Graph (0, 0)][DBLP ] ICSOC, 2007, pp:449-455 [Conf ] Luciano Baresi , Domenico Bianculli , Carlo Ghezzi , Sam Guinea , Paola Spoletini A Timed Extension of WSCoL. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:663-670 [Conf ] Carlo Ghezzi Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal ] Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. [Citation Graph (, )][DBLP ] Dynamically Evolvable Dependable Software: From Oxymoron to Reality. [Citation Graph (, )][DBLP ] Reliability Analysis of Component-Based Systems with Multiple Failure Modes. [Citation Graph (, )][DBLP ] Automatic Cross Validation of Multiple Specifications: A Case Study. [Citation Graph (, )][DBLP ] Model evolution by run-time parameter adaptation. [Citation Graph (, )][DBLP ] ReMan: A pro-active reputation management infrastructure for composite Web services. [Citation Graph (, )][DBLP ] Synthesizing intensional behavior models by graph transformation. [Citation Graph (, )][DBLP ] First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). [Citation Graph (, )][DBLP ] Transparent Reputation Management for Composite Web Services. [Citation Graph (, )][DBLP ] Efficient recovery of algebraic specifications for stateful components. [Citation Graph (, )][DBLP ] SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. [Citation Graph (, )][DBLP ] Reasoning on Non-Functional Requirements for Integrated Services. [Citation Graph (, )][DBLP ] Choosing a Software Architecture: An Approach and a Case Study. [Citation Graph (, )][DBLP ] Foreword to the doctoral symposium. [Citation Graph (, )][DBLP ] Playing with time in publish-subscribe using a domain-specific model checker. [Citation Graph (, )][DBLP ] Monitoring conversational web services. [Citation Graph (, )][DBLP ] QoS Driven Dynamic Binding in-the-many. [Citation Graph (, )][DBLP ] Rethinking the Use of Models in Software Architecture. [Citation Graph (, )][DBLP ] Quality Prediction of Service Compositions through Probabilistic Model Checking. [Citation Graph (, )][DBLP ] Predicting Performance Properties for Open Systems with KAMI. [Citation Graph (, )][DBLP ] Decentralized Software Development: Pitfalls and Challenges. [Citation Graph (, )][DBLP ] The Role of Contracts in Distributed Development. [Citation Graph (, )][DBLP ] An empirical investigation into a large-scale Java open source code repository. [Citation Graph (, )][DBLP ] A Model Checking Approach to Verify BPEL4WS Workflows. [Citation Graph (, )][DBLP ] A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. [Citation Graph (, )][DBLP ] Model Driven QoS Analyses of Composed Web Services. [Citation Graph (, )][DBLP ] A journey to highly dynamic, self-adaptive service-based applications. [Citation Graph (, )][DBLP ] Determining the Impact of Software Engineering Research on Practice. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.608secs