Gabriel Gelman

According to our database, Gabriel Gelman authored at least 4 papers between 2012 and 2014.

Collaborative distances:

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

2014

Example of a Complementary Use of Model Checking and Human Performance Simulation.

Gabriel Gelman, Karen M. Feigh, John M. Rushby

IEEE Trans. Hum. Mach. Syst., 2014

Generic Agent Models for Simulations of Concepts of Operation: Part 2.

Karen M. Feigh, Amy R. Pritchett, Sebastien Mamessier, Gabriel Gelman

J. Aerosp. Inf. Syst., 2014

2013

Example of a Complementary Use of Model Checking and Agent-Based Simulation.

Gabriel Gelman, Karen M. Feigh, John M. Rushby

Proceedings of the IEEE International Conference on Systems, 2013

2012

Formal analysis of safety-critical system simulations.

Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012