John Penix

2008
26	EE	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	EE	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	EE	Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou: Using FindBugs on production software. OOPSLA Companion 2007: 805-806
23	EE	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	EE	John Penix, John C. Grundy: Guest Editors' Introduction. Autom. Softw. Eng. 13(3): 343-344 (2006)
2005
21	EE	Peter C. Mehlitz, John Penix: Design for Verification with Dynamic Assertions. SEW 2005: 285-292
20	EE	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	EE	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	EE	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	EE	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	EE	Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
11	EE	John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
10	EE	Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
1999
9	EE	John Penix: Evaluation of Automated Software Engineering Systems? (Panel). ASE 1999: 3
8	EE	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	EE	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	EE	John Penix, Perry Alexander: Using Formal Specifications for Component Retrieval and Reuse. HICSS (3) 1998: 356-
1997
4	EE	John Penix, Perry Alexander, Klaus Havelund: Declarative Specification of Software Architectures. ASE 1997: 201-
3	EE	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