Peter Mehlitz

761 total citations
23 papers, 436 citations indexed

About

Peter Mehlitz is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Peter Mehlitz has authored 23 papers receiving a total of 436 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 11 papers in Software and 7 papers in Computational Theory and Mathematics. Recurrent topics in Peter Mehlitz's work include Software Reliability and Analysis Research (9 papers), Software Testing and Debugging Techniques (9 papers) and Formal Methods in Verification (7 papers). Peter Mehlitz is often cited by papers focused on Software Reliability and Analysis Research (9 papers), Software Testing and Debugging Techniques (9 papers) and Formal Methods in Verification (7 papers). Peter Mehlitz collaborates with scholars based in United States, South Africa and United Kingdom. Peter Mehlitz's co-authors include Corina S. Păsăreanu, David Bushnell, Karen Gundy-Burlet, Suzette Person, Michael Lowry, Neha Rungta, Willem Visser, Jaco Geldenhuys, John Penix and Oksana Tkachuk and has published in prestigious journals such as Computers & Geosciences, International Journal on Software Tools for Technology Transfer and Automated Software Engineering.

In The Last Decade

Peter Mehlitz

20 papers receiving 413 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Peter Mehlitz United States	9	347	192	95	89	87	23	436
Kalpesh Kapoor India	8	289 0.8×	126 0.7×	65 0.7×	97 1.1×	78 0.9×	25	365
David Bushnell United States	5	303 0.9×	178 0.9×	52 0.5×	72 0.8×	50 0.6×	10	348
Steven J. Zeil United States	11	405 1.2×	221 1.2×	60 0.6×	48 0.5×	67 0.8×	34	452
Ramsay Taylor United Kingdom	4	363 1.0×	217 1.1×	99 1.0×	48 0.5×	62 0.7×	7	433
Carsten Weise Germany	11	204 0.6×	100 0.5×	106 1.1×	142 1.6×	104 1.2×	27	357
Aditya Kanade India	9	220 0.6×	148 0.8×	112 1.2×	53 0.6×	104 1.2×	16	377
Mats Grindal Sweden	8	505 1.5×	241 1.3×	62 0.7×	66 0.7×	144 1.7×	13	583
Susumu Fujiwara Japan	4	462 1.3×	124 0.6×	104 1.1×	191 2.1×	78 0.9×	7	511
Vladimir Levin United States	8	258 0.7×	111 0.6×	262 2.8×	198 2.2×	129 1.5×	14	497
Allen Goldberg United States	12	204 0.6×	154 0.8×	253 2.7×	146 1.6×	123 1.4×	31	469

Countries citing papers authored by Peter Mehlitz

Since Specialization

Citations

This map shows the geographic impact of Peter Mehlitz'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 Peter Mehlitz with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Mehlitz more than expected).

Fields of papers citing papers by Peter Mehlitz

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Mehlitz. 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 Peter Mehlitz. The network helps show where Peter Mehlitz may publish in the future.

Co-authorship network of co-authors of Peter Mehlitz

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Mehlitz. A scholar is included among the top collaborators of Peter Mehlitz 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 Peter Mehlitz. Peter Mehlitz is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Mehlitz, Peter, et al.. (2025). Smoke or cloud: Real-time satellite image segmentation in a wildfire data integration application. Computers & Geosciences. 204. 105960–105960. 1 indexed citations

Havelund, Klaus, et al.. (2023). Concurrent runtime verification of data rich events. International Journal on Software Tools for Technology Transfer. 25(4). 481–501.

Mehlitz, Peter, et al.. (2016). RACE: Building airspace simulations faster and better with actors. Zenodo (CERN European Organization for Nuclear Research). 1–9. 3 indexed citations

Mehlitz, Peter, et al.. (2014). Extending JPF to verify distributed systems. ACM SIGSOFT Software Engineering Notes. 39(1). 1–5. 5 indexed citations

Păsăreanu, Corina S., Willem Visser, David Bushnell, et al.. (2013). Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Automated Software Engineering. 20(3). 391–425. 110 indexed citations

Mehlitz, Peter, Neha Rungta, & Willem Visser. (2013). A hands-on Java Pathfinder tutorial. 2013 35th International Conference on Software Engineering (ICSE). 1493–1495. 4 indexed citations

Gligoric, Milos, Peter Mehlitz, & Darko Marinov. (2012). X10X: Model Checking a New Programming Language with an "Old" Model Checker. 10. 11–20. 11 indexed citations

Combéfis, Sébastien, Dimitra Giannakopoulou, Charles Pecheur, & Peter Mehlitz. (2011). A JavaPathfinder Extension to Analyse Human-Machine Interactions. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations

Mehlitz, Peter, Oksana Tkachuk, & Mateusz Ujma. (2011). JPF-AWT: Model checking GUI applications. 584–587. 19 indexed citations

10.

Păsăreanu, Corina S., et al.. (2009). Model Based Analysis and Test Generation for Flight Software. NASA STI Repository (National Aeronautics and Space Administration). 83–90. 23 indexed citations

11.

Bushnell, David, Dimitra Giannakopoulou, Peter Mehlitz, Russell A. Paielli, & Corina S. Păsăreanu. (2009). Verification and validation of air traffic systems: Tactical separation assurance. 13. 1–10. 9 indexed citations

12.

Păsăreanu, Corina S., Peter Mehlitz, David Bushnell, et al.. (2008). Combining unit-level symbolic execution and system-level concrete execution for testing nasa software. 15–26. 183 indexed citations

13.

Pressburger, Thomas, Masoud Mansouri-Samani, Peter Mehlitz, et al.. (2008). Program Model Checking: A Practitioner's Guide. NASA Technical Reports Server (NASA). 9 indexed citations

14.

Mansouri-Samani, Masoud, et al.. (2007). Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study. 1–9. 4 indexed citations

15.

Mehlitz, Peter & John Penix. (2006). Design for Verification with Dynamic Assertions. 285–292. 7 indexed citations

16.

Mehlitz, Peter, et al.. (2005). Radiation-Hardened Software for Space Flight Science Applications. AGUFM. 2005. 1 indexed citations

17.

O'Malley, Owen, Masoud Mansouri-Samani, Peter Mehlitz, & John Penix. (2005). Seeing the Invisible: Embedding Tests in Code That Cannot be Modified. NASA STI Repository (National Aeronautics and Space Administration). 2 indexed citations

18.

Mehlitz, Peter & John Penix. (2005). Expecting the Unexpected - Radiation Hardened Software. 5 indexed citations

19.

Mehlitz, Peter, John Penix, & Dennis Koga. (2003). Design for Verification: Using Design Patterns to Build Reliable Systems. NASA Technical Reports Server (NASA). 20 indexed citations

20.

Mehlitz, Peter, et al.. (2003). Propel: Tools and Methods for Practical Source Code Model Checking. NASA Technical Reports Server (NASA). 1 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