| 2012 | IFM | A Formal Interactive Verification Environment for the Plan Execution Interchange Language. | Camilo Rocha, Hctor Cadavid, Csar A. Muoz, Radu Siminiceanu |
| 2009 | VMCAI | Model-Checking the Linux Virtual File System. | Andy Galloway, Gerald Lttgen, Jan Tobias Mhlberg, Radu Siminiceanu |
| 2006 | FMICS | Can Saturation Be Parallelised? | Jonathan Ezekiel, Gerald Lttgen, Radu Siminiceanu |
| 2006 | TACAS | New Metrics for Static Variable Ordering in Decision Diagrams. | Radu Siminiceanu, Gianfranco Ciardo |
| 2003 | CAV | Structural Symbolic CTL Model Checking of Asynchronous Systems. | Gianfranco Ciardo, Radu Siminiceanu |
| 2003 | TACAS | Saturation Unbound. | Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu |
| 2002 | DSN | SMART: Stochastic Model-checking Analyzer for Reliability and Timing. | Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu |
| 2002 | FMCAD | Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. | Gianfranco Ciardo, Radu Siminiceanu |
| 2001 | TACAS | Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. | Gianfranco Ciardo, Gerald Lttgen, Radu Siminiceanu |