Radu Siminiceanu

	2009
15		Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu: Model-Checking the Linux Virtual File System. VMCAI 2009: 74-88
	2008
14		Radu Siminiceanu, Rick W. Butler, César A. Muñoz: Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt 2008: 132-146
	2007
13		Radu Siminiceanu, Gianfranco Ciardo: Formal verification of the NASA runway safety monitor. STTT 9(1): 63-76 (2007)
	2006
12		Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu: Can Saturation Be Parallelised? FMICS/PDMC 2006: 331-346
11		Radu Siminiceanu, Gianfranco Ciardo: New Metrics for Static Variable Ordering in Decision Diagrams. TACAS 2006: 90-104
10		Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu: Logic and stochastic modeling with S m A r T. Perform. Eval. 63(6): 578-608 (2006)
9		Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu: The saturation algorithm for symbolic state-space exploration. STTT 8(1): 4-25 (2006)
	2005
8		Radu Siminiceanu, Gianfranco Ciardo: Formal Verification of the NASA Runway Safety Monitor. Electr. Notes Theor. Comput. Sci. 128(6): 179-194 (2005)
	2003
7		Gianfranco Ciardo, Radu Siminiceanu: Structural Symbolic CTL Model Checking of Asynchronous Systems. CAV 2003: 40-53
6		Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu: Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS 2003: 78-97
5		Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu: Saturation Unbound. TACAS 2003: 379-393
	2002
4		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: 545
3		Gianfranco Ciardo, Radu Siminiceanu: Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths. FMCAD 2002: 256-273
	2001
2		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. TACAS 2001: 328-342
	2000
1		Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu: Efficient Symbolic State-Space Construction for Asynchronous Systems. ICATPN 2000: 103-122

Coauthor Index

1	Rick W. Butler	[14]
2	Gianfranco Ciardo	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13]
3	Jonathan Ezekiel	[12]
4	Andy Galloway	[15]
5	R. L. Jones III	[4] [6] [10]
6	Gerald Lüttgen	[1] [2] [12] [15]
7	Robert M. Marmorstein	[4] [5] [9]
8	Andrew S. Miner	[4] [6] [10]
9	Jan Tobias Mühlberg	[15]
10	César A. Muñoz	[14]

Colors in the list of coauthors