Radu Siminiceanu

According to our database, Radu Siminiceanu authored at least 17 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

Camilo Rocha, Héctor Cadavid, César A. Muñoz, Radu Siminiceanu

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

To Parallelize or to Optimize?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

J. Log. Comput., 2011

2010

Model Checking with Edge-valued Decision Diagrams.

Pierre Roux, Radu Siminiceanu

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Model-Checking the Linux Virtual File System.

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu

Proceedings of the Verification, 2009

2008

Experimental Evaluation of a Planning Language Suitable for Formal Verification.

Radu Siminiceanu, Ricky W. Butler, César A. Muñoz

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

Formal verification of the NASA runway safety monitor.

Radu Siminiceanu, Gianfranco Ciardo

Int. J. Softw. Tools Technol. Transf., 2007

2006

The saturation algorithm for symbolic state-space exploration.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

Int. J. Softw. Tools Technol. Transf., 2006

Logic and stochastic modeling with S m A r T.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Perform. Evaluation, 2006

New Metrics for Static Variable Ordering in Decision Diagrams.

Radu Siminiceanu, Gianfranco Ciardo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Can Saturation Be Parallelised?

Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Formal Methods: Applications and Technology, 2006

2003

Saturation Unbound.

Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Logical and Stochastic Modeling with SMART.

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu

Proceedings of the Computer Performance Evaluations, 2003

Structural Symbolic CTL Model Checking of Asynchronous Systems.

Gianfranco Ciardo, Radu Siminiceanu

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.

Gianfranco Ciardo, Radu Siminiceanu

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

SMART: Stochastic Model-checking Analyzer for Reliability and Timing.

Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Efficient Symbolic State-Space Construction for Asynchronous Systems.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu

Proceedings of the Application and Theory of Petri Nets 2000, 2000