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 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.
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.
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.
Bandera: extracting finite-state models from Java source code
James C. Corbett;Matthew B. Dwyer;John Hatcliff;Shawn Laubach.
international conference on software engineering (2000)
Bogor: an extensible and highly-modular software model checking framework
Robby;Matthew B. Dwyer;John Hatcliff.
foundations of software engineering (2003)
Challenges and Research Directions in Medical Cyber–Physical Systems
Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff.
Proceedings of the IEEE (2012)
Slicing Software for Model Construction
John Hatcliff;Matthew B. Dwyer;Hongjun Zheng.
Higher-Order and Symbolic Computation archive (2000)
Cadena: an integrated development, analysis, and verification environment for component-based systems
John Hatcliff;Xinghua Deng;Matthew B. Dwyer;Georg Jung.
international conference on software engineering (2003)
Tool-supported program abstraction for finite-state verification
Matthew B. Dwyer;John Hatcliff;Roby Joehanes;Shawn Laubach.
international conference on software engineering (2001)
Behavioral interface specification languages
John Hatcliff;Gary T. Leavens;K. Rustan M. Leino;Peter Müller.
ACM Computing Surveys (2012)
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
John Hatcliff;Matthew B. Dwyer.
international conference on concurrency theory (2001)
High-confidence medical device software and systems
I. Lee;G.J. Pappas;R. Cleaveland;J. Hatcliff.
IEEE Computer (2006)
A generic account of continuation-passing styles
John Hatcliff;Olivier Danvy.
symposium on principles of programming languages (1994)
International Journal on Software Tools for Technology Transfer
(Impact Factor: 1.256)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: