| 2007 |
|---|
| 10 | EE | Steve Sims,
Daniel C. DuVarney:
Experience report: the reactis validation tool.
ICFP 2007: 137-140 |
| 2006 |
|---|
| 9 | EE | Rance Cleaveland,
Scott A. Smolka,
Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation.
ASWSD 2006: 84-97 |
| 2002 |
|---|
| 8 | | Rance Cleaveland,
Steve Sims:
Generic tools for verifying concurrent systems.
Sci. Comput. Program. 42(1): 39-47 (2002) |
| 2001 |
|---|
| 7 | EE | Steve Sims,
Rance Cleaveland,
Ken Butts,
Scott Ranville:
Automated Validation of Software Models.
ASE 2001: 91- |
| 2000 |
|---|
| 6 | EE | Ramesh Bharadwaj,
Steve Sims:
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.
TACAS 2000: 378-394 |
| 1998 |
|---|
| 5 | | Marco Bernardo,
Rance Cleaveland,
Steve Sims,
W. Stewart:
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
FORTE 1998: 457-467 |
| 1996 |
|---|
| 4 | | Rance Cleaveland,
Steve Sims:
The NCSU Concurrency Workbench.
CAV 1996: 394-397 |
| 3 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan,
Steve Sims:
Priorities for Modeling and Verifying Distributed Systems.
TACAS 1996: 278-297 |
| 2 | | Rance Cleaveland,
V. Natarajan,
Steve Sims,
Gerald Lüttgen:
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.
Software - Concepts and Tools 17(2): 50-62 (1996) |
| 1995 |
|---|
| 1 | | Rance Cleaveland,
Eric Madelaine,
Steve Sims:
A Front-End Generator for Verification Tools.
TACAS 1995: 153-173 |
