Author Info
Name
Affiliation
Papers
SAM OWRE
Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA
27
Collaborators
Citations 
PageRank 
45
1323
104.39
Referers 
Referees 
References 
2031
462
281
Search Limit
1001000
Title
Citations
PageRank
Year
Making Pvs Accessible To Generic Services By Interpretation In A Universal Format00.342017
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.00.342016
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).00.342014
Tool Integration With The Evidential Tool Bus120.872013
PVS linear algebra libraries for verification of control software algorithms in C/ACSL160.882012
Automatic Dimensional Analysis of Cyber-Physical Systems.50.472012
Solving the first verified software competition problems using PVS00.342011
A Brief Overview of PVS120.642008
SAL 2421.812004
The ICS Decision Procedures for Embedded Deduction291.622004
ICS: Integrated Canonizer and Solver816.442001
Incremental Verification by Abstraction432.932001
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS200.952001
Integrating WS1S with PVS60.582000
Principles and Pragmatics of Subtyping in PVS140.821999
InVeST: A Tool for the Verification of Invariants364.961998
Computing Abstractions of Infinite State Systems Compositionally and Automatically1119.361998
Towards Light-Weight Verification and Heavy-Weight Testing00.341998
PVS: An Experience Report191.691998
Integration in PVS: Tables, Types, and Model Checking191.411997
PVS: Combining Specification, Proof Checking, and Model Checking13612.211996
A Tutorial on Using PVS for Hardware Verification222.531994
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned81.361993
PVS: A Prototype Verification System68950.011992
Muse A Computer Assisted Verification System30.491986
The Sytek theorem prover00.341985
Programmable heuristics for theorem provers00.341985