R. L. Jones III

According to our database, R. L. Jones III authored at least 3 papers between 2002 and 2006.

Collaborative distances:

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

2006

Logic and stochastic modeling with S m A r T.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Perform. Evaluation, 2006

2003

Logical and Stochastic Modeling with SMART.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Proceedings of the Computer Performance Evaluations, 2003

2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002