Radu Siminiceanu

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Topics

Computational Intelligence

Simple Temporal

Formal Language

Top Venues

Publications

Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu
A Formal Interactive Verification Environment for the Plan Execution Interchange Language. IFM (2012)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
To Parallelize or to Optimize? J. Log. Comput. 21 (1) (2011)
Pierre Roux, Radu Siminiceanu
Model Checking with Edge-valued Decision Diagrams. NASA Formal Methods (2010)
Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu
Model-Checking the Linux Virtual File System. VMCAI (2009)
Radu Siminiceanu, Ricky W. Butler, César A. Muñoz
Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt (2008)
Radu Siminiceanu, Gianfranco Ciardo
Formal verification of the NASA runway safety monitor. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
Can Saturation Be Parallelised? FMICS/PDMC (2006)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63 (6) (2006)
Radu Siminiceanu, Gianfranco Ciardo
New Metrics for Static Variable Ordering in Decision Diagrams. TACAS (2006)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8 (1) (2006)
Radu Siminiceanu, Gianfranco Ciardo
Formal Verification of the NASA Runway Safety Monitor. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS (2003)
Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
Saturation Unbound. TACAS (2003)
Gianfranco Ciardo, Radu Siminiceanu
Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV (2003)
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)
Gianfranco Ciardo, Radu Siminiceanu
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD (2002)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS (2001)
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN (2000)