The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sam Owre" ( http://dblp.L3S.de/Authors/Sam_Owre )

  Author page on DBLP  Author page in RDF  Community of Sam Owre in ASPL-2

Publication years (Num. hits)
1986-2001 (17) 2004-2017 (10)
Publication types (Num. hits)
article(3) inproceedings(24)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 13 keywords

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Kohlhase, Dennis Müller 0001, Sam Owre, Florian Rabe Making PVS Accessible to Generic Services by Interpretation in a Universal Format. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar Tool Integration with the Evidential Tool Bus. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sam Owre, Indranil Saha, Natarajan Shankar Automatic Dimensional Analysis of Cyber-Physical Systems. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Heber 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. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sam Owre, Natarajan Shankar Solving the First Verified Software Competition Problems Using PVS. Search on Bibsonomy Formal Modeling: Actors, Open Systems, Biological Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sam Owre, Natarajan Shankar A Brief Overview of PVS. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 SAL 2. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar The ICS Decision Procedures for Embedded Deduction. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar ICS: Integrated Canonizer and Solver. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre Incremental Verification by Abstraction. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sam Owre, Harald Rueß Integrating WS1S with PVS. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar, Sam Owre Principles and Pragmatics of Subtyping in PVS. Search on Bibsonomy WADT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John M. Rushby, Sam Owre, Natarajan Shankar Subtypes for Specifications: Predicate Subtyping in PVS. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF typechecking, Formal methods, consistency, type systems, specification languages, subtypes, PVS
1Saddek Bensalem, Yassine Lakhnech, Sam Owre InVeST: A Tool for the Verification of Invariants. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Yassine Lakhnech, Sam Owre Computing Abstractions of Infinite State Systems Compositionally and Automatically. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert PVS: An Experience Report. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar Integration in PVS: Tables, Types, and Model Checking. Search on Bibsonomy TACAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas PVS: Combining Specification, Proof Checking, and Model Checking. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control
1Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas A Tutorial on Using PVS for Hardware Verification. Search on Bibsonomy TPCD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Sam Owre, John M. Rushby, Natarajan Shankar PVS: A Prototype Verification System. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson Muse - A Computer Assisted Verification System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson Muse : A Computer Assisted Verification System. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license