| 2007 |
|---|
| 13 | EE | Radu Siminiceanu,
Gianfranco Ciardo:
Formal verification of the NASA runway safety monitor.
STTT 9(1): 63-76 (2007) |
| 2006 |
|---|
| 12 | EE | Jonathan Ezekiel,
Gerald Lüttgen,
Radu Siminiceanu:
Can Saturation Be Parallelised?
FMICS/PDMC 2006: 331-346 |
| 11 | EE | Radu Siminiceanu,
Gianfranco Ciardo:
New Metrics for Static Variable Ordering in Decision Diagrams.
TACAS 2006: 90-104 |
| 10 | 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) |
| 9 | EE | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
The saturation algorithm for symbolic state-space exploration.
STTT 8(1): 4-25 (2006) |
| 2005 |
|---|
| 8 | EE | Radu Siminiceanu,
Gianfranco Ciardo:
Formal Verification of the NASA Runway Safety Monitor.
Electr. Notes Theor. Comput. Sci. 128(6): 179-194 (2005) |
| 2003 |
|---|
| 7 | EE | Gianfranco Ciardo,
Radu Siminiceanu:
Structural Symbolic CTL Model Checking of Asynchronous Systems.
CAV 2003: 40-53 |
| 6 | 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 |
| 5 | EE | Gianfranco Ciardo,
Robert M. Marmorstein,
Radu Siminiceanu:
Saturation Unbound.
TACAS 2003: 379-393 |
| 2002 |
|---|
| 4 | 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 |
| 3 | EE | Gianfranco Ciardo,
Radu Siminiceanu:
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.
FMCAD 2002: 256-273 |
| 2001 |
|---|
| 2 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
TACAS 2001: 328-342 |
| 2000 |
|---|
| 1 | EE | Gianfranco Ciardo,
Gerald Lüttgen,
Radu Siminiceanu:
Efficient Symbolic State-Space Construction for Asynchronous Systems.
ICATPN 2000: 103-122 |
