What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
Gerard J. Holzmann mainly investigates Programming language, Software verification, Model checking, Promela and SPIN model checker.
His studies deal with areas such as Acceptance testing and Code as well as Programming language.
His research in Software verification intersects with topics in Software verification and validation and Runtime verification, Formal verification.
His Model checking study integrates concerns from other disciplines, such as Linear temporal logic, Automaton, Concurrency and Temporal logic.
His Promela study is focused on Theoretical computer science in general.
The study incorporates disciplines such as Partial order reduction, Software system, Theoretical physics, Distributed algorithm and Debugging in addition to SPIN model checker.
His most cited work include:
- The model checker SPIN (3419 citations)
- The SPIN Model Checker: Primer and Reference Manual (2031 citations)
- Design and validation of computer protocols (1470 citations)
What are the main themes of his work throughout his whole career to date?
Gerard J. Holzmann spends much of his time researching Model checking, Programming language, Software engineering, Software verification and Software development.
His research on Model checking focuses in particular on SPIN model checker.
In his study, which falls under the umbrella issue of SPIN model checker, Breadth-first search is strongly linked to Partial order reduction.
His Programming language research is multidisciplinary, incorporating perspectives in Algorithm and Code.
Gerard J. Holzmann works mostly in the field of Software engineering, limiting it down to topics relating to Software quality and, in certain cases, Software bug.
His Software development research focuses on subjects like Software system, which are linked to Software design.
He most often published in these fields:
- Model checking (30.59%)
- Programming language (30.00%)
- Software engineering (22.94%)
What were the highlights of his more recent work (between 2011-2021)?
- Software quality (10.59%)
- Programming language (30.00%)
- Software development (17.06%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Software quality, Programming language, Software development, Code and Software.
His biological study spans a wide range of topics, including Software bug, Reliability engineering, Compiler and Software engineering.
His work carried out in the field of Software engineering brings together such families of science as Software verification and validation, Software system, Software reliability testing, Software construction and World Wide Web.
His work on Control flow, Linear temporal logic, Static analysis and Source code as part of general Programming language study is frequently linked to Encoding, bridging the gap between disciplines.
Gerard J. Holzmann has researched Control flow in several fields, including Python, Structured programming, Modeling language and Promela.
His study on Model checking is often connected to Brace as part of broader study in Theoretical computer science.
Between 2011 and 2021, his most popular works were:
- Parallelizing the spin model checker (61 citations)
- Mars code (47 citations)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (26 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
His primary areas of study are Programming language, Model checking, Software verification, Software and Software construction.
His work on Control flow and Compiler as part of general Programming language research is frequently linked to CLARITY, Encoding and Affect, thereby connecting diverse disciplines of science.
His Model checking research incorporates themes from Breadth-first search and Liveness.
Gerard J. Holzmann has included themes like Linear temporal logic and SPIN model checker in his Liveness study.
His Software verification study improves the overall literature in Software system.
Many of his research projects under Software construction are closely connected to Law and economics and Incentive with Law and economics and Incentive, tying the diverse disciplines of science together.
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.
