Steve Sims

11 papers A* 2A 4C 1Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
Two Decades of Industrializing Formal Verification: The Reactis Story.
SPIN
Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka
2007 A conf
Experience report: the reactis validation tool.
ICFP
Steve Sims, Daniel C. DuVarney
2006 — conf
An Instrumentation-Based Approach to Controller Model Validation.
ASWSD
Rance Cleaveland, Scott A. Smolka, Steve Sims
2002 J jnl
Generic tools for verifying concurrent systems.
Sci. Comput. Program.
Rance Cleaveland, Steve Sims
2001 A* conf
Automated Validation of Software Models.
ASE
Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
2000 A conf
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.
TACAS
Ramesh Bharadwaj, Steve Sims
1998 C conf
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
FORTE
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
1996 J jnl
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.
Softw. Concepts Tools
Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
1996 A conf
Priorities for Modeling and Verifying Distributed Systems.
TACAS
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
1996 A* conf
The NCSU Concurrency Workbench.
CAV
Rance Cleaveland, Steve Sims
1995 A conf
A Front-End Generator for Verification Tools.
TACAS
Rance Cleaveland, Eric Madelaine, Steve Sims