Sam Owre

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 6

Top Topics

Content Based Filtering

Extended Abstract

Quantifier Elimination

Top Venues

Publications

John Hester, Briland Hitaj, Grant Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. CoRR (2023)
Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar
CoProver: A Recommender System for Proof Construction. CoRR (2023)
Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar
CoProver: A Recommender System for Proof Construction. CICM (2023)
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. CICM (2023)
Michael Kohlhase, Dennis Müller, Sam Owre, Florian Rabe
Making PVS Accessible to Generic Services by Interpretation in a Universal Format. ITP (2017)
Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM (2016)
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software (2014)
Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar
Tool Integration with the Evidential Tool Bus. VMCAI (2013)
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods (2012)
Sam Owre, Indranil Saha, Natarajan Shankar
Automatic Dimensional Analysis of Cyber-Physical Systems. FM (2012)
Sam Owre, Natarajan Shankar
Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Sam Owre, Natarajan Shankar
A Brief Overview of PVS. TPHOLs (2008)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
SAL 2. CAV (2004)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
The ICS Decision Procedures for Embedded Deduction. IJCAR (2004)
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs (2001)
Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
ICS: Integrated Canonizer and Solver. CAV (2001)
Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre
Incremental Verification by Abstraction. TACAS (2001)
Sam Owre, Harald Rueß
Integrating WS1S with PVS. CAV (2000)
Natarajan Shankar, Sam Owre
Principles and Pragmatics of Subtyping in PVS. WADT (1999)
John M. Rushby, Sam Owre, Natarajan Shankar
Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24 (9) (1998)
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
PVS: An Experience Report. FM-Trends (1998)
Saddek Bensalem, Yassine Lakhnech, Sam Owre
Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV (1998)
Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification (1998)
Saddek Bensalem, Yassine Lakhnech, Sam Owre
InVeST: A Tool for the Verification of Invariants. CAV (1998)
Sam Owre, John M. Rushby, Natarajan Shankar
Integration in PVS: Tables, Types, and Model Checking. TACAS (1997)
Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
PVS: Combining Specification, Proof Checking, and Model Checking. CAV (1996)
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) (1995)
Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
A Tutorial on Using PVS for Hardware Verification. TPCD (1994)
Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME (1993)
Sam Owre, John M. Rushby, Natarajan Shankar
PVS: A Prototype Verification System. CADE (1992)
J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13 (2) (1987)
J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy (1986)
Sam Owre
The Sytek theorem prover. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
William F. Wilson, Sam Owre
Programmable heuristics for theorem provers. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)