Sam Owre

2008
20	EE	Sam Owre, Natarajan Shankar: A Brief Overview of PVS. TPHOLs 2008: 22-27
2004
19	EE	Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
18	EE	Leonardo 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
17	EE	Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
16	EE	Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
15	EE	Andrew 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
12		Saddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331
11		Saddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510
10		Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert: PVS: An Experience Report. FM-Trends 1998: 338-345
9	EE	John 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
7		Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414
1995
6	EE	Sam 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
4		Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500
1992
3		Sam 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

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

Colors in the list of coauthors