John Penix

	2008
26		Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel: Predicting accurate and actionable static analysis warnings: an experimental approach. ICSE 2008: 341-350
25		Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh: Using Static Analysis to Find Bugs. IEEE Software 25(5): 22-29 (2008)
	2007
24		Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou: Using FindBugs on production software. OOPSLA Companion 2007: 805-806
23		Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou: Evaluating static analysis defect warnings on production software. PASTE 2007: 1-8
	2006
22		John Penix, John C. Grundy: Guest Editors' Introduction. Autom. Softw. Eng. 13(3): 343-344 (2006)
	2005
21		Peter C. Mehlitz, John Penix: Design for Verification with Dynamic Assertions. SEW 2005: 285-292
20		John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design 26(2): 103-135 (2005)
	2003
19		Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis: Management of Interdependencies in Collaborative Software Development. ISESE 2003: 294-303
	2001
18		Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat: Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE 2001: 395-399
17		Nigel Tracey, John Penix, Willem Visser: The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2001: 755-755
16		Klaus Havelund, Michael R. Lowry, John Penix: Formal Analysis of a Space-Craft Controller Using SPIN. IEEE Trans. Software Eng. 27(8): 749-765 (2001)
15		Nigel Tracey, John Penix, Willem Visser: Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test., Verif. Reliab. 11(2): 63-64 (2001)
14		Nigel Tracey, John Penix, Willem Visser: Automated analysis, verification and testing. Software Focus 2(2): 82 (2001)
	2000
13		Klaus Havelund, John Penix, Willem Visser: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings Springer 2000
12		Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
11		John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
10		Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
	1999
9		John Penix: Evaluation of Automated Software Engineering Systems? (Panel). ASE 1999: 3
8		John Penix: Deductive Synthesis of Event-Based Software Architectures. ASE 1999: 311-314
7		John Penix, Perry Alexander: Efficient Specification-Based Component Retrieval. Autom. Softw. Eng. 6(2): 139-170 (1999)
	1998
6		John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23
5		John Penix, Perry Alexander: Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356-
	1997
4		John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
3		Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey: Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium 1997: 24-30
2		Michael R. Lowry, Klaus Havelund, John Penix: Verification and Validation of AI Systems that Control Deep-Space Spacecraft. ISMIS 1997: 35-47
	1995
1		John Penix, Phillip Baraona, Perry Alexander: Classification and Retrieval of Reusable Components Using Semantic Features. KBSE 1995: 131-138

Coauthor Index

1	Perry Alexander	[1] [3] [4] [5] [6] [7]
2	Nathaniel Ayewah	[23] [24] [25]
3	Jeffrey Van Baalen	[18]
4	Phillip Baraona	[1]
5	Guillaume P. Brat	[18]
6	Sebastian G. Elbaum	[26]
7	Eric Engstrom	[11] [20]
8	Peter Frey	[6]
9	John C. Grundy	[22]
10	Klaus Havelund	[2] [4] [13] [16]
11	David Hovemeyer	[25]
12	Aaron Larson	[11] [20]
13	Michael R. Lowry	[2] [16] [18]
14	Gloria Mark	[19]
15	Dale E. Martin	[6]
16	Peter C. Mehlitz	[21]
17	J. David Morgenthaler	[23] [24] [25] [26]
18	Phil Oh	[18]
19	Seungjoon Park	[12] [20]
20	Corina S. Pasareanu	[20]
21	Thomas Pressburger	[18]
22	William Pugh	[23] [24] [25]
23	Ramanan Radhakrishnan	[6]
24	Murali Rangarajan	[3]
25	David F. Redmiles	[19]
26	Peter Robinson	[18]
27	Gregg Rothermel	[26]
28	Joseph R. Ruthruff	[26]
29	Johann Schumann	[18]
30	Maarten Sierhuis	[19]
31	Cleidson R. B. de Souza	[19]
32	Nigel Tracey	[10] [14] [15] [17]
33	Willem Visser	[10] [11] [12] [13] [14] [15] [17] [20]
34	Nicholas Weininger	[11] [20]
35	Jon Whittle (Jonathan Whittle)	[18]
36	Philip A. Wilsey	[3] [6]
37	YuQian Zhou	[23] [24]

Colors in the list of coauthors