Publications

Export 3 results:
Filters: Author is Elsa L. Gunter  [Clear All Filters]
2012
Yasmeen, A., K. M. Feigh, G. Gelman, and E. L. Gunter, "Formal Analysis of Safety-Critical System Simulations", ATACCS 2nd International Conference on Application and Theory of Automation in Command and Control Systems, Imperial College, London, UK, May, 2012.
2011
Bass, E. J., K. M. Feigh, E. L. Gunter, and J. Rushby, "Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
Bass, E. J., M. L. Bolton, K. M. Feigh, D. Griffith, E. L. Gunter, and and. William Ma Rushby, "Toward a Multi-method Approach to Formalizing Human-automation Interaction and Human-human Communications", Conference on IEEE-System Man and Cybernetics, Anchorage, AK, IEEE, September, 2011.
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150