What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
His primary scientific interests are in Programming language, Model checking, Java, Correctness and Software.
Program analysis, Source code, Program slicing, Concurrency and Software verification are the primary areas of interest in his Programming language study.
In Model checking, John Hatcliff works on issues like Finite-state machine, which are connected to Executable.
His work deals with themes such as Object-oriented programming and Formal verification, which intersect with Java.
John Hatcliff focuses mostly in the field of Correctness, narrowing it down to matters related to Formal specification and, in some cases, Middleware and Middleware.
His specific area of interest is Software, where he studies Software system.
His most cited work include:
- Bandera: extracting finite-state models from Java source code (1025 citations)
- Challenges and Research Directions in Medical Cyber–Physical Systems (241 citations)
- Bogor: an extensible and highly-modular software model checking framework (208 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of investigation include Programming language, Software engineering, Model checking, Software and Java.
His Programming language study focuses mostly on Program analysis, Software development, Correctness, Object-oriented programming and Source code.
His biological study spans a wide range of topics, including Program transformation and Program slicing.
His Model checking research incorporates themes from Embedded software, Formal methods, Reduction, Specification language and Finite-state machine.
John Hatcliff interconnects Extensibility and Domain in the investigation of issues within Software.
The study incorporates disciplines such as Heap, Semantics, Concurrency and Slicing in addition to Java.
He most often published in these fields:
- Programming language (44.94%)
- Software engineering (26.58%)
- Model checking (24.05%)
What were the highlights of his more recent work (between 2013-2020)?
- Interoperability (7.59%)
- Software engineering (26.58%)
- Risk management (5.06%)
In recent papers he was focusing on the following fields of study:
The scientist’s investigation covers issues in Interoperability, Software engineering, Risk management, Medical device and Medical systems.
His research in Interoperability intersects with topics in Distributed computing, Reduction, Principle of compositionality and Engineering management.
His Software engineering research includes themes of Systems architecture, Component-based software engineering, Software and Architecture Analysis & Design Language.
The concepts of his Component-based software engineering study are interwoven with issues in Information flow, Control and Propagation of uncertainty.
John Hatcliff combines subjects such as Architectural model and Middleware with his study of Software.
His Computer security study combines topics in areas such as Security testing, Security through obscurity and Security engineering.
Between 2013 and 2020, his most popular works were:
- Certifiably safe software-dependent systems: challenges and directions (47 citations)
- An architecturally-integrated, systems-based hazard analysis for medical applications (22 citations)
- Enabling Safe Interoperation by Medical Device Virtual Integration (10 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
John Hatcliff mainly focuses on Computer security, Medical systems, Interoperability, Medical device and Software.
His work carried out in the field of Computer security brings together such families of science as System safety, Security through obscurity and Security testing.
Medical systems is connected with Iso standards, Risk management, Computer architecture, Overhead and Set in his research.
As a part of the same scientific family, John Hatcliff mostly works in the field of Interoperability, focusing on Principle of compositionality and, on occasion, Software engineering.
His biological study spans a wide range of topics, including Software system, Reliability, Medical software and Solid modeling.
His work in the fields of Middleware overlaps with other areas such as Lead.
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.
