Radu I. Siminiceanu

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Human Interactions

Top Venues

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

Sci. Comput. Program.

Int. J. Hum. Comput. Stud.

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
A case study on the lightweight verification of a multi-threaded task server. Sci. Comput. Program. 80 (2014)
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
Using Formal Verification to Evaluate Human-Automation Interaction: A Review. IEEE Trans. Syst. Man Cybern. Syst. 43 (3) (2013)
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking. Int. J. Hum. Comput. Stud. 70 (11) (2012)
Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño
Automated Verification of Specifications with Typestates and Access Permissions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models. IEEE Trans. Syst. Man Cybern. Part A 41 (5) (2011)
Néstor Cataño, Radu I. Siminiceanu
A Machine-Checked Proof of A State-Space Construction Algorithm. NASA Formal Methods (2010)