Carlo Ghezzi
#54,952
Most Influential Person Now
Italian software engineer
Carlo Ghezzi's AcademicInfluence.com Rankings
Carlo Ghezzicomputer-science Degrees
Computer Science
#2162
World Rank
#2248
Historical Rank
Software Engineering
#83
World Rank
#83
Historical Rank
Database
#4947
World Rank
#5140
Historical Rank
Download Badge
Computer Science
Why Is Carlo Ghezzi Influential?
(Suggest an Edit or Addition)According to Wikipedia, Carlo Ghezzi is an emeritus professor and former chair of software engineering at the Politecnico di Milano, Italy, and an adjunct professor at the Università della Svizzera italiana , Switzerland. At the Politecnico, he has been the Rector's Delegate for research, department chair, head of the PhD program, and member of the academic senate and of the board of governors of Politecnico.
Carlo Ghezzi's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A Unified High-Level Petri Net Formalism for Time-Critical Systems (1991) (385)
- Process Model Evolution in the SPADE Environment (1993) (316)
- A journey to highly dynamic, self-adaptive service-based applications (2008) (296)
- Self-adaptive software needs quantitative verification at runtime (2012) (278)
- Model evolution by run-time parameter adaptation (2009) (278)
- TRIO: A logic language for executable specifications of real-time systems (1990) (264)
- Smart monitors for composed services (2004) (256)
- Programming language concepts (1982) (223)
- Towards Open-World Software: Issue and Challenges (2006) (205)
- Run-time efficient probabilistic model checking (2011) (195)
- SPADE: an environment for software process analysis, design, and enactment (1994) (173)
- Software processes: a retrospective and a path to the future (1998) (158)
- Context-Free Graph Grammars (1978) (138)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (2012) (137)
- Analyzing Mobile Code Languages (1996) (129)
- Mobile Code Paradigms and Technologies: A Case Study (1997) (129)
- The disappearing boundary between development-time and run-time (2010) (121)
- Context-oriented programming: A software engineering perspective (2012) (118)
- Using symbolic execution for verifying safety-critical systems (2001) (115)
- Toward open-world software: Issues and challenges (2006) (114)
- Quality Prediction of Service Compositions through Probabilistic Model Checking (2008) (107)
- The challenges of software engineering education (2005) (106)
- Validation of web service compositions (2007) (105)
- A framework for formalizing inconsistencies and deviations in human-centered systems (1996) (105)
- Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time (2016) (104)
- Incremental Parsing (1979) (103)
- Fundamentals of Software Engineering (2014) (100)
- Managing non-functional uncertainty via model-driven adaptivity (2013) (99)
- Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (2013) (96)
- Synthesizing intensional behavior models by graph transformation (2009) (94)
- An empirical investigation into a large-scale Java open source code repository (2010) (93)
- A general way to put time in Petri nets (1989) (92)
- A Survey and Assessment of Software Process Representation Formalisms (1993) (91)
- Perpetual Assurances for Self-Adaptive Systems (2019) (87)
- Towards a software engineering approach to Web site development (1998) (85)
- Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (2011) (81)
- Mining behavior models from user-intensive web applications (2014) (79)
- Run-Time Monitoring in Service-Oriented Architectures (2007) (79)
- How To Deal With Deviations During Process Model Enactment (1995) (78)
- A model parametric real-time logic (1992) (77)
- Compiler testing using a sentence generator (1980) (69)
- Model-based verification of quantitative non-functional properties for software product lines (2013) (68)
- Modeling the Ada Task System by Petri Nets (1985) (66)
- Version-consistent dynamic reconfiguration of component-based distributed systems (2011) (65)
- Specification of Realtime Systems Using ASTRAL (1997) (64)
- Augmenting Parsers to Support Incrementality (1980) (64)
- A Unified High-level Petri Net Model for Time Critical Systems (1991) (62)
- Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems (2016) (59)
- ASTRAL: An Assertion Language for Specifying Realtime Systems (1991) (58)
- Enhancing reuse of constraint solutions to improve symbolic execution (2015) (57)
- On the Interplay Between Cyber and Physical Spaces for Adaptive Security (2018) (57)
- A framework for the deployment of adaptable web service compositions (2007) (57)
- On Accurate Automatic Verification of Publish-Subscribe Architectures (2007) (57)
- Fundamentals of software engineering (2. ed.) (2003) (57)
- Software Specialization Via Symbolic Execution (1991) (57)
- Determining the Impact of Software Engineering Research on Practice (2008) (56)
- Reliability Analysis of Component-Based Systems with Multiple Failure Modes (2010) (55)
- Programming language concepts (2nd ed.) (1986) (53)
- Rethinking the Use of Models in Software Architecture (2008) (52)
- Specification Patterns for Robotic Missions (2019) (50)
- Team-level programming of drone sensor networks (2014) (49)
- Monitoring conversational web services (2007) (49)
- ContextErlang: introducing context-oriented programming in the actor model (2012) (48)
- Specification patterns from research to industry: A case study in service-based applications (2012) (48)
- Teaching software engineering using globally distributed projects: the DOSE course (2011) (48)
- Software processes representation languages: survey and assessment (1992) (44)
- Theoretical foundations of computer science (1987) (44)
- Modeling and verification of evolving cyber-physical spaces (2017) (44)
- Towards Self-healing Composition of Services (2007) (43)
- Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines (2010) (42)
- A Model Checking Approach to Verify BPEL4WS Workflows (2007) (42)
- State of the art and open issues in process-centered software engineering environments (1994) (41)
- An Approach to Model and Validate Publish/Subscribe Architectures (2003) (41)
- Towards Self-healing Service Compositions (2004) (41)
- Process Enactment in SPADE (1992) (39)
- Proceedings of the 6th international workshop on Software specification and design (1991) (39)
- How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication (2011) (39)
- Topology aware adaptive security (2014) (39)
- Towards the formalization of properties of cloud-based elastic systems (2014) (39)
- Reasoning on Non-Functional Requirements for Integrated Services (2009) (38)
- A Timed Extension of WSCoL (2007) (37)
- Programming language support to context-aware adaptation: a case-study with Erlang (2010) (36)
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata (2007) (35)
- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions (2012) (33)
- Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (2013) (32)
- A quality driven extension to the QVT-relations transformation language (2015) (32)
- The GOODSTEP project: General object-oriented database for software engineering processes (1994) (32)
- Anquiro: enabling efficient static verification of sensor network software (2010) (31)
- Context-Oriented Programming: A Programming Paradigm for Autonomic Systems (2011) (31)
- Software processes as real-time systems: a case study using high-level Petri nets (1992) (31)
- Automated Dynamic Maintenance of Composite Services Based on Service Reputation (2007) (31)
- Guest Editorial: Introduction to the Special Section - Managing Inconsistency in Software Development (1996) (30)
- Reliability-driven dynamic binding via feedback control (2012) (30)
- Synthesizing dynamically updating controllers from changes in scenario-based specifications (2012) (30)
- Transparent Reputation Management for Composite Web Services (2008) (30)
- Automatically identifying focal methods under test in unit test cases (2015) (29)
- Architecting dynamic cyber-physical spaces (2016) (29)
- Design and implementation of PROSYT: a distributed process support system (1999) (28)
- An Analysis of Language-Level Support for Self-Adaptive Software (2013) (28)
- Predicting Performance Properties for Open Systems with KAMI (2009) (27)
- Formalizing correctness criteria of dynamic updates derived from specification changes (2013) (27)
- Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (2011) (27)
- Fundamental of Software Engineering (1991) (27)
- Validating timing requirements for time basic net specifications (1994) (26)
- Engineering topology aware adaptive security: Preventing requirements violations at runtime (2014) (26)
- Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511) (2013) (25)
- Towards quality driven exploration of model transformation spaces (2011) (25)
- DSOL: a declarative approach to self-adaptive service orchestrations (2012) (24)
- CJava: Introducing Concurrent Objects in Java (1997) (24)
- Executing formal specifications: the ASTRAL to TRIO translation approach (1991) (23)
- An evaluation of the adaptation capabilities in programming languages (2011) (23)
- Modeling and Validation of Publish/Subscribe Architectures (2005) (23)
- Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (2014) (23)
- Evolution, Adaptation, and the Quest for Incrementality (2012) (23)
- Model-Driven Management of Services (2010) (23)
- Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control (2010) (22)
- The Fading Boundary between Development Time and Run Time (2011) (22)
- Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (2015) (22)
- QoS Driven Dynamic Binding in-the-many (2010) (22)
- Hybrid service-oriented architectures: a case-study in the automotive domain (2005) (20)
- Assurances for Self-Adaptive Systems (2013) (20)
- A hybrid approach (syntactic and textual) to clone detection (2010) (20)
- Software Qualities and Principles (1997) (20)
- Optimizing Service Selection and Allocation in Situational Computing Applications (2013) (20)
- The Role of Contracts in Distributed Development (2009) (19)
- Runtime monitoring of component changes with Spy@Runtime (2012) (19)
- Symbolic Execution of Concurrent Systems Using Petri Nets (1989) (19)
- SMT-Based Checking of SOLOIST over Sparse Traces (2014) (18)
- Property specification patterns for robotic missions (2018) (18)
- Modelling and Analysing Resilient Cyber-Physical Systems (2019) (18)
- Model Driven QoS Analyses of Composed Web Services (2008) (18)
- Efficient Large-Scale Trace Checking Using MapReduce (2015) (18)
- Engineering Future Internet applications: The Prime approach (2015) (18)
- Change-point detection for black-box services (2010) (18)
- Analyzing refinements of state based specifications: the case of TB nets (1993) (18)
- Dealing with Incompleteness in Automata-Based Model Checking (2016) (18)
- Quantitative Verification of Non-functional Requirements with Uncertainty (2011) (17)
- JavaCtx: seamless toolchain integration for context-oriented programming (2011) (17)
- Efficient Dynamic Updates of Distributed Components Through Version Consistency (2017) (17)
- From Model Checking to a Temporal Proof for Partial Models (2017) (17)
- Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things (2019) (17)
- On requirements verification for model refinements (2013) (17)
- On requirement verification for evolving Statecharts specifications (2014) (17)
- A Multi-paradigm Petri Net Based Approach To Process Description (1991) (16)
- Efficient recovery of algebraic specifications for stateful components (2007) (16)
- Adding Static and Dynamic Semantics to Building Information Models (2016) (16)
- SelfMotion: A declarative approach for adaptive service-oriented mobile applications (2014) (16)
- Syntactic-semantic incrementality for agile verification (2015) (15)
- Inferring software behavioral models with MapReduce (2015) (14)
- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions (2008) (14)
- Behavior model based component search: an initial assessment (2010) (13)
- ContextErlang: A language for distributed context-aware self-adaptive applications (2015) (13)
- Program Simplification via Symbolic Interpretation (1985) (13)
- Topology-Aware Access Control of Smart Spaces (2017) (13)
- Further steps towards efficient runtime verification: Handling probabilistic cost models (2012) (13)
- Performance‐driven dynamic service selection (2015) (13)
- Integrating Goal Model Analysis with Iterative Design (2017) (13)
- Supporting Verification-Driven Incremental Distributed Design of Components (2018) (12)
- ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking (2014) (12)
- On the Specification of Real-Time Systems Using Logic Programming (1987) (12)
- Context-Oriented Programming for Adaptive Wireless Sensor Network Software (2014) (12)
- Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens (2011) (12)
- Mining unit tests for code recommendation (2014) (12)
- Adaptive Service-Oriented Mobile Applications: A Declarative Approach (2012) (11)
- Software Engineering for Self-Adaptive Systems : Assurances (2014) (11)
- A compositional method for reliability analysis of workflows affected by multiple failure modes (2011) (11)
- Towards a methodology for lifelong validation of service compositions (2008) (11)
- Freeing Cooperation from Servers Tyranny (2002) (11)
- Concurrency in programming languages: A survey (1985) (11)
- Executable specifications with data‐flow diagrams (1993) (10)
- Dependability Assessment of Web Service Orchestrations (2014) (10)
- LL(1) Grammars Supporting an Efficient Error Handling (1975) (10)
- Embedding continuous lifelong verification in service life cycles (2009) (10)
- Language Constructs for Real-Time Distributed Systems (1982) (10)
- Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows (2014) (10)
- Adaptive Software Needs Continuous Verification (2010) (10)
- Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures (2006) (10)
- Runtime Monitoring of Functional Component Changes with Behavior Models (2011) (10)
- POET: Privacy on the Edge with Bidirectional Data Transformations (2019) (10)
- Context oriented programming in highly concurrent systems (2010) (9)
- RESTful Service Architectures for Pervasive Networking Environments (2011) (9)
- Software Adaptation in Wireless Sensor Networks (2018) (9)
- Separate Compilation and Partial Specification in Pascal (1980) (9)
- An Outlook on Software Engineering for Modern Distributed Systems (1999) (9)
- Architectural Issues of Adaptive Pervasive Systems (2010) (9)
- High-Level Timed Petri Nets as a kernel for executable specifications (1993) (9)
- On Early Statistical Requirements Validation of Cyber-Physical Space Systems (2018) (8)
- Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification (2012) (8)
- Using Graph Transformation Systems to Specify and Verify Data Abstractions (2008) (8)
- A Syntactic-Semantic Approach to Incremental Verification (2013) (8)
- Automatic Cross Validation of Multiple Specifications: A Case Study (2010) (8)
- VLP: a visual language for prototyping (1988) (8)
- Evolution of Software Composition Mechanisms: A Survey (2007) (8)
- Coding Different Design Paradigms for Distributed Applications with Aspect-Oriente (1999) (8)
- Using FP As a Query Language for Relational Data-Bases (1984) (8)
- Dynamically Evolvable Dependable Software: From Oxymoron to Reality (2008) (8)
- ReMan: A pro-active reputation management infrastructure for composite Web services (2009) (8)
- Of software and change (2017) (7)
- Introduction to the Special Section (1999) (7)
- Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration (2020) (7)
- Programming language concepts (3. ed.) (1987) (7)
- Formal Methods and Agile Development: Towards a Happy Marriage (2018) (7)
- Offline Trace Checking of Quantitative Properties of Service-Based Applications (2014) (7)
- Formal Methods in Designing Critical Cyber-Physical Systems (2019) (6)
- Inconsistency and Ephemerality in a World of E-Services (2003) (6)
- ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings (1989) (6)
- QVTR2: A Rational and Performance-Aware Extension to the Relations Language (2010) (6)
- A journey through SMScom: self-managing situational computing (2013) (6)
- A verification-driven framework for iterative design of controllers (2019) (6)
- Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations (2020) (6)
- Playing with time in publish-subscribe using a domain-specific model checker (2007) (5)
- Resource-Oriented Middleware Abstractions for Pervasive Computing (2012) (5)
- The challenges of open-world software (2007) (5)
- Towards Agile Verification (2013) (5)
- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering (2002) (5)
- Dependability of Adaptable and Evolvable Distributed Systems (2016) (5)
- Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems (2014) (5)
- Towards Executing Dynamically Updating Finite-State Controllers on a Robot System (2015) (5)
- Fostering component evolution with C# attributes (2002) (5)
- Engineering Evolving and Self-Adaptive Systems: An Overview (2011) (5)
- Adaptive REST applications via model inference and probabilistic model checking (2013) (5)
- Process Programming in the Service Age: Old Problems and New Challenges (2011) (5)
- Verification for Reliable Product Lines (2013) (5)
- Being a Researcher: An Informatics Perspective (2020) (4)
- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications (2012) (4)
- Guest Editors' Introduction: Specification and Analysis of Real-Time Systems (1992) (4)
- Language Support for Evolvable Software: An Initial Assessment of Aspect-Oriented (1999) (4)
- An EMOF-Compliant Abstract Syntax for Bigraphs (2016) (4)
- SelfMotion: a declarative language for adaptive service-oriented mobile apps (2012) (4)
- From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications (2013) (4)
- Model-Driven Design of City Spaces via Bidirectional Transformations (2019) (4)
- Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems (2020) (4)
- Formal Specification and Timing Analysis of High-Integrity Real-Time Systems (1992) (4)
- Malaj: A Proposal to Eliminate Clashes Between Aspect-Oriented and Object-Oriented (2000) (4)
- Model-driven engineering city spaces via bidirectional model transformations (2021) (4)
- Towards extensible graphical formalisms (1993) (4)
- Towards a user-centric e-government service design: evidences from Italy (2010) (4)
- COVER: Change-based Goal Verifier and Reasoner (2017) (4)
- Data Structures and Graph Grammars (1976) (4)
- Towards a Model-driven Approach to Develop Applications based on Physical Active Objects (2006) (4)
- Proceedings of the 2nd European Software Engineering Conference (1989) (4)
- Benefits Sought by Citizens in Multichannel e-government Payment Services: Evidence from Italy☆ (2014) (4)
- Are two contex-free languages translatable in a syntax-directed translation scheme? (1974) (4)
- Syntax-Driven Program Verification of Matching Logic Properties (2015) (3)
- Supporting Cooperative Software Processes in a Decentralized and Nomadic World (2006) (3)
- Software Engineering: Emerging Goals and Lasting Problems (2006) (3)
- Supporting configuration management for virtual workgroups in a peer-to-peer setting (2002) (3)
- Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design (1993) (3)
- A Generative World Wide Web Object-Oriented Model (1997) (3)
- SIMPLE: A Program Development System (1980) (3)
- Program families: some requirements issues for the process languages (1996) (3)
- Using agents for multi-target search on the Web (2003) (3)
- Specification of Realtime Systems (1997) (3)
- Using Agents in Performing Multi-site Queries (2001) (3)
- A Peer-to-Peer Middleware for Mobile Teamwork (2003) (3)
- Dealing with changes in service orchestrations (2012) (3)
- SAVVY-WS at a glance: Supporting verifiable dynamic service compositions (2008) (3)
- Process Formalisms Need to be Fully Reflective (1993) (2)
- Methodologies and Technologies for Networked Enterprises, ArtDeco: Adaptive Infrastructure for Decentralised Organisations (2012) (2)
- Hierarchical Decomposition of High Level Timed Petri Nets (1993) (2)
- Improving Interaction with Services via Probabilistic Piggybacking (2013) (2)
- Informatics research evaluation (2018) (2)
- Flexible Processes for Evolvable Products (2005) (2)
- Behavioral validation of JFSL specifications through model synthesis (2012) (2)
- Real-Time Systems: A Survey of Approaches to Formal Specification and Verification (1993) (2)
- Reference Case Study (2012) (2)
- A Characterization of Mobility and State Distribution in Mobile Code Languages (2014) (2)
- Enhancing Remote Method Invocation through Type-Based Static Analysis (2004) (2)
- Parallel Execution of Real-Time Petri Nets (1993) (2)
- An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets (1988) (1)
- Software Systems: Languages, Models, and Processes (1996) (1)
- On the Role of Software Reliability in Software Engineering (1987) (1)
- Fundamental Approaches to Software Engineering (1998) (1)
- Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, QUOVADIS '10, May 3, 2010, Cape Town, South Africa (2010) (1)
- Computational REST Meets Erlang (2011) (1)
- A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software (2013) (1)
- Towards context-oriented programming in wireless sensor networks (2013) (1)
- Project Deliverable D3.1 Prediction Model Specification (2008) (1)
- Editorial (2012) (1)
- Guest Editors' Introduction: Mobility and Network Aware Computing, Introduction to the special issue (1998) (1)
- Some Consideration on Real-Time Bahavior of Concurrent Programs (1989) (1)
- Towards spatial macroprogramming for sensing and actuating robot swarms (2013) (1)
- Partial Solution Set for Programming Language Concepts Third Edition (2002) (1)
- More Women in Informatics Research and Education (2013) (1)
- Inconsistencies in Software Development : Towardsa Reference Framework (1997) (1)
- Dynamic synthesis of program invariants using genetic programming (2011) (1)
- PROGRAMMING IN THE LARGE WITH ADA: AN EVALUATION (1981) (1)
- Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things (2020) (1)
- Autotuning control structures for reliability-driven dynamic binding (2012) (1)
- Modeling, refining and analyzing Incomplete Büchi Automata (2016) (1)
- Toward flexible specification environments (1989) (1)
- Validation of Component and Service Federations in Automotive Software Applications (2004) (1)
- 44 – Modern non-conventional Programming language concepts (1991) (1)
- Topology aware adaptive security Conference or Workshop Item (2020) (0)
- The Open University ’ s repository of research publications and other research outputs Topology aware adaptive security (2016) (0)
- On the Behavior of Concurrent and Real-Time Systems (1989) (0)
- A journey through SMScom: self-managing situational computing (2012) (0)
- DSOL: a declarative approach to self-adaptive service orchestrations (2012) (0)
- The Products of Research: Publication and Beyond (2020) (0)
- Modelling and Analysing Resilient Cyber-Physical Systems (NII Shonan Meeting 2018-21) (2018) (0)
- Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach (2012) (0)
- Proceedings : ninth International Software Process Workshop, October 5-7, 1994, Airlie, Virginia (1995) (0)
- Modelling and Analysing Resilient Cyber-Physical Systems Conference or Workshop Item (2019) (0)
- Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems (2016) (0)
- Editorial (2005) (0)
- Mission Specification : a formulation of the mission in a logical language with a precise semantics (2019) (0)
- Session details: Doctoral symposium (2007) (0)
- Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010 (2000) (0)
- University ’ s repository of research publications and other research outputs Topology aware adaptive security Conference or Workshop Item (2018) (0)
- Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011 (2011) (0)
- Foreword to the doctoral symposium (2007) (0)
- The Researcher’s Progress (2020) (0)
- Poster: Property Specification Patterns for Robotic Missions (2018) (0)
- A quality driven extension to the QVT-relations transformation language (2011) (0)
- Open Research Online Topology-Aware Access Control of Smart Spaces (2022) (0)
- Towards Self-Adaptivity in Resource-Constrained Cyberphysical Systems (2014) (0)
- Complexity in Human Centered Systems: The Case of Software Processes (1999) (0)
- Automatic Recovery and Correction of Syntactic Errors in Top-Down Compilers (1975) (0)
- Should We Rethink How We Do Research? (2021) (0)
- Choosing a Software Architecture: An Approach and a Case Study (2008) (0)
- MOTION: A Distributed Innovative eWork Platform to Support Teamwork in Large and Extended Enterprise (2000) (0)
- Test Framework Specification and Architecture Title of Deliverable : Test Framework Specification and Architecture (0)
- Research Ethics (2020) (0)
- First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010) (2010) (0)
- Decentralized Software Development: Pitfalls and Challenges (2009) (0)
- On requirement verification for evolving Statecharts specifications (2013) (0)
- ICSE 2000 opportunity (1999) (0)
- A verification-driven framework for iterative design of controllers (2019) (0)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (2011) (0)
- TPC committee (2020) (0)
- Research Methodology (2020) (0)
- Architecting dynamic cyber-physical spaces (2016) (0)
- IPTES Project EP5570 Hierarchical Decomposition of High Level Timed Petri Nets (1993) (0)
- Proceedings of the Ninth International Software Process Workshop (ISPW '94), October 1994, Airlie, Virginia, USA (1994) (0)
- ESEC '89: proceedings of the 2nd European conference on Software engineering (1989) (0)
- What Is Research and Why We Do It (2020) (0)
- Inconsistencies in Software Development : Towards a Reference (2007) (0)
- A Framework for Testing Object-Oriented Components (2015) (0)
- Synthesis of Infinite-State Abstractions and Their Use for Software Validation (2014) (0)
- Science needs to engage with society (2021) (0)
- Evolution of software Evolution of software composition mechanisms composition mechanisms (2005) (0)
- Topology Aware Adaptive Security Conference Item Topology Aware Adaptive Security Conference Item (2015) (0)
- Session details: Components (2001) (0)
- Workshop on assurances for self-adaptive systems (ASAS 2011) (2011) (0)
- Keynote Abstract - On the Use of Quantitative Models for Open-World Software (2010) (0)
- The Open University ’ s repository of research publications and other research outputs Topology aware adaptive security Conference Item (2014) (0)
- Software engineering issues for network computing (1997) (0)
- Session 11A: Verification (1984) (0)
- Failure Risk Exposure Based Test Prioritization for Sequential Non-iterative System (2012) (0)
- On Dependable Cyber-Physical Spaces of Critical Infrastructures (2020) (0)
- Introduction to Special Issue on Distributed and Mobile Software Engineering (2004) (0)
- Digital Humanism: The Time Is Now (2023) (0)
- Project Deliverable D 3 . 1 Prediction Models Specification ( revised version ) Project (2009) (0)
- Research Evaluation (2020) (0)
- Writing dynamic service orchestrations with DSOL (2012) (0)
- Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches (2012) (0)
- Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment. (2012) (0)
This paper list is powered by the following services:
Other Resources About Carlo Ghezzi
What Schools Are Affiliated With Carlo Ghezzi?
Carlo Ghezzi is affiliated with the following schools:
