A Front-End Generator for Verification Tools. - Rance Cleaveland; Eric Madelaine; Steve Sims (TACAS, 1995)

The NCSU Concurrency Workbench. - Rance Cleaveland; Steve Sims (CAV, 1996)

Priorities for Modeling and Verifying Distributed Systems. - Rance Cleaveland; Gerald Lüttgen; V. Natarajan 001; Steve Sims (TACAS, 1996)

Modeling and Verifying Distributed Systems Using Priorities: A Case Study. - Rance Cleaveland; V. Natarajan 001; Steve Sims; Gerald Lüttgen (Softw. Concepts Tools, 1996)

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. - Marco Bernardo 001; Rance Cleaveland; Steve Sims; W. Stewart (FORTE, 1998)

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. - Ramesh Bharadwaj; Steve Sims (TACAS, 2000)

Automated Validation of Software Models. - Steve Sims; Rance Cleaveland; Ken Butts; Scott Ranville (ASE, 2001)

Generic tools for verifying concurrent systems. - Rance Cleaveland; Steve Sims (Sci. Comput. Program., 2002)

An Instrumentation-Based Approach to Controller Model Validation. - Rance Cleaveland; Scott A. Smolka; Steve Sims (ASWSD, 2006)

Experience report: the reactis validation tool. - Steve Sims; Daniel C. DuVarney (ICFP, 2007)

Two Decades of Industrializing Formal Verification: The Reactis Story. - Rance Cleaveland; David Hansel; Steve Sims; Scott A. Smolka (SPIN, 2024)