The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
John M. Rushby: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John M. Rushby
    Design and Verification of Secure Systems. [Citation Graph (1, 0)][DBLP]
    SOSP, 1981, pp:12-21 [Conf]
  2. Judith Crow, John M. Rushby
    Model-Based Reconfiguration: Toward an Integration with Diagnosis. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:836-841 [Conf]
  3. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
    The ICS Decision Procedures for Embedded Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:218-222 [Conf]
  4. Sam Owre, John M. Rushby, Natarajan Shankar
    PVS: A Prototype Verification System. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:748-752 [Conf]
  5. Patrick Lincoln, John M. Rushby
    The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:292-304 [Conf]
  6. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
    SAL 2. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:496-500 [Conf]
  7. Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:411-414 [Conf]
  8. John M. Rushby
    Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:508-520 [Conf]
  9. John M. Rushby
    Automated Deduction and Formal Methods. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:169-183 [Conf]
  10. Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
    Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:189-198 [Conf]
  11. John M. Rushby
    Bus Architectures for Safety-Critical Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:306-323 [Conf]
  12. John M. Rushby
    Subtypes for Specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:4-19 [Conf]
  13. Grégoire Hamon, John M. Rushby
    An Operational Semantics for Stateflow. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:229-243 [Conf]
  14. César Muñoz, John M. Rushby
    Structural Embeddings: Mechanization with Method. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:452-471 [Conf]
  15. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:482-500 [Conf]
  16. Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
    PVS: An Experience Report. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:338-345 [Conf]
  17. John M. Rushby
    Mechanized Formal Methods: Where Next? [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:48-51 [Conf]
  18. John M. Rushby
    From Refutation to Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:369-374 [Conf]
  19. John M. Rushby
    Mechanized Formal Methods: Progress and Prospects. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1996, pp:43-51 [Conf]
  20. Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby
    Limits in Dependability (Panel). [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:608-613 [Conf]
  21. Patrick Lincoln, John M. Rushby
    A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:402-411 [Conf]
  22. John M. Rushby
    Reconfiguration and Transient Recovery in State Machine Architectures. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:6-15 [Conf]
  23. John M. Rushby
    An Overview of Formal Verification for the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:83-106 [Conf]
  24. John M. Rushby
    Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:237-257 [Conf]
  25. John M. Rushby, Jens Ulrik Skakkebæk
    The PVS Verification System and PC/DC. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:777-777 [Conf]
  26. John M. Rushby
    Hybrid Systems - And Everything Else. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:3- [Conf]
  27. Ulrich Schmid, Bettina Weiss, John M. Rushby
    Formally Verified Byzantine Agreement in Presence of Link Faults. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2002, pp:608-616 [Conf]
  28. David Cyrluk, John M. Rushby, Mandayam K. Srivas
    Systematic Formal Verification of Interpreters. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:140-0 [Conf]
  29. John M. Rushby
    An Evidential Tool Bus. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:36-36 [Conf]
  30. John M. Rushby
    Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:176-0 [Conf]
  31. John M. Rushby
    Theorem Proving for Verification. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:39-57 [Conf]
  32. John M. Rushby
    A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:304-313 [Conf]
  33. John M. Rushby
    Proof of separability: A verification technique for a class of a security kernels. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:352-367 [Conf]
  34. John M. Rushby
    Calculating with Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:144-0 [Conf]
  35. John M. Rushby
    Modeling the Human in Human Factors. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2001, pp:86-91 [Conf]
  36. Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby
    Generating Efficient Test Sets with a Model Checker. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:261-270 [Conf]
  37. John M. Rushby
    Tutorial: Automated Formal Methods with PVS, SAL, and Yices. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:262- [Conf]
  38. John M. Rushby
    Harnessing Disruptive Innovation in Formal Verification. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:21-30 [Conf]
  39. John M. Rushby, Brian Randell
    A Distributed Secure System. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1983, pp:127-135 [Conf]
  40. John M. Rushby
    Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:1-11 [Conf]
  41. Sam Owre, John M. Rushby, Natarajan Shankar
    Integration in PVS: Tables, Types, and Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:366-383 [Conf]
  42. Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    A Tutorial on Using PVS for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:258-279 [Conf]
  43. Bart Jacobs, John M. Rushby
    PVS. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:24-27 [Conf]
  44. John M. Rushby
    Design Choices in Specification Languages and Verification Systems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:195-204 [Conf]
  45. John M. Rushby, Mandayam K. Srivas
    Using PVS to Prove Some Theorems Of David Parnas. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:163-173 [Conf]
  46. Shmuel Katz, Patrick Lincoln, John M. Rushby
    Low-Overhead Time-Triggered Group Membership. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:155-169 [Conf]
  47. Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar
    A case-study in component-based mechanical verification of fault-tolerant programs. [Citation Graph (0, 0)][DBLP]
    WSS, 1999, pp:33-40 [Conf]
  48. Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
    The Future of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:237-242 [Conf]
  49. John M. Rushby
    Mechanizing Formal Methods: Opportunities and Challenges. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:105-113 [Conf]
  50. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
    An Invitation to Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
  51. John M. Rushby
    Enhancing the Utility of Formal Methods. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:123- [Journal]
  52. John M. Rushby
    Analyzing Cockpit Interfaces Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  53. Ashish Tiwari, Natarajan Shankar, John M. Rushby
    Invisible formal methods for embedded control systems. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:29-39 [Journal]
  54. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:107-125 [Journal]
  55. John M. Rushby
    Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:5, pp:651-660 [Journal]
  56. John M. Rushby, Friedrich W. von Henke
    Formal Verification of Algorithms for Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:1, pp:13-23 [Journal]
  57. John M. Rushby, Sam Owre, Natarajan Shankar
    Subtypes for Specifications: Predicate Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:9, pp:709-720 [Journal]
  58. John M. Rushby
    Just-in-Time Certification. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:15-24 [Conf]
  59. John M. Rushby
    What Use is Verified Software? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:270-276 [Conf]

  60. Distributed Secure Systems: Then and Now. [Citation Graph (, )][DBLP]


  61. Software Verification and System Assurance. [Citation Graph (, )][DBLP]


  62. Runtime Certification. [Citation Graph (, )][DBLP]


  63. Automated Test Generation and Verified Software. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.011secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002