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: Sims:Steve
Contributed to:
2007
2001
2000
199619961995Wrote 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.