Search the dblp DataBase

Publications of Author

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