D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 35 Citations 6,763 115 World Ranking 5998 National Ranking 2933

Overview

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.

Best Publications

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)

1545 Citations

Bogor: an extensible and highly-modular software model checking framework

Robby;Matthew B. Dwyer;John Hatcliff.
foundations of software engineering (2003)

343 Citations

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee;O. Sokolsky;Sanjian Chen;J. Hatcliff.
Proceedings of the IEEE (2012)

332 Citations

Slicing Software for Model Construction

John Hatcliff;Matthew B. Dwyer;Hongjun Zheng.
Higher-Order and Symbolic Computation archive (2000)

278 Citations

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)

263 Citations

Tool-supported program abstraction for finite-state verification

Matthew B. Dwyer;John Hatcliff;Roby Joehanes;Shawn Laubach.
international conference on software engineering (2001)

201 Citations

Behavioral interface specification languages

John Hatcliff;Gary T. Leavens;K. Rustan M. Leino;Peter Müller.
ACM Computing Surveys (2012)

193 Citations

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

John Hatcliff;Matthew B. Dwyer.
international conference on concurrency theory (2001)

179 Citations

High-confidence medical device software and systems

I. Lee;G.J. Pappas;R. Cleaveland;J. Hatcliff.
IEEE Computer (2006)

175 Citations

A generic account of continuation-passing styles

John Hatcliff;Olivier Danvy.
symposium on principles of programming languages (1994)

163 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing John Hatcliff

Olivier Danvy

Olivier Danvy

Yale-NUS College

Publications: 34

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 29

Cormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

Publications: 28

Aniruddha Gokhale

Aniruddha Gokhale

Vanderbilt University

Publications: 28

Douglas C. Schmidt

Douglas C. Schmidt

Vanderbilt University

Publications: 25

Matthew B. Dwyer

Matthew B. Dwyer

University of Virginia

Publications: 25

Willem Visser

Willem Visser

Stellenbosch University

Publications: 24

Sriram K. Rajamani

Sriram K. Rajamani

Microsoft (United States)

Publications: 24

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 23

Oleg Sokolsky

Oleg Sokolsky

University of Pennsylvania

Publications: 22

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 21

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 21

Gilles Barthe

Gilles Barthe

Max Planck Institute for Security and Privacy

Publications: 20

Darko Marinov

Darko Marinov

University of Illinois at Urbana-Champaign

Publications: 20

Dawson Engler

Dawson Engler

Stanford University

Publications: 19

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 18

Trending Scientists

Thomas Bartsch

Thomas Bartsch

University of Giessen

Ryszard S. Michalski

Ryszard S. Michalski

George Mason University

Xinying Li

Xinying Li

Fudan University

Wei Sun

Wei Sun

University of Edinburgh

Jinlin Long

Jinlin Long

Fuzhou University

Uwe Völker

Uwe Völker

Greifswald University Hospital

Grant R. Sutherland

Grant R. Sutherland

University of Adelaide

Jochen Krauss

Jochen Krauss

University of Würzburg

Stephen Spiro

Stephen Spiro

The University of Texas at Dallas

Douglas A. Gage

Douglas A. Gage

Michigan State University

José A. López

José A. López

University of Washington

Dieter Langosch

Dieter Langosch

Technical University of Munich

John C. Yuille

John C. Yuille

University of British Columbia

Issa F. Khouri

Issa F. Khouri

The University of Texas MD Anderson Cancer Center

Michael J. Solomon

Michael J. Solomon

Royal Prince Alfred Hospital

Jan H. van Driel

Jan H. van Driel

University of Melbourne

Something went wrong. Please try again later.