☰

Radu Siminiceanu, Ph.D.

Affiliations: 
2004 College of William and Mary, Williamsburg, VA 
Area:
Computer Science
Google:
"Radu Siminiceanu"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Gianfranco Ciardo grad student 2004 William and Mary
 (Structural model checking.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Siminiceanu RI, Ciardo G. (2012) Symbolic Model Checking for Avionics Formal Methods For Industrial Critical Systems: a Survey of Applications. 85-112
Ezekiel J, Lüttgen G, Siminiceanu R. (2011) To parallelize or to optimize Journal of Logic and Computation. 21: 85-120
Galloway A, Lüttgen G, Mühlberg JT, et al. (2009) Model-checking the Linux Virtual File System Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5403: 74-88
Ezekie J, Lüttgen G, Siminiceanu R. (2007) Can saturation be parallelised? on the parallelisation of a symbolic state-space generator Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4346: 331-346
Ciardo G, Jones RL, Miner AS, et al. (2006) Logic and stochastic modeling with S m A r T Performance Evaluation. 63: 578-608
Ciardo G, Marmorstein R, Siminiceanu R. (2006) The saturation algorithm for symbolic state-space exploration International Journal On Software Tools For Technology Transfer. 8: 4-25
Siminiceanu RI, Ciardo G. (2006) New metrics for static variable ordering in decision diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 90-104
Siminiceanu RI, Ciardo G. (2005) Formal verification of the NASA runway safety monitor Electronic Notes in Theoretical Computer Science. 128: 179-194
Ciardo G, Jones RL, Miner AS, et al. (2003) Logical and stochastic modeling with SMART Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2794: 78-97
Ciardo G, Siminiceanu R. (2003) Structural symbolic CTL model checking of asynchronous systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 40-53
See more...