Search the dblp DataBase
Sam Owre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - Sam Owre, John M. Rushby, Natarajan Shankar
PVS: A Prototype Verification System. [Citation Graph (0, 0)][DBLP]
CADE, 1992, pp:748-752 [Conf] - 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] - 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] - 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] - 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] - Sam Owre, Harald Rueß
Integrating WS1S with PVS. [Citation Graph (0, 0)][DBLP]
CAV, 2000, pp:548-551 [Conf] - 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] - 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] - 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] - 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] - Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
Incremental Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
TACAS, 2001, pp:98-112 [Conf] - 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] - 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] - 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] - Natarajan Shankar, Sam Owre
Principles and Pragmatics of Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:37-52 [Conf] - 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] - 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] - 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]
A Brief Overview of PVS. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.007secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002