John Penix
Impact in
- Software top 0.5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Information Systems top 0.5%
- Software Engineering Research
- Software Engineering Techniques and Practices
Papers in ⓘ
- Software 23
- Software Testing and Debugging Techniques 15
- Software Reliability and Analysis Research 13
-
- Advanced Software Engineering Methodologies 15
- Co-authors
- J. David Morgenthaler (5 shared papers)Nathaniel Ayewah (4 shared papers)William Pugh (4 shared papers)Sebastian Elbaum (2 shared papers)Gregg Rothermel (2 shared papers)David Hovemeyer (2 shared papers)Klaus Havelund (3 shared papers)Perry Alexander (8 shared papers)
- Journals
- IEEE Software (1 paper)IEEE Transactions on Software Engineering (1 paper)Concurrent Engineering (1 paper)Automated Software Engineering (1 paper)Formal Methods in System Design (1 paper)
- Partner nations
- United StatesUnited KingdomBrazil
In The Last Decade
John Penix
45 papers receiving 1.3k citations
Hit Papers
Peers
Comparison fields: 5 of 45
- Software 926
- Information Systems 888
- Signal Processing 194
- Hardware and Architecture 113
- Computational Theory and Mathematics 242
Countries citing papers authored by John Penix
This map shows the geographic impact of John Penix'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 Penix with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites John Penix more than expected).
Fields of papers citing papers by John Penix
This network shows the impact of papers produced by John Penix. 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 Penix. The network helps show where John Penix may publish in the future.
Co-authors
The 25 scholars most cited alongside John Penix, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 46 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Using Static Analysis to Find Bugs Hit paper breakdown → | 2008 | 344 |
| 2 | Techniques for improving regression testing in continuous integration development environments Hit paper breakdown → | 2014 | 246 |
| 3 | 2007 | 160 | |
| 4 | 2001 | 105 | |
| 5 | 2008 | 93 | |
| 6 | 2007 | 47 | |
| 7 | 2000 | 46 | |
| 8 | Formal Analysis of the Remote Agent Before and After Flight | 2000 | 44 |
| 9 | 2000 | 34 | |
| 10 | 1999 | 34 | |
| 11 | 2004 | 29 | |
| 12 | Toward Automated Component Adaptation | 1997 | 21 |
| 13 | 2005 | 21 | |
| 14 | Design for Verification: Using Design Patterns to Build Reliable Systems | 2003 | 20 |
| 15 | Using Model Checking to Validate AI Planner Domain Models | 1999 | 19 |
| 16 | 2002 | 13 | |
| 17 | Experiences Using Static Analysis to Find Bugs | 2008 | 13 |
| 18 | Automated component retrieval and adaptation using formal specifications | 1998 | 10 |
| 19 | 2005 | 9 | |
| 20 | 2002 | 9 |
About John Penix
John Penix is a scholar working on Software, Artificial Intelligence, Information Systems, Computer Networks and Communications and Hardware and Architecture, having authored 46 papers that have together received 1.4k indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (15 papers), Advanced Software Engineering Methodologies (15 papers), Software Reliability and Analysis Research (13 papers), Software Engineering Research (12 papers), Formal Methods in Verification (11 papers), Real-Time Systems Scheduling (7 papers), Distributed systems and fault tolerance (5 papers) and Advanced Malware Detection Techniques (5 papers). The work is most often cited by research in Software (926 citations), Information Systems (888 citations), Signal Processing (194 citations), Hardware and Architecture (113 citations) and Computational Theory and Mathematics (242 citations). John Penix has collaborated with scholars based in United States, United Kingdom and Brazil. Frequent co-authors include J. David Morgenthaler, Nathaniel Ayewah, William Pugh, Sebastian Elbaum, Gregg Rothermel, David Hovemeyer, Klaus Havelund, Perry Alexander, Willem Visser and Joseph R. Ruthruff. Their work appears in journals such as IEEE Software, IEEE Transactions on Software Engineering, Concurrent Engineering, Automated Software Engineering and Formal Methods in System Design.
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.