Person: Sam Owre

DBLP: Owre:Sam

Contributed to:

2013

2012

2004

2004

2001

2001

2000

1998

1998

1997

1996

1993

1992

Wrote 14 papers:

VMCAI-2013-CruanesHOS #integration #tool support

Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.

FM-2012-OwreSS #analysis #automation #cyber-physical

Automatic Dimensional Analysis of Cyber-Physical Systems (SO, IS, NS), pp. 356–371.

CAV-2004-MouraORRSST

SAL 2 (LMdM, SO, HR, JMR, NS, MS, AT), pp. 496–500.

IJCAR-2004-MouraORRS #deduction #embedded

The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.

CAV-2001-FilliatreORS #named

ICS: Integrated Canonizer and Solver (JCF, SO, HR, NS), pp. 246–249.

TACAS-2001-LakhnechBBO #abstraction #incremental #verification

Incremental Verification by Abstraction (YL, SB, SB, SO), pp. 98–112.

CAV-2000-OwreR

Integrating WS1S with PVS (SO, HR), pp. 548–551.

CAV-1998-BensalemLO #abstraction #automation #infinity

Computing Abstractions of Infinite State Systems Compositionally and Automatically (SB, YL, SO), pp. 319–331.

CAV-1998-BensalemLO98a #invariant #named #verification

InVeST: A Tool for the Verification of Invariants (SB, YL, SO), pp. 505–510.

FM-1998-OwreRSS #case study #experience #named

PVS: An Experience Report (SO, JMR, NS, DWJSC), pp. 338–345.

TACAS-1997-OwreRS #integration #model checking

Integration in PVS: Tables, Types, and Model Checking (SO, JMR, NS), pp. 366–383.

CAV-1996-OwreRRSS #model checking #named #proving #specification

PVS: Combining Specification, Proof Checking, and Model Checking (SO, SR, JMR, NS, MKS), pp. 411–414.

FME-1993-OwreRSH #architecture #fault tolerance #lessons learnt #verification

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned (SO, JMR, NS, FWvH), pp. 482–500.

CADE-1992-OwreRS #named #prototype #verification

PVS: A Prototype Verification System (SO, JMR, NS), pp. 748–752.