The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Penix: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey
    Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1997, pp:24-30 [Conf]
  2. John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey
    Experiences in verifying parallel simulation algorithms. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:16-23 [Conf]
  3. Willem Visser, Seungjoon Park, John Penix
    Using predicate abstraction to reduce object-oriented programs for model checking. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:3-182 [Conf]
  4. John Penix, Perry Alexander
    Using Formal Specifications for Component Retrieval and Reuse. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:356-0 [Conf]
  5. John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verification of time partitioning in the DEOS scheduler kernel. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:488-497 [Conf]
  6. Nigel Tracey, John Penix, Willem Visser
    The First International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:796- [Conf]
  7. Nigel Tracey, John Penix, Willem Visser
    The Second International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:755-755 [Conf]
  8. Cleidson R. B. de Souza, David F. Redmiles, Gloria Mark, John Penix, Maarten Sierhuis
    Management of Interdependencies in Collaborative Software Development. [Citation Graph (0, 0)][DBLP]
    ISESE, 2003, pp:294-303 [Conf]
  9. Michael R. Lowry, Klaus Havelund, John Penix
    Verification and Validation of AI Systems that Control Deep-Space Spacecraft. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:35-47 [Conf]
  10. John Penix
    Evaluation of Automated Software Engineering Systems? (Panel). [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:3- [Conf]
  11. John Penix
    Deductive Synthesis of Event-Based Software Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:311-314 [Conf]
  12. John Penix, Perry Alexander, Klaus Havelund
    Declarative Specification of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:201-0 [Conf]
  13. John Penix, Phillip Baraona, Perry Alexander
    Classification and Retrieval of Reusable Components Using Semantic Features. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:131-138 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  15. Peter C. Mehlitz, John Penix
    Design for Verification with Dynamic Assertions. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:285-292 [Conf]
  16. John Penix, Perry Alexander
    Efficient Specification-Based Component Retrieval. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:2, pp:139-170 [Journal]
  17. John Penix, John C. Grundy
    Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:3, pp:343-344 [Journal]
  18. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
  19. Nigel Tracey, John Penix, Willem Visser
    Automated analysis, verification and testing. [Citation Graph (0, 0)][DBLP]
    Software Focus, 2001, v:2, n:2, pp:82- [Journal]
  20. Nigel Tracey, John Penix, Willem Visser
    Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:63-64 [Journal]
  21. Klaus Havelund, Michael R. Lowry, John Penix
    Formal Analysis of a Space-Craft Controller Using SPIN. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:8, pp:749-765 [Journal]
  22. Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
    Using FindBugs on production software. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:805-806 [Conf]
  23. Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, Yuqian Zhou
    Evaluating static analysis defect warnings on production software. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:1-8 [Conf]

  24. Predicting accurate and actionable static analysis warnings: an experimental approach. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.038secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002