Radu Siminiceanu

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