Efficient Symbolic State-Space Construction for Asynchronous Systems. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (ICATPN, 2000)

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. - Gianfranco Ciardo; Gerald Lüttgen; Radu Siminiceanu (TACAS, 2001)

SMART: Stochastic Model-checking Analyzer for Reliability and Timing. - Gianfranco Ciardo; R. L. Jones III; Robert M. Marmorstein; Andrew S. Miner; Radu Siminiceanu (DSN, 2002)

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. - Gianfranco Ciardo; Radu Siminiceanu (FMCAD, 2002)

Structural Symbolic CTL Model Checking of Asynchronous Systems. - Gianfranco Ciardo; Radu Siminiceanu (CAV, 2003)

Logical and Stochastic Modeling with SMART. - Gianfranco Ciardo; R. L. Jones III; Andrew S. Miner; Radu Siminiceanu (Computer Performance Evaluation / TOOLS, 2003)

Saturation Unbound. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (TACAS, 2003)

Can Saturation Be Parallelised? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (FMICS/PDMC, 2006)

New Metrics for Static Variable Ordering in Decision Diagrams. - Radu Siminiceanu; Gianfranco Ciardo (TACAS, 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)

The saturation algorithm for symbolic state-space exploration. - Gianfranco Ciardo; Robert M. Marmorstein; Radu Siminiceanu (Int. J. Softw. Tools Technol. Transf., 2006)

Formal verification of the NASA runway safety monitor. - Radu Siminiceanu; Gianfranco Ciardo (Int. J. Softw. Tools Technol. Transf., 2007)

Experimental Evaluation of a Planning Language Suitable for Formal Verification. - Radu Siminiceanu; Ricky W. Butler; César A. Muñoz (MoChArt, 2008)

Model-Checking the Linux Virtual File System. - Andy Galloway; Gerald Lüttgen; Jan Tobias Mühlberg; Radu Siminiceanu (VMCAI, 2009)

Model Checking with Edge-valued Decision Diagrams. - Pierre Roux 001; Radu Siminiceanu (NASA Formal Methods, 2010)

To Parallelize or to Optimize? - Jonathan Ezekiel; Gerald Lüttgen; Radu Siminiceanu (J. Log. Comput., 2011)

A Formal Interactive Verification Environment for the Plan Execution Interchange Language. - Camilo Rocha; Héctor Cadavid; César A. Muñoz; Radu Siminiceanu (IFM, 2012)