John Hatcliff

5.8k total citations · 1 hit paper
102 papers, 2.7k citations indexed

About

John Hatcliff is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, John Hatcliff has authored 102 papers receiving a total of 2.7k indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Software, 45 papers in Artificial Intelligence and 38 papers in Computational Theory and Mathematics. Recurrent topics in John Hatcliff's work include Formal Methods in Verification (35 papers), Software Testing and Debugging Techniques (31 papers) and Software Reliability and Analysis Research (26 papers). John Hatcliff is often cited by papers focused on Formal Methods in Verification (35 papers), Software Testing and Debugging Techniques (31 papers) and Software Reliability and Analysis Research (26 papers). John Hatcliff collaborates with scholars based in United States, Denmark and France. John Hatcliff's co-authors include Matthew B. Dwyer, Robby, Corina S. Păsăreanu, James C. Corbett, Hongjun Zheng, Olivier Danvy, Hongjun Zheng, Venkatesh-Prasad Ranganath, Andrew P. King and Oleg Sokolsky and has published in prestigious journals such as Proceedings of the IEEE, ACM Computing Surveys and Computer.

In The Last Decade

John Hatcliff

97 papers receiving 2.5k citations

Hit Papers

Bandera 2000 2026 2008 2017 2000 200 400 600
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Bandera
    2000 654 citations Matthew B. Dwyer, John Hatcliff et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
John Hatcliff United States 27 1.3k 1.2k 1.1k 635 519 102 2.7k
John Rushby United States 27 767 0.6× 1.0k 0.9× 1.1k 1.0× 388 0.6× 748 1.4× 95 2.5k
Rance Cleaveland United States 20 710 0.5× 1.1k 0.9× 778 0.7× 246 0.4× 277 0.5× 88 1.6k
Mats P. E. Heimdahl United States 24 2.1k 1.6× 1.0k 0.9× 758 0.7× 972 1.5× 360 0.7× 130 2.8k
Martin Leucker Germany 17 810 0.6× 890 0.8× 818 0.7× 235 0.4× 341 0.7× 92 1.8k
Sriram Sankaranarayanan United States 22 577 0.4× 992 0.8× 655 0.6× 104 0.2× 126 0.2× 101 1.7k
James C. Corbett United States 16 1.4k 1.1× 1.5k 1.3× 1.1k 1.0× 831 1.3× 777 1.5× 41 2.8k
Gerard J. Holzmann United States 27 1.6k 1.2× 1.9k 1.6× 1.2k 1.1× 504 0.8× 718 1.4× 83 3.1k
Stefan Kowalewski Germany 18 516 0.4× 385 0.3× 371 0.3× 281 0.4× 245 0.5× 172 1.4k
Leonardo de Moura United States 17 1.1k 0.9× 718 0.6× 827 0.7× 1.0k 1.6× 370 0.7× 43 2.1k
Jean-Raymond Abrial Switzerland 14 637 0.5× 868 0.7× 802 0.7× 340 0.5× 376 0.7× 26 1.5k

Countries citing papers authored by John Hatcliff

Since Specialization
Citations

This map shows the geographic impact of John Hatcliff's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by John Hatcliff with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites John Hatcliff more than expected).

Fields of papers citing papers by John Hatcliff

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by John Hatcliff. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by John Hatcliff. The network helps show where John Hatcliff may publish in the future.

Co-authorship network of co-authors of John Hatcliff

This figure shows the co-authorship network connecting the top 25 collaborators of John Hatcliff. A scholar is included among the top collaborators of John Hatcliff based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with John Hatcliff. John Hatcliff is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Hallerstede, Stefan & John Hatcliff. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming. 245. 103312–103312.
2.
Hatcliff, John, et al.. (2021). Awas: AADL information flow and error propagation analysis framework. Innovations in Systems and Software Engineering. 18(4). 485–504. 4 indexed citations
3.
Wang, Xiaolong, Xinming Ou, John Hatcliff, et al.. (2017). Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. 37–44. 6 indexed citations
4.
Hatcliff, John, et al.. (2015). Ecosphere Principles for Medical Application Platforms. 193–198. 3 indexed citations
5.
Hatcliff, John, et al.. (2013). Explicating symbolic execution (xSymExe): an evidence-based verification framework. International Conference on Software Engineering. 222–231. 3 indexed citations
6.
Larson, Brian, et al.. (2012). Requirements specification for apps in medical application platforms. 26–32. 10 indexed citations
7.
Breu, Ruth & John Hatcliff. (2012). Proceedings of the 4th International Workshop on Software Engineering in Health Care. International Conference on Software Engineering. 1 indexed citations
8.
Hatcliff, John, Andrew King, Insup Lee, et al.. (2012). Rationale and Architecture Principles for Medical Application Platforms. 3–12. 52 indexed citations
9.
10.
King, Andrew P., John Hatcliff, Steve Warren, et al.. (2009). Demonstration of a medical device integration and coordination framework. 433–434. 2 indexed citations
11.
Robby, Matthew B. Dwyer, & John Hatcliff. (2006). Domain-specific Model Checking Using The Bogor Framework. 3922. 369–370. 2 indexed citations
12.
Hatcliff, John, et al.. (2006). CALM and Cadena: Metamodeling for Component-Based Product-Line Development. Computer. 39(2). 42–50. 27 indexed citations
13.
Danvy, Olivier & John Hatcliff. (2003). Partial evaluation. 1370–1371. 2 indexed citations
14.
Deng, Xianghua, et al.. (2003). Model-checking middleware-based event-driven real-time embedded software. Lecture notes in computer science. 2852. 154–181. 3 indexed citations
15.
16.
Garavel, Hubert & John Hatcliff. (2003). Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science. 15 indexed citations
17.
Garavel, Hubert & John Hatcliff. (2003). Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems. 23 indexed citations
18.
Dwyer, Matthew B., John Hatcliff, Roby Joehanes, et al.. (2001). Tool-supported program abstraction for finite-state verification. International Conference on Software Engineering. 177–187. 80 indexed citations
19.
Dwyer, Matthew B. & John Hatcliff. (1999). Slicing Software for Model Construction.. 127(16). 105–118. 35 indexed citations
20.
Dwyer, Matthew B., et al.. (1998). Using partial evaluation to enable verification of concurrent software. ACM Computing Surveys. 30(3es). 22–22. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by John Rushby Breakdown of academic impact, for papers by Rance Cleaveland Breakdown of academic impact, for papers by Mats P. E. Heimdahl Breakdown of academic impact, for papers by Martin Leucker Breakdown of academic impact, for papers by Sriram Sankaranarayanan Breakdown of academic impact, for papers by James C. Corbett Breakdown of academic impact, for papers by Gerard J. Holzmann Breakdown of academic impact, for papers by Stefan Kowalewski Breakdown of academic impact, for papers by Leonardo de Moura Breakdown of academic impact, for papers by Jean-Raymond Abrial
Rankless by CCL
2026