Radu I. Siminiceanu

According to our database, Radu I. Siminiceanu authored at least 6 papers between 2010 and 2014.

Collaborative distances:

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

2014

A case study on the lightweight verification of a multi-threaded task server.

Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich

Sci. Comput. Program., 2014

2013

Using Formal Verification to Evaluate Human-Automation Interaction: A Review.

Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu

IEEE Trans. Syst. Man Cybern. Syst., 2013

2012

Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking.

Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu

Int. J. Hum. Comput. Stud., 2012

Automated Verification of Specifications with Typestates and Access Permissions.

Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2011

A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.

Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass

IEEE Trans. Syst. Man Cybern. Part A, 2011

2010

A Machine-Checked Proof of A State-Space Construction Algorithm.

Néstor Cataño, Radu I. Siminiceanu

Proceedings of the Second NASA Formal Methods Symposium, 2010