2006 |
3 | EE | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logic and stochastic modeling with S m A r T.
Perform. Eval. 63(6): 578-608 (2006) |
2003 |
2 | EE | Gianfranco Ciardo,
R. L. Jones III,
Andrew S. Miner,
Radu Siminiceanu:
Logical and Stochastic Modeling with SMART.
Computer Performance Evaluation / TOOLS 2003: 78-97 |
2002 |
1 | EE | Gianfranco Ciardo,
R. L. Jones III,
Robert M. Marmorstein,
Andrew S. Miner,
Radu Siminiceanu:
SMART: Stochastic Model-checking Analyzer for Reliability and Timing.
DSN 2002: 545 |