Human Machine interaction (Interfaces and Procedures) - Publications:

Formal aspects of human interaction with procedures.
Degani, A., and Heymann, M.
Proceedings of the 1997 IEEE Sixth Conference on Human Factors and Power Plants Orlando, FL:
Institute of Electrical and Electronic Engineers, 1997.

Formal aspects of procedures: The Problem of Sequential Correctness (pdf)
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the 17th Digital Avionics Systems Conference (DASC). Seattle, WA. IEEE, 1998.

A document is not a procedure: The need for active critiquing.
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the NASA Kennedy Space Center Human Factors Workshop III, Kennedy Space Center, FL., 1998.

Formal aspects of procedures: The problem of sequential correctness (pdf)
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the 43rd Annual Meeting of the Human Factors and Ergonomics Society,
Houston, TX, September 26-30, 1999.

Pilot-autopilot interaction: A formal perspective. (pdf)
Degani, A. and Heymann, M.
In R. S. Jensen (Ed.), Proceedings of the 10th International Aviation Psychology Symposium,
Columbus, OH: The Ohio State University, May 1-5, 1999.

Some Formal Aspects of Human-Automation (pdf)
Degani, A. and Heymann, M.
Interaction, NASA Technical Memorandum 209600, NASA Ames Research Center, Moffett Field, CA, 2000.

On abstractions and simplifications in the design of human-automation interfaces (pdf)
Michael Heymann and Asaf Degani,
submitted to Human Factors, 2001.

Formal verification of human-automation interaction (pdf)
Asaf Degani and Michael Heymann,
Human Factors, in press, 2002.

On abstractions and simplifications in the design of human-automation interfaces (pdf)
Michael Heymann and Asaf Degani,
NASA Technical Memorandum 211397, NASA Ames Research Center, Moffett Field, CA, March 2002.

On the construction of human-automation interfaces by formal abstraction (pdf)
Michael Heymann and Asaf Degani,
Symposium on Abstraction, Reformulation and Approximation, Kananaskis Mountain Lodge, Kananaskis, Alberta, Canada, August 2-4, 2002. On the construction of human-automation interfaces by formal abstraction (pdf)

Michael Heymann and Asaf Degani,
Proceedings, 5th International Symposium on Abstraction, Reformulation and Approximation - SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002. S. Koenig, R.C.Holte, Eds., Springer Lecture Notes on Artificial Intelligence (LANI) 2371, pp.99-115, Springer Verlag, 2002.

Constructing Human-Automation Interfaces: A Formal Approach (pdf)
Michael Heymann and Asaf Degani,
pp. 119-125, Proceedings HCI-Aero 2002, Cambridge, MA, October 23-25, 2002.

Analysis and Verification of Human-Automation Interfaces (pdf)
Asaf Degani and Michael Heymann,
in D. Harris, V. Duffy, M. Smith, C. Stephanidis, Eds., Human Centered Computing: Cognitive, Social
and Ergonomic Aspects, Vol.3, pp. 185-189, Erlbaum, (Proceedings, 10th International Conference on Human - Computer Interaction, Crete, June 22-27), 2003.

UIVerify - a web-based tool for verification and automatic generation of user interfaces (pdf)
Shiffman, S., Degani, A., & Heymann, M.
Proceedings of the 8th Annual Applied Ergonomics Conference. New Orleans, LA, 2005.

A Formal Methodology, Tools, and Algorithm for the Analysis, Verification, and Design Of Emergency Procedures and Recovery Sequences (pdf)
Heymann, M., Degani, A., & Barshi, I
An internal NASA white paper (2005).

Generating Procedures and Recovery Sequences: A Formal Approach (pdf)
Asaf Degani, Michael Heymann and Imanuel Barshi
Proceedings, 14th International Symposium on Aviation Psychology, (April 23-26) 2007,

Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm (pdf)
Heymann, M., & Degani, A.
Human Factors, Vol. 49, No 2, pp311-330, 2007.