Sam Owre - RankMe

34 papers A* 6A 4B 3C 2Journal 7Unranked 12

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