Gabriel Gelman

Publication Activity (10 Years)

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

Top Topics

Reactive Systems

Reachability Analysis

Formal Analysis

Top Venues

J. Aerosp. Inf. Syst.

IEEE Trans. Hum. Mach. Syst.

Publications

Gabriel Gelman, Karen M. Feigh, John M. Rushby
Example of a Complementary Use of Model Checking and Human Performance Simulation. IEEE Trans. Hum. Mach. Syst. 44 (5) (2014)
Karen M. Feigh, Amy R. Pritchett, Sebastien Mamessier, Gabriel Gelman
Generic Agent Models for Simulations of Concepts of Operation: Part 2. J. Aerosp. Inf. Syst. 11 (10) (2014)
Gabriel Gelman, Karen M. Feigh, John M. Rushby
Example of a Complementary Use of Model Checking and Agent-Based Simulation. SMC (2013)
Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter
Formal analysis of safety-critical system simulations. ATACCS (2012)