sign in · help · news · about ·

BibSonomy :: author :: Penix ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(30)

<< < 1 | 2 > >>

Using Static Analysis to Find Bugs.
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, and William Pugh IEEE Software 25(5):22-29 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
An image analysis system for coaxially viewed weld scenes.
Kim L. Boyer, and Wayne A. Penix Mach. Vis. Appl. 5(4):277-293 (1992)
to dblp by dblp on May 27, 2011, 12:00 AM
URL | BibTeX
Efficient Specification-Based Component Retrieval.
John Penix, and Perry Alexander Autom. Softw. Eng. 6(2):139-170 (1999)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Automated analysis, verification and testing.
Nigel Tracey, John Penix, and Willem Visser Software Focus 2(2):82 (2001)
to dblp by dblp on Dec 3, 2010, 12:00 AM
URL | BibTeX
Verification and Validation of AI Systems that Control Deep-Space Spacecraft.
Michael R. Lowry, Klaus Havelund, and John Penix ISMIS, volume 1325 of Lecture Notes in Computer Science, page 35-47. Springer, (1997)
to dblp by dblp on Sep 28, 2009, 12:00 AM
URL | BibTeX
Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach
Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian Elbaum, and Gregg Rothermel Proc. Int'l Conf. on Software Engineering, page 341-350. (2008)
to static_analysis software_quality by sjbutler and 1 other user on Jul 5, 2009, 5:48 PM
BibTeX
Evaluating Static Analysis Defect Warnings on Production Software
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, and YuQian Zhou Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, page 1-8. (2007)
to static_analysis software_quality source FindBugs code by sjbutler and 1 other user on Jun 9, 2009, 5:24 PM
BibTeX
Predicting accurate and actionable static analysis warnings: an experimental approach.
Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, and Gregg Rothermel ICSE, page 341-350. ACM, (2008)
to dblp by dblp and 1 other user on May 15, 2008, 12:00 AM
URL | BibTeX
Using FindBugs on production software.
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, and YuQian Zhou OOPSLA Companion, page 805-806. ACM, (2007)
to dblp by dblp on Oct 26, 2007, 12:00 AM
URL | BibTeX
Evaluating static analysis defect warnings on production software.
Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, and YuQian Zhou PASTE, page 1-8. ACM, (2007)
to dblp by dblp and 1 other user on Jun 25, 2007, 12:00 AM
URL | BibTeX
Design for Verification with Dynamic Assertions.
Peter C. Mehlitz, and John Penix SEW, page 285-292. IEEE Computer Society, (2005)
to dblp by dblp on Feb 1, 2007, 12:00 AM
URL | BibTeX
Guest Editors' Introduction.
John Penix, and John C. Grundy Autom. Softw. Eng. 13(3):343-344 (2006)
to dblp by dblp on Jul 11, 2006, 12:00 AM
URL | BibTeX
Formal Analysis of a Space-Craft Controller Using SPIN.
Klaus Havelund, Michael R. Lowry, and John Penix IEEE Trans. Software Eng. 27(8):749-765 (2001)
to dblp by dblp on Jun 21, 2006, 12:00 AM
URL | BibTeX
Design Representation for Automating Software Component Reuse
John Penix, and Perry Alexander Proceedings of the first international workshop on Knowledge-Based systems for the reUse of Program libraries, (November 1995)
to imported by snowball on Mar 9, 2006, 8:15 AM
BibTeX
REBOUND: A Framework for Automated Component Adaptation
John Penix Proceedings of the Ninth Workshop on Institutionalizing Software Reuse, (1999)
to imported by snowball on Mar 9, 2006, 8:15 AM
BibTeX
Verifying Time Partitioning in the DEOS Scheduling Kernel.
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, and Nicholas Weininger Formal Methods in System Design 26(2):103-135 (2005)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
Experiences in verifying parallel simulation algorithms.
John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, and Philip A. Wilsey FMSP, page 16-23. ACM, (1998)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
Using predicate abstraction to reduce object-oriented programs for model checking.
Willem Visser, Seungjoon Park, and John Penix FMSP, page 3-182. ACM, (2000)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
Management of Interdependencies in Collaborative Software Development.
Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, and Maarten Sierhuis ISESE, page 294-303. IEEE Computer Society, (2003)
to dblp by dblp on Jan 6, 2005, 12:00 AM
URL | BibTeX
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification WAPATV 2000.
Nigel Tracey, John Penix, and Willem Visser Softw. Test., Verif. Reliab. 11(2):63-64 (2001)
to dblp by dblp on Jul 27, 2004, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100

a gripper