Sam Owre

	2012
22		Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Perez, Pablo Ascariz: PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161
	2011
21		Sam Owre, Natarajan Shankar: Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 315-328
	2008
20		Sam Owre, Natarajan Shankar: A Brief Overview of PVS. TPHOLs 2008: 22-27
	2004
19		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		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		Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
16		Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
15		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		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		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	Pablo Ascariz	[22]
3	Saddek Bensalem	[11] [12] [16]
4	Sergey Berezin	[16]
5	Martin Dunstan	[15]
6	Eric Feron	[22]
7	Jean-Christophe Filliâtre	[17]
8	Pierre-Loïc Garoche	[22]
9	Hanne Gottliebsen	[15]
10	J. Daniel Halpern	[1] [2]
11	Friedrich W. von Henke	[4] [6]
12	Heber Herencia-Zapana	[22]
13	Romain Jobredeaux	[22]
14	Tom Kelsey	[15]
15	Yassine Lakhnech	[11] [12] [16]
16	Ursula Martin	[15]
17	Leonardo Mendonça de Moura	[18] [19]
18	Gilberto Perez	[22]
19	Norman Proctor	[1] [2]
20	S. Rajan	[7]
21	Harald Ruess (Harald Rueß)	[14] [17] [18] [19]
22	John M. Rushby	[3] [4] [5] [6] [7] [8] [9] [10] [18] [19]
23	Natarajan Shankar	[3] [4] [5] [6] [7] [8] [9] [10] [13] [17] [18] [19] [20] [21]
24	Maria Sorea	[19]
25	Mandayam K. Srivas	[5] [7]
26	David W. J. Stringer-Calvert	[10]
27	Ashish Tiwari	[19]
28	William F. Wilson	[1] [2]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page