Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carlo Ghezzi" ( http://dblp.L3S.de/Authors/Carlo_Ghezzi )

URL (Homepage):  http://www.elet.polimi.it/upload/ghezzi/  Author page on DBLP  Author page in RDF  Community of Carlo Ghezzi in ASPL-2

Publication years (Num. hits)
1975-1987 (17) 1989-1992 (15) 1993-1996 (16) 1997-2001 (15) 2002-2005 (16) 2006-2007 (22) 2008-2009 (17) 2010-2011 (30) 2012 (3)
Publication types (Num. hits)
article(47) book(5) incollection(4) inproceedings(91) proceedings(4)
Venues (Conferences, Journals, ...)
ICSE(10) IEEE Trans. Software Eng.(9) ACM Trans. Softw. Eng. Methodo...(5) Comput. Lang.(5) ESEC(4) ISPW(4) QoSA(4) FASE(3) Journal of Systems and Softwar...(3) SEKE(3) SIGSOFT FSE(3) ACM Trans. Program. Lang. Syst...(2) Autom. Softw. Eng.(2) CBSE(2) CoRR(2) ECOWS(2) More (+10 of total 90)
Authors
Carlo Ghezzi(151) Luciano Baresi(20) Dino Mandrioli(19) Elisabetta Di Nitto(10) Giordano Tamburrelli(10) Raffaela Mirandola(10) Domenico Bianculli(9) Alfonso Fuggetta(8) Angelo Morzenti(8) Gianpaolo Cugola(8) Mauro Pezzè(8) Sam Guinea(8) Mehdi Jazayeri(7) Andrea Mocci(6) Mattia Monga(6) Antonio Filieri(5) More (+10 of total 115)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 123 occurrences of 99 keywords
Results
Found 151 publication records. Showing 151 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli A formal approach to adaptive software: continuous assurance of non-functional requirements. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola A quality driven extension to the QVT-relations transformation language. Search on Bibsonomy Computer Science - R&D The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella ContextErlang: introducing context-oriented programming in the actor model. Search on Bibsonomy AOSD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Luca Mottola Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella Context-Oriented Programming: A Programming Paradigm for Autonomic Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carlo Ghezzi Engineering Evolving and Self-Adaptive Systems: An Overview. Search on Bibsonomy Software and Systems Safety - Specification and Verification The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi The Fading Boundary between Development Time and Run Time. Search on Bibsonomy ECOWS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Amir Molzam Sharifloo Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking. Search on Bibsonomy SPLC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi Computational REST Meets Erlang. Search on Bibsonomy TOOLS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luigi Cardamone, Andrea Mocci, Carlo Ghezzi Dynamic synthesis of program invariants using genetic programming. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy ICGSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio Runtime Monitoring of Functional Component Changes with Behavior Models. Search on Bibsonomy MoDELS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola Towards Quality Driven Exploration of Model Transformation Spaces. Search on Bibsonomy MoDELS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola A compositional method for reliability analysis of workflows affected by multiple failure modes. Search on Bibsonomy CBSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi An evaluation of the adaptation capabilities in programming languages. Search on Bibsonomy SEAMS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli Run-time efficient probabilistic model checking. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes Workshop on assurances for self-adaptive systems (ASAS 2011). Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu Version-consistent dynamic reconfiguration of component-based distributed systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea Model-Driven Management of Services. Search on Bibsonomy ECOWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF management, performance measures, model-driven engineering, distributed/Internet based software engineering tools and techniques, quality analysis and evaluation
1Carlo Ghezzi Adaptive Software Needs Continuous Verification. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Danilo Ardagna, Carlo Ghezzi, Barbara Panicucci, Marco Trubian Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control. Search on Bibsonomy ServiceWave The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi Automatic Cross Validation of Multiple Specifications: A Case Study. Search on Bibsonomy FASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, Giordano Tamburrelli QoS Driven Dynamic Binding in-the-many. Search on Bibsonomy QoSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola QVTR2: A Rational and Performance-Aware Extension to the Relations Language. Search on Bibsonomy MoDELS Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mauro Caporuscio, Marco Funaro, Carlo Ghezzi Architectural Issues of Adaptive Pervasive Systems. Search on Bibsonomy Graph Transformations and Model-Driven Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Funaro, Daniele Braga, Alessandro Campi, Carlo Ghezzi A hybrid approach (syntactic and textual) to clone detection. Search on Bibsonomy IWSC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola Reliability Analysis of Component-Based Systems with Multiple Failure Modes. Search on Bibsonomy CBSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mark 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. Search on Bibsonomy ESEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Lars Grunske, Raffaela Mirandola First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi The disappearing boundary between development-time and run-time. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli Change-point detection for black-box services. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Giordano Tamburrelli Predicting Performance Properties for Open Systems with KAMI. Search on Bibsonomy QoSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Giordano Tamburrelli Reasoning on Non-Functional Requirements for Integrated Services. Search on Bibsonomy RE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Non-Functional Requirements, Integrated Services, Discrete Time Markov Chains
1Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli The Role of Contracts in Distributed Development. Search on Bibsonomy SEAFOOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
1Carlo Ghezzi Decentralized Software Development: Pitfalls and Challenges. Search on Bibsonomy SEAFOOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Andrea Mocci, Mattia Monga Synthesizing intensional behavior models by graph transformation. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi ReMan: A pro-active reputation management infrastructure for composite Web services. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli Model evolution by run-time parameter adaptation. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga Using Graph Transformation Systems to Specify and Verify Data Abstractions. Search on Bibsonomy ECEASST The full citation details ... 2008 DBLP  BibTeX  RDF
1Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger, Mike P. Papazoglou, Klaus Pohl A journey to highly dynamic, self-adaptive service-based applications. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Services, Adaptive systems, Self-adaptation, Service-oriented computing
1Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf Determining the Impact of Software Engineering Research on Practice. Search on Bibsonomy IEEE Computer The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software engineering research, Impact Project
1Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola Model Driven QoS Analyses of Composed Web Services. Search on Bibsonomy ServiceWave The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Business Process Optimization, QoS, Web services composition, Probabilistic Model Checking
1Domenico Bianculli, Carlo Ghezzi SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. Search on Bibsonomy ASE Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola Rethinking the Use of Models in Software Architecture. Search on Bibsonomy QoSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli Quality Prediction of Service Compositions through Probabilistic Model Checking. Search on Bibsonomy QoSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Paola Inverardi, Carlo Montangero Dynamically Evolvable Dependable Software: From Oxymoron to Reality. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Giordano Tamburrelli Choosing a Software Architecture: An Approach and a Case Study. Search on Bibsonomy SEKE The full citation details ... 2008 DBLP  BibTeX  RDF
1Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi Transparent Reputation Management for Composite Web Services. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini Validation of web service compositions. Search on Bibsonomy IET Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi, Sam Guinea A framework for the deployment of adaptable web service compositions. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed registries, Web services, Monitoring, BPEL, Dynamic compositions
1Luciano Baresi, Carlo Ghezzi, Sam Guinea Towards Self-healing Composition of Services. Search on Bibsonomy Contributions to Ubiquitous Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Andrea Mocci, Mattia Monga Efficient recovery of algebraic specifications for stateful components. Search on Bibsonomy IWPSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. Search on Bibsonomy Lipari Summer School The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Sam Guinea Run-Time Monitoring in Service-Oriented Architectures. Search on Bibsonomy Test and Analysis of Web Services The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings Automated Dynamic Maintenance of Composite Services Based on Service Reputation. Search on Bibsonomy ICSOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Domenico Bianculli, Carlo Ghezzi, Paola Spoletini A Model Checking Approach to Verify BPEL4WS Workflows. Search on Bibsonomy SOCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Luca Mottola On Accurate Automatic Verification of Publish-Subscribe Architectures. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi The challenges of open-world software. Search on Bibsonomy WOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF continuous validation, open-world software, distributed systems, services, software components, agile methods, software composition
1Domenico Bianculli, Carlo Ghezzi Monitoring conversational web services. Search on Bibsonomy IW-SOSWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF monitoring, services, BPEL, algebraic specifications
1Carlo Ghezzi Foreword to the doctoral symposium. Search on Bibsonomy ESEC/SIGSOFT FSE (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Giorgio Gerosa, Carlo Ghezzi, Luca Mottola Playing with time in publish-subscribe using a domain-specific model checker. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modeling, model checking, time, distributed architectures, publish-subscribe
1Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini A Timed Extension of WSCoL. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi Toward Open-World Software: Issue and Challenges. Search on Bibsonomy IEEE Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF open-world software, web services, software engineering, grid computing, autonomic computing, polymorphism, middleware systems
1Davide Balzarotti, Carlo Ghezzi, Mattia Monga Supporting Cooperative Software Processes in a Decentralized and Nomadic World. Search on Bibsonomy IEEE Transactions on Systems, Man, and Cybernetics, Part A The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Luca Mottola Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi Towards Open-World Software: Issue and Challenges. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Software Engineering: Emerging Goals and Lasting Problems. Search on Bibsonomy FASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Flexible Processes for Evolvable Products. Search on Bibsonomy IEEE METRICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici Hybrid service-oriented architectures: a case-study in the automotive domain. Search on Bibsonomy SEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Dino Mandrioli The challenges of software engineering education. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model, software engineering, education, engineering
1Carlo Ghezzi, Dino Mandrioli The Challenges of Software Engineering Education. Search on Bibsonomy Software Education and Training Sessions @ ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Paola Inverardi Introduction to Special Issue on Distributed and Mobile Software Engineering. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi Validation of Component and Service Federations in Automotive Software Applications. Search on Bibsonomy ASWSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Carlo Ghezzi, Sam Guinea Smart monitors for composed services. Search on Bibsonomy ICSOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements
1Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco Enhancing Remote Method Invocation through Type-Based Static Analysis. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Fundamentals of software engineering (2. ed.). Search on Bibsonomy 2003   RDF
1Elisabetta Di Nitto, Carlo Ghezzi, Paolo Selvini Using Agents for Multi-target Search on the Web. Search on Bibsonomy SAC The full citation details ... 2003 DBLP  BibTeX  RDF
1Carlo Ghezzi Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Davide Balzarotti, Carlo Ghezzi, Mattia Monga Freeing Cooperation from Servers Tyranny. Search on Bibsonomy NETWORKING Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Davide Balzarotti, Carlo Ghezzi, Mattia Monga Supporting configuration management for virtual workgroups ini a peer-to-peer setting. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Mobile computing, peer-to-peer, middleware
1Egidio Astesiano, Carlo Ghezzi Fundamental Approaches to Software Engineering. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè Using symbolic execution for verifying safety-critical systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF verification, formal methods, C, symbolic execution, safety-critical system
1Elisabetta Di Nitto, Carlo Ghezzi, Maurizio Sabba, Paolo Selvini Using Agents in Performing Multi-site Queries. Search on Bibsonomy CIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf (eds.) Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  BibTeX  RDF
1Carlo Ghezzi, Bashar Nuseibeh Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi Design and Implementation of PROSYT: A Distributed Process Support System. (PDF / PS) Search on Bibsonomy WETICE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Complexity in Human Centered Systems: The Case of Software Processes. Search on Bibsonomy ICECCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi Software processes: a retrospective and a path to the future. Search on Bibsonomy Software Process: Improvement and Practice The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi, Mehdi Jazayeri Programming language concepts (3. ed.). Search on Bibsonomy 1998   RDF
1Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer Specification of Realtime Systems Using ASTRAL. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
1Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Software Qualities and Principles. Search on Bibsonomy The Computer Science and Engineering Handbook The full citation details ... 1997 DBLP  BibTeX  RDF
1Gianpaolo Cugola, Carlo Ghezzi CJava: Introducing Concurrent Objects in Java. Search on Bibsonomy OOIS The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 151 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.