Radu Siminiceanu

18 papers A* 1A 4B 3Journal 4Unranked 6

Year	Rank	Type	Title / 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