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 22
- Software Reliability and Analysis Research 14
- Software Testing and Debugging Techniques 13
-
- Real-Time Systems Scheduling 8
- Co-authors
- J. David Morgenthaler (5 shared papers)Nathaniel Ayewah (4 shared papers)William White Tison Pugh (4 shared papers)Sebastian G. Elbaum (2 shared papers)Gregg Rothermel (2 shared papers)David Hovemeyer (2 shared papers)Klaus Havelund (4 shared papers)Perry Alexander (10 shared papers)
- Journals
- Automated Software Engineering (1 paper)Concurrent Engineering (1 paper)Formal Methods in System Design (1 paper)IEEE Transactions on Software Engineering (1 paper)IEEE Software (1 paper)
- Partner nations
- United StatesUnited KingdomBrazil
In The Last Decade
John Penix
44 papers receiving 1.5k citations
John Penix's Hit Papers
Peers
Comparison fields: 5 of 51
- Software 1.1k
- Information Systems 979
- Hardware and Architecture 145
- Signal Processing 222
- Computational Theory and Mathematics 321
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 | 394 |
| 2 | Techniques for improving regression testing in continuous integration development environments Hit paper breakdown → | 2014 | 266 |
| 3 | 2007 | 167 | |
| 4 | 2001 | 129 | |
| 5 | 2008 | 99 | |
| 6 | Formal Analysis of the Remote Agent Before and After Flight | 2000 | 60 |
| 7 | 2000 | 59 | |
| 8 | 2007 | 53 | |
| 9 | 2000 | 45 | |
| 10 | 1999 | 42 | |
| 11 | 2004 | 33 | |
| 12 | 2005 | 28 | |
| 13 | Using Model Checking to Validate AI Planner Domain Models | 1999 | 25 |
| 14 | Design for Verification: Using Design Patterns to Build Reliable Systems | 2003 | 24 |
| 15 | Toward Automated Component Adaptation | 1997 | 21 |
| 16 | 1997 | 19 | |
| 17 | Experiences Using Static Analysis to Find Bugs | 2008 | 16 |
| 18 | 1995 | 13 | |
| 19 | 2002 | 12 | |
| 20 | Automated component retrieval and adaptation using formal specifications | 1998 | 12 |
About John Penix
John Penix is a scholar working on Software, Hardware and Architecture, Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, having authored 46 papers that have together received 1.6k indexed citations. Recurring topics across this work include Advanced Software Engineering Methodologies (16 papers), Software Reliability and Analysis Research (14 papers), Software Testing and Debugging Techniques (13 papers), Formal Methods in Verification (12 papers), Software Engineering Research (11 papers), Real-Time Systems Scheduling (8 papers), Distributed systems and fault tolerance (6 papers) and Software System Performance and Reliability (5 papers). The work is most often cited by research in Software (1.1k citations), Information Systems (979 citations), Hardware and Architecture (145 citations), Signal Processing (222 citations) and Computational Theory and Mathematics (321 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 White Tison Pugh, Sebastian G. Elbaum, Gregg Rothermel, David Hovemeyer, Klaus Havelund, Perry Alexander, Willem I. Visser and Seungjoon Park. Their work appears in journals such as Automated Software Engineering, Concurrent Engineering, Formal Methods in System Design, IEEE Transactions on Software Engineering and IEEE Software.
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.