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 × Denmark
2 × USA
3 × Germany
Collaborated with:
R.Cleaveland D.C.DuVarney R.Bharadwaj E.Madelaine K.Butts S.Ranville G.Lüttgen V.Natarajan
Talks about:
valid (2) model (2) tool (2) constraint (1) workbench (1) distribut (1) prioriti (1) softwar (1) generat (1) concurr (1)

Person: Steve Sims

DBLP DBLP: Sims:Steve

Contributed to:

ICFP 20072007
ASE 20012001
TACAS 20002000
CAV 19961996
TACAS 19961996
TACAS 19951995

Wrote 6 papers:

ICFP-2007-SimsD #case study #experience #validation
Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
ASE-2001-SimsCBR #automation #modelling #validation
Automated Validation of Software Models (SS, RC, KB, SR), p. 91–?.
TACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
CAV-1996-CleavelandS #concurrent
The NCSU Concurrency Workbench (RC, SS), pp. 394–397.
TACAS-1996-CleavelandLNS #distributed #modelling #verification
Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.
TACAS-1995-CleavelandMS #generative #tool support #verification
A Front-End Generator for Verification Tools (RC, EM, SS), pp. 153–173.

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.