A Machine-Checked Proof of A State-Space Construction Algorithm. - Néstor Cataño; Radu I. Siminiceanu (NASA Formal Methods, 2010)

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)

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)

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)

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)

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)