The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sam Owre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Sam Owre, John M. Rushby, Natarajan Shankar
    PVS: A Prototype Verification System. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:748-752 [Conf]
  3. Saddek Bensalem, Yassine Lakhnech, Sam Owre
    Computing Abstractions of Infinite State Systems Compositionally and Automatically. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:319-331 [Conf]
  4. Saddek Bensalem, Yassine Lakhnech, Sam Owre
    InVeST: A Tool for the Verification of Invariants. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:505-510 [Conf]
  5. Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
    ICS: Integrated Canonizer and Solver. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:246-249 [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, Harald Rueß
    Integrating WS1S with PVS. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:548-551 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
    Muse : A Computer Assisted Verification System. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1986, pp:25-33 [Conf]
  12. Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
    Incremental Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:98-112 [Conf]
  13. 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]
  14. 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]
  15. Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
    Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:27-42 [Conf]
  16. Natarajan Shankar, Sam Owre
    Principles and Pragmatics of Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:37-52 [Conf]
  17. J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
    Muse - A Computer Assisted Verification System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:2, pp:151-156 [Journal]
  18. 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]
  19. 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]

  20. A Brief Overview of PVS. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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