Steve Sims

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

Publications

Steve Sims, Daniel C. DuVarney
Experience report: the reactis validation tool. ICFP (2007)
Rance Cleaveland, Scott A. Smolka, Steve Sims
An Instrumentation-Based Approach to Controller Model Validation. ASWSD (2006)
Rance Cleaveland, Steve Sims
Generic tools for verifying concurrent systems. Sci. Comput. Program. 42 (1) (2002)
Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
Automated Validation of Software Models. ASE (2001)
Ramesh Bharadwaj, Steve Sims
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. TACAS (2000)
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE (1998)
Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17 (2) (1996)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
Priorities for Modeling and Verifying Distributed Systems. TACAS (1996)
Rance Cleaveland, Steve Sims
The NCSU Concurrency Workbench. CAV (1996)
Rance Cleaveland, Eric Madelaine, Steve Sims
A Front-End Generator for Verification Tools. TACAS (1995)