- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c21 |      | Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar: Tool Integration with the Evidential Tool Bus. VMCAI 2013: 275-294 |
| 2012 | ||
| c20 | | Sam Owre, Indranil Saha, Natarajan Shankar: Automatic Dimensional Analysis of Cyber-Physical Systems. FM 2012: 356-371 |
| c19 | | 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 | ||
| c18 | | Sam Owre, Natarajan Shankar: Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 315-328 |
| 2008 | ||
| c17 | | |
| 2004 | ||
| c16 | | 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 |
| c15 | | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500 |
| 2001 | ||
| c14 | | Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249 |
| c13 | | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112 |
| c12 | | 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 | ||
| c11 | | |
| 1999 | ||
| c10 | | |
| 1998 | ||
| j3 | | John M. Rushby, Sam Owre, Natarajan Shankar: Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24(9): 709-720 (1998) |
| c9 | | Saddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331 |
| c8 | | Saddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510 |
| c7 | | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert: PVS: An Experience Report. FM-Trends 1998: 338-345 |
| 1997 | ||
| c6 | | Sam Owre, John M. Rushby, Natarajan Shankar: Integration in PVS: Tables, Types, and Model Checking. TACAS 1997: 366-383 |
| 1996 | ||
| c5 | | 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 | ||
| j2 | | 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 | ||
| c4 | | Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279 |
| 1993 | ||
| c3 | | 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 | ||
| c2 | | Sam Owre, John M. Rushby, Natarajan Shankar: PVS: A Prototype Verification System. CADE 1992: 748-752 |
| 1987 | ||
| j1 | | 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 | ||
| c1 |  | 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 |
Colors in the list of coauthors
Last update Tue May 21 13:10:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page