Search results for "Radu Siminiceanu"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu	To Parallelize or to Optimize?	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu	Model-Checking the Linux Virtual File System.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Rick W. Butler, César A. Muñoz	Experimental Evaluation of a Planning Language Suitable for Formal Verification.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Gianfranco Ciardo	Formal verification of the NASA runway safety monitor.	STTT	2007	DBLP DOI BibTeX RDF	Model checkinga, Aviation safetya, Collision avoidance protocols, Formal verification
1	Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu	Logic and stochastic modeling with S m A r T.	Perform. Eval.	2006	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	The saturation algorithm for symbolic state-space exploration.	STTT	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous systems, Symbolic state-space generation, Decision diagrams, Kronecker algebra, Fixed-point iterations
1	Radu Siminiceanu, Gianfranco Ciardo	New Metrics for Static Variable Ordering in Decision Diagrams.	TACAS	2006	DBLP DOI BibTeX RDF
1	Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu	Can Saturation Be Parallelised?	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Radu Siminiceanu, Gianfranco Ciardo	Formal Verification of the NASA Runway Safety Monitor.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu	Logical and Stochastic Modeling with SMART.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	Saturation Unbound.	TACAS	2003	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Radu Siminiceanu	Structural Symbolic CTL Model Checking of Asynchronous Systems.	CAV	2003	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Radu Siminiceanu	Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.	FMCAD	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu	Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.	TACAS	2001	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu	Efficient Symbolic State-Space Construction for Asynchronous Systems.	ICATPN	2000	DBLP DOI BibTeX RDF

Publications of "Radu Siminiceanu" ( http://dblp.L3S.de/Authors/Radu_Siminiceanu )