dblp.uni-trier.dewww.uni-trier.de

Sam Owre Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
20EESam Owre, Natarajan Shankar: A Brief Overview of PVS. TPHOLs 2008: 22-27
2004
19EELeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
18EELeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222
2001
17EEJean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
16EEYassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
15EEAndrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre: Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs 2001: 27-42
2000
14 Sam Owre, Harald Rueß: Integrating WS1S with PVS. CAV 2000: 548-551
1999
13 Natarajan Shankar, Sam Owre: Principles and Pragmatics of Subtyping in PVS. WADT 1999: 37-52
1998
12EESaddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331
11EESaddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510
10EESam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert: PVS: An Experience Report. FM-Trends 1998: 338-345
9EEJohn M. Rushby, Sam Owre, Natarajan Shankar: Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24(9): 709-720 (1998)
1997
8 Sam Owre, John M. Rushby, Natarajan Shankar: Integration in PVS: Tables, Types, and Model Checking. TACAS 1997: 366-383
1996
7EESam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414
1995
6EESam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. 21(2): 107-125 (1995)
1994
5 Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279
1993
4EESam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
1992
3EESam Owre, John M. Rushby, Natarajan Shankar: PVS: A Prototype Verification System. CADE 1992: 748-752
1987
2 J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13(2): 151-156 (1987)
1986
1 J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy 1986: 25-33

Coauthor Index

1Andrew Adams [15]
2Saddek Bensalem [11] [12] [16]
3Sergey Berezin [16]
4Martin Dunstan [15]
5Jean-Christophe Filliâtre [17]
6Hanne Gottliebsen [15]
7J. Daniel Halpern [1] [2]
8Friedrich W. von Henke [4] [6]
9Tom Kelsey [15]
10Yassine Lakhnech [11] [12] [16]
11Ursula Martin [15]
12Leonardo Mendonça de Moura [18] [19]
13Norman Proctor [1] [2]
14S. Rajan [7]
15Harald Rueß [14] [17] [18] [19]
16John M. Rushby [3] [4] [5] [6] [7] [8] [9] [10] [18] [19]
17Natarajan Shankar [3] [4] [5] [6] [7] [8] [9] [10] [13] [17] [18] [19] [20]
18Maria Sorea [19]
19Mandayam K. Srivas [5] [7]
20David W. J. Stringer-Calvert [10]
21Ashish Tiwari [19]
22William F. Wilson [1] [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)