Sam Owre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
7
Active years
1986–2017
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ITP | Making PVS Accessible to Generic Services by Interpretation in a Universal Format. | Michael Kohlhase, Dennis Mller, Sam Owre, Florian Rabe |
| 2013 | VMCAI | Tool Integration with the Evidential Tool Bus. | Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar |
| 2012 | FM | Automatic Dimensional Analysis of Cyber-Physical Systems. | Sam Owre, Indranil Saha, Natarajan Shankar |
| 2004 | CADE | The ICS Decision Procedures for Embedded Deduction. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar |
| 2004 | CAV | SAL 2. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari |
| 2001 | CAV | ICS: Integrated Canonizer and Solver. | Jean-Christophe Fillitre, Sam Owre, Harald Rue, Natarajan Shankar |
| 2001 | TACAS | Incremental Verification by Abstraction. | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre |
| 2000 | CAV | Integrating WS1S with PVS. | Sam Owre, Harald Rue |
| 1998 | CAV | Computing Abstractions of Infinite State Systems Compositionally and Automatically. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
| 1998 | CAV | InVeST: A Tool for the Verification of Invariants. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
| 1998 | FM | PVS: An Experience Report. | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert |
| 1997 | TACAS | Integration in PVS: Tables, Types, and Model Checking. | Sam Owre, John M. Rushby, Natarajan Shankar |
| 1996 | CAV | PVS: Combining Specification, Proof Checking, and Model Checking. | Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
| 1993 | FM | Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
| 1992 | CADE | PVS: A Prototype Verification System. | Sam Owre, John M. Rushby, Natarajan Shankar |
| 1986 | SP | Muse : A Computer Assisted Verification System. | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson |