The SCEAS System
Navigation Menu

Search the dblp DataBase


Steve Sims: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002