The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlo Ghezzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Sandro Grigolli
    Process Enactment in SPADE. [Citation Graph (1, 0)][DBLP]
    EWSPT, 1992, pp:67-83 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Pierluigi Della Vigna, Carlo Ghezzi
    Data Structures and Graph Grammars. [Citation Graph (0, 0)][DBLP]
    ECI, 1976, pp:130-145 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Carlo Ghezzi, Richard A. Kemmerer
    ASTRAL: An Assertion Language for Specifying Realtime Systems. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:122-146 [Conf]
  13. Carlo Ghezzi
    Software Engineering: Emerging Goals and Lasting Problems. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:2- [Conf]
  14. 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]
  15. 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]
  16. Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio
    Program Simplification via Symbolic Interpretation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:116-128 [Conf]
  17. Carlo Ghezzi
    Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:1-5 [Conf]
  18. Carlo Ghezzi
    Complexity in Human Centered Systems: The Case of Software Processes. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:178-0 [Conf]
  19. 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]
  20. Carlo Ghezzi, Dino Mandrioli
    The challenges of software engineering education. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:637-638 [Conf]
  21. 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]
  22. 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]
  23. Carlo Ghezzi
    Software Engineering Issues for Network Computing. [Citation Graph (0, 0)][DBLP]
    ICSM, 1997, pp:2- [Conf]
  24. Luciano Baresi, Carlo Ghezzi, Sam Guinea
    Smart monitors for composed services. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2004, pp:193-202 [Conf]
  25. 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]
  26. Alfonso Fuggetta, Carlo Ghezzi
    Process Formalisms Need to be Fully Reflective. [Citation Graph (0, 0)][DBLP]
    ISPW, 1993, pp:78-80 [Conf]
  27. Gianpaolo Cugola, Carlo Ghezzi
    Program families: some requirements issues for the process languages. [Citation Graph (0, 0)][DBLP]
    ISPW, 1996, pp:48-50 [Conf]
  28. 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]
  29. 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]
  30. Carlo Ghezzi, Mauro Pezzè
    Towards Extensible Graphical Formalisms. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:69-77 [Conf]
  31. Carlo Ghezzi, Giovanni Vigna
    Mobile Code Paradigms and Technologies: A Case Study. [Citation Graph (0, 0)][DBLP]
    Mobile Agents, 1997, pp:39-49 [Conf]
  32. Carlo Ghezzi
    Flexible Processes for Evolvable Products. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2005, pp:1- [Conf]
  33. 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]
  34. Davide Balzarotti, Carlo Ghezzi, Mattia Monga
    Freeing Cooperation from Servers Tyranny. [Citation Graph (0, 0)][DBLP]
    NETWORKING Workshops, 2002, pp:235-246 [Conf]
  35. Gianpaolo Cugola, Carlo Ghezzi
    CJava: Introducing Concurrent Objects in Java. [Citation Graph (0, 0)][DBLP]
    OOIS, 1997, pp:504-514 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. Carlo Ghezzi
    The challenges of open-world software. [Citation Graph (0, 0)][DBLP]
    WOSP, 2007, pp:90- [Conf]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. Carlo Ghezzi
    Concurrency in programming languages: A survey. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1985, v:2, n:3, pp:229-241 [Journal]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Carlo Ghezzi
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:2, pp:119-123 [Journal]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. 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]
  79. Carlo Ghezzi
    Editorial. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:1, pp:- [Journal]

  80. Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. [Citation Graph (, )][DBLP]


  81. Dynamically Evolvable Dependable Software: From Oxymoron to Reality. [Citation Graph (, )][DBLP]


  82. Reliability Analysis of Component-Based Systems with Multiple Failure Modes. [Citation Graph (, )][DBLP]


  83. Automatic Cross Validation of Multiple Specifications: A Case Study. [Citation Graph (, )][DBLP]


  84. Model evolution by run-time parameter adaptation. [Citation Graph (, )][DBLP]


  85. ReMan: A pro-active reputation management infrastructure for composite Web services. [Citation Graph (, )][DBLP]


  86. Synthesizing intensional behavior models by graph transformation. [Citation Graph (, )][DBLP]


  87. First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). [Citation Graph (, )][DBLP]


  88. Transparent Reputation Management for Composite Web Services. [Citation Graph (, )][DBLP]


  89. Efficient recovery of algebraic specifications for stateful components. [Citation Graph (, )][DBLP]


  90. SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. [Citation Graph (, )][DBLP]


  91. Reasoning on Non-Functional Requirements for Integrated Services. [Citation Graph (, )][DBLP]


  92. Choosing a Software Architecture: An Approach and a Case Study. [Citation Graph (, )][DBLP]


  93. Foreword to the doctoral symposium. [Citation Graph (, )][DBLP]


  94. Playing with time in publish-subscribe using a domain-specific model checker. [Citation Graph (, )][DBLP]


  95. Monitoring conversational web services. [Citation Graph (, )][DBLP]


  96. QoS Driven Dynamic Binding in-the-many. [Citation Graph (, )][DBLP]


  97. Rethinking the Use of Models in Software Architecture. [Citation Graph (, )][DBLP]


  98. Quality Prediction of Service Compositions through Probabilistic Model Checking. [Citation Graph (, )][DBLP]


  99. Predicting Performance Properties for Open Systems with KAMI. [Citation Graph (, )][DBLP]


  100. Decentralized Software Development: Pitfalls and Challenges. [Citation Graph (, )][DBLP]


  101. The Role of Contracts in Distributed Development. [Citation Graph (, )][DBLP]


  102. An empirical investigation into a large-scale Java open source code repository. [Citation Graph (, )][DBLP]


  103. A Model Checking Approach to Verify BPEL4WS Workflows. [Citation Graph (, )][DBLP]


  104. A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. [Citation Graph (, )][DBLP]


  105. Model Driven QoS Analyses of Composed Web Services. [Citation Graph (, )][DBLP]


  106. A journey to highly dynamic, self-adaptive service-based applications. [Citation Graph (, )][DBLP]


  107. Determining the Impact of Software Engineering Research on Practice. [Citation Graph (, )][DBLP]


Search in 0.202secs, Finished in 0.205secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002