Steve Sims

According to our database, Steve Sims authored at least 11 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Two Decades of Industrializing Formal Verification: The Reactis Story.

Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2007

Experience report: the reactis validation tool.

Steve Sims, Daniel C. DuVarney

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

An Instrumentation-Based Approach to Controller Model Validation.

Rance Cleaveland, Scott A. Smolka, Steve Sims

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2002

Generic tools for verifying concurrent systems.

Rance Cleaveland, Steve Sims

Sci. Comput. Program., 2002

2001

Automated Validation of Software Models.

Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.

Ramesh Bharadwaj, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1998

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.

Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996

Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen

Softw. Concepts Tools, 1996

Priorities for Modeling and Verifying Distributed Systems.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The NCSU Concurrency Workbench.

Rance Cleaveland, Steve Sims

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

A Front-End Generator for Verification Tools.

Rance Cleaveland, Eric Madelaine, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995