BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Germany
1 × Ireland
1 × The Netherlands
2 × France
2 × Italy
4 × USA
Collaborated with:
N.Shankar J.M.Rushby H.Rueß Y.Lakhnech S.Bensalem L.M.d.Moura I.Saha S.Cruanes G.Hamon J.Filliâtre S.Berezin D.W.J.Stringer-Calvert F.W.v.Henke S.Rajan M.K.Srivas M.Sorea A.Tiwari
Talks about:
pvs (5) integr (4) verif (4) system (3) check (3) tool (3) abstract (2) automat (2) model (2) architectur (1)

Person: Sam Owre


Contributed to:

VMCAI 20132013
FM 20122012
CAV 20042004
IJCAR 20042004
CAV 20012001
TACAS 20012001
CAV 20002000
CAV 19981998
FM-Trends 19981998
TACAS 19971997
CAV 19961996
FME 19931993
CADE 19921992

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.