John Penix
Google Publications
-
Experiences Using Static Analysis to Find Bugs
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh
IEEE Software, vol. 25 (2008), pp. 22-29
-
Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach
Joseph Ruthruff, John Penix, J. David Morgenthaler, Sebastian Elbaum, Gregg Rothermel
Proceedings of the International Conference on Software Engineering, ACM (2008), pp. 341-350
-
Evaluating Static Analysis Defect Warnings on Production Software
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, ACM Press, New York, NY, USA (2007), pp. 1-8
-
Using FindBugs on Production Software
Nathaniel Ayewah, J. David Morgenthaler, John Penix, William Pugh, YuQian Zhou
Proc. OOPSLA'07, ACM, Montréal (2007)
Previous Publications
-
Guest Editors' Introduction
John Penix, John C. Grundy
Autom. Softw. Eng., vol. 13 (2006), pp. 343-344
-
Verifying Time Partitioning in the DEOS Scheduling Kernel
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Formal Methods in System Design, vol. 26 (2005), pp. 103-135
-
Management of Interdependencies in Collaborative Software Development
Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis
International Symposium on Empirical Software Engineering (ISESE), IEEE (2003), pp. 294-303
-
Amphion/NAV: Deductive Synthesis of State Estimation Software
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
International Conference on Automated Software Engineering (2001), pp. 395-399
-
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)
Nigel Tracey, John Penix, Willem Visser
Softw. Test., Verif. Reliab., vol. 11 (2001), pp. 63-64
-
Formal Analysis of a Space-Craft Controller Using SPIN
Klaus Havelund, Michael R. Lowry, John Penix
IEEE Trans. Software Eng., vol. 27 (2001), pp. 749-765
-
The Second International Workshop on Automated Program Analysis, Testing and Verification
Nigel Tracey, John Penix, Willem Visser
Proceedings of the International Conference on Software Engineering (2001), pp. 755-755
-
SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings
Klaus Havelund, John Penix, Willem Visser
Springer
-
The First International Workshop on Automated Program Analysis, Testing and Verification
Nigel Tracey, John Penix, Willem Visser
Proceedings of the International Conference on Software Engineering (2000), pp. 796
-
Using predicate abstraction to reduce object-oriented programs for model checking
Willem Visser, Seungjoon Park, John Penix
Proceedings of the ACM Workshop on Formal Methods in Software Practice (2000), pp. 3-182
-
Verification of time partitioning in the DEOS scheduler kernel
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
ICSE (2000), pp. 488-497
-
Deductive Synthesis of Event-Based Software Architectures
International Conference on Automated Software Engineering, IEEE/ACM (1999), pp. 311-314
-
Efficient Specification-Based Component Retrieval
John Penix, Perry Alexander
Autom. Softw. Eng., vol. 6 (1999), pp. 139-170
-
Experiences in verifying parallel simulation algorithms
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
Proceedings of the ACM Workshop on Formal Methods in Software Practice, ACM (1998), pp. 16-23
-
Declarative Specification of Software Architectures
John Penix, Perry Alexander, Klaus Havelund
International Conference on Automated Software Engineering, IEEE (1997), pp. 201-
-
Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration
Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey
Annual Simulation Symposium (1997), pp. 24-30
-
Verification and Validation of AI Systems that Control Deep-Space Spacecraft
Michael R. Lowry, Klaus Havelund, John Penix
ISMIS (1997), pp. 35-47
-
Classification and Retrieval of Reusable Components Using Semantic Features
John Penix, Phillip Baraona, Perry Alexander
Knowledge-Based Software Engineering Conference, IEEE (1995), pp. 131-138

