What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
Carlo Ghezzi mostly deals with Software engineering, Software, Programming language, Software development and Web service.
His Software engineering research integrates issues from Mobile agent, Business process, Service and Software quality control.
His Software study deals with Formal verification intersecting with Formal methods.
His study in Software development is interdisciplinary in nature, drawing from both Ubiquitous computing, Middleware and Systems engineering.
His Business Process Execution Language, Web navigation and Web development study, which is part of a larger body of work in Web service, is frequently linked to Web engineering, bridging the gap between disciplines.
His Formal specification research is multidisciplinary, relying on both Theoretical computer science, Algorithm, Petri net, Concurrency and Specification language.
His most cited work include:
- A unified high-level Petri net formalism for time-critical systems (322 citations)
- A journey to highly dynamic, self-adaptive service-based applications (234 citations)
- Software process model evolution in the SPADE environment (232 citations)
What are the main themes of his work throughout his whole career to date?
Carlo Ghezzi mostly deals with Software engineering, Programming language, Software development, Distributed computing and Software.
His Software engineering study also includes fields such as
- Software system and related Service,
- Social software engineering which intersects with area such as Software Engineering Process Group.
Programming language is closely attributed to Theoretical computer science in his research.
As part of his studies on Software development, he often connects relevant areas like Middleware.
His research integrates issues of Correctness, Model checking, Real-time computing and Component in his study of Distributed computing.
Carlo Ghezzi has researched Software in several fields, including Probabilistic logic, Software deployment and Adaptation.
He most often published in these fields:
- Software engineering (31.37%)
- Programming language (25.09%)
- Software development (16.97%)
What were the highlights of his more recent work (between 2011-2021)?
- Software engineering (31.37%)
- Distributed computing (16.61%)
- Software (16.61%)
In recent papers he was focusing on the following fields of study:
His primary areas of study are Software engineering, Distributed computing, Software, Programming language and Formal verification.
His research in Software engineering intersects with topics in Software development and Systems engineering.
Carlo Ghezzi interconnects Ubiquitous computing, Software system, Real-time computing, Mobile computing and Workflow in the investigation of issues within Distributed computing.
His work in Workflow tackles topics such as Web service which are related to areas like Service.
His Software study combines topics from a wide range of disciplines, such as Cyber-physical system and Mobile robot.
The concepts of his Formal verification study are interwoven with issues in Model checking, Probabilistic logic, Formal specification and Software verification.
Between 2011 and 2021, his most popular works were:
- Self-adaptive software needs quantitative verification at runtime (210 citations)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (104 citations)
- Context-oriented programming: A software engineering perspective (81 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
His primary areas of investigation include Software, Software engineering, Software system, Distributed computing and Software development.
His Software research incorporates themes from Reliability engineering and Actor model.
He is involved in the study of Software engineering that focuses on Software deployment in particular.
His work carried out in the field of Software system brings together such families of science as Risk analysis, Adaptation and Component.
His Distributed computing study integrates concerns from other disciplines, such as Design rationale, Control theory, Real-time computing and Adaptive system.
Carlo Ghezzi combines subjects such as Programming paradigm and Reactive programming with his study of Software development.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
