Education

• Ph.D. in Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, USA. 1996. Minor: Cognitive Science.
• M.Sc. in Environmental Health and Safety (Ergonomics). University of Miami, Florida, USA. 1989.
• B.Sc. in Architecture Technology. Architecture and Construction Management Department. Florida International University, Miami, USA. 1987.

Publications

Books

Degani, A. (2004). Taming HAL: Designing interfaces beyond 2001. New York: St. Martin’s Press/Palgrave Macmillan. 320 pages, 105 figures. ISBN: 031229574X

The book details a new approach, mostly based on software engineering and formal methods, for the describing, analyzing, and identifying potential design errors in human-automation interfaces.

Keynote Address and Invited Lectures

Pilot Error in the 90s. Keynote address presented at the opening of the 44th annual meeting of the Flight Safety Foundation/National Business Aviation Association (FSF/NBAA). April 27-29, 1999.

Design and Operational Aspects of Flight-Deck Procedures. Invited lecture at the International Air Transport Association (IATA) Annual Meeting. Bangkok, Thailand. April 19-22, 1998.

On the design of procedures. Plenary lecture at the Region West Nuclear Power Plant Conference. Colorado Springs, CO. April 1-4, 1997.

Papers in Journals

Heymann, M., & Degani, A.< (2007) Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm. Human Factors 49:311-330. [

Degani, A., & Heymann, M. (2002). Formal verification of human-automation interaction. Human Factors, 44(1), 28-43.

Degani, A., Shafto, M., & Kirlik, A. (1999). Modes in human-machine systems: Review, classification, and application. International Journal of Aviation Psychology, 9(2), 125-138.

Degani, A., & Wiener, E. L. (1997). Procedures in complex systems: The airline cockpit. IEEE Transactions on Systems, Man, and Cybernetics, SMC-27(3), 302-312.

Degani, A., & Wiener, E. L. (1993). Cockpit checklists: Concepts, design, and use. Human Factors, 35(2), 345-359.

Degani, A., Asfour, S. S., Waly, S. M., & Koshy, J. (1993). A comparative study of two shovel designs. Applied Ergonomics, 24(5), 306-312.

Chapters in Books

Degani, A., Shafto, M., & Kirlik, A. (2006). What makes vicarious functioning work? Exploring the geometry of human-technology interaction. In A. Kirlik (Ed), Adaptive Perspectives on Human-Technology Interaction. New York: Oxford University Press.

Degani, A., & Heymann, M. (2003). Analysis and Verification of Human-Automation Interfaces. In D. Harris, V. Duffy, M. Smith, & C. Stephanidis, (Eds.), Human Centered Computing: Cognitive, Social and Ergonomic Aspects, Vol.3, pp. 185-189. Mahwah, NJ: Erlbaum. (Proceedings of the10th International Conference on Human - Computer Interaction, Crete, June 22-27, 2003). Invited lecture.

Heymann, M., & Degani, A. (2002). On the construction of human-automation interfaces by formal abstraction. In S. Koenig & R. Holte (Eds.), Abstraction, Reformulation, and Approximation (pp. 99-115). Springer-Verlag.

Andre, A., & Degani, A. (1997). Do you know what mode you’re in? An analysis of mode error in everyday things. In M. Mouloua & J. M. Koonce (Eds.), Human-automation interaction: Research and practice (pp. 19-28). Mahwah, NJ: Lawrence Erlbaum.

Degani, A., & Wiener, E. L. (1994). Philosophy, policies, procedures, and practices: The Four “P”s of flight deck operations. In N. Johnston, N. McDonald, & R. Fuller (Eds.), Aviation Psychology in Practice (pp. 44-67). Hants, England: Avebury Technical.

Degani, A., Kamel S. A., & Asfour, S. S. (1989). The effect of task duration on the subjective ratings of perceived exertion. In A. Mital (Ed.), Advances in Industrial Ergonomics and Safety. New York: Taylor and Francis.

Technical Reports

Oishi M., Tomlin, C., & Degani, A. (2003). Discrete abstraction of hybrid systems: Verification of safety and application to user-interfaces. NASA Technical Memorandum #212803, Moffett Field, CA: NASA Ames Research Center.

Heymann, M., & Degani, A. (2002). On abstractions and simplifications in the design of human-automation interfaces. NASA Technical Memorandum #211397. Moffett Field, CA: NASA Ames Research Center.

Degani, A., Heymann, M., Meyer, G., & Shafto, M. (2000). Some formal aspects of human-automation interaction. NASA Technical Memorandum #209600. Moffett Field, CA: NASA Ames Research Center.

Shamo, M., Dror, R., & Degani, A. (1998). Evaluation of the Integrated Crew Information System (ICIS) in the Boeing B-747/200 aircraft at Northwest Airlines (Report AFH-GEN-OOO1-DO). Eagan, MN: Avionitek, Inc.

Degani, A., & Wiener, E. L. (1994). On the design of flight-deck procedures. NASA Technical Memorandum #177642. Moffett Field, CA: NASA Ames Research Center.

This report was reprinted in:

• Flight Safety Foundation Digest: SPECIAL SAFETY REPORT. (1994). Vol. 13(8), p. 1-67
• Callback (NASA’s Aviation Safety Reporting System). (1994). No. 184.

Degani, A. (1992). On the typography of checklists and flight deck documentation. NASA Technical Memorandum #177605. Moffett Field, CA: NASA Ames Research Center.

This report was reprinted in:

• Federal Aviation Administration, (1995). Human performance considerations in the use and design of aircraft checklists. Office of Safety Services Washington, DC: FAA

Degani, A., & Wiener, E. L. (1990). The human factors of flight deck checklists: The normal checklist. NASA Technical Memorandum #177549. Moffett Field, CA: NASA Ames Research Center.

This report was reprinted in:

• Aviation Daily. (November 5, 1990).
• Business Aviation. (1990).
• USAir Air Safety Journal. (1990).
• Callback (NASA's Aviation Safety Reporting System), No. 136 and No. 137.
• Delta Air Lines Safety Journal. (1991). Vol. 6(1 and 2).
• All Nippon Airlines Journal. (1991). No. 149.
• Journal of the United Nations Civil Aviation Organization, Vol. 46, No. 6, (June, 1991).
• Flight Path (Journal of the Arab Airline Pilots), Vol. 4, No. 3, (August, 1991).

Theses

Degani, A. (1996). Modeling Human-Machine Systems: On Modes, Error, and Patterns of Interaction. Unpublished Ph.D. dissertation. School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA.

Degani, A. (1989). Human Factors of Checklists: The Normal Checklist. Unpublished Masters thesis. Industrial Engineering Department. University of Miami, Florida.

Conference Papers

Degani, A. & Heymann, M. (accepted) Toward Automatic Generation of User Interfaces: Abstraction of Internal States and Transitions. 10th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems.

Heymann, M., Degani, A., & Barshi, I. (2007). Generating Procedures and Recovery Sequences: A Formal Approach. Proceedings of the 14th International Symposium of Aviation Psychology, pp. 252-257. April 22-25, Dayton, OH.

Degani, A., Shafto, M. & Olson, L. (2006) Data Abstraction and Integration of Information for Display: Analysis of Pilot-Automation Interaction. 11th International Conference on Human-Computer Interaction in Aeronautics. Seattle, WA.

Degani, A., Shafto, M. & Olson, L. (2007). Abstraction, Integration, and Organization of Information: Approach and Emerging Methodologies. 1st Symposium on Computer Human Interaction for Management of Information Technology. Poster Presentation and Extended Abstract. March 30-31, 2007: Cambridge, MA.

Degani, A., Shafto, M. & Olson, L. (2006). Canonical Correlation Analysis: Use of composite heliographs for representing multiple patterns. In D. Barker-Plummer et al. (Eds.): Diagram 2006, Lecture Notes in Artificial Intelligence 4045, pp. 93-97. Berlin, Germany: Springer-Verlag.

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

Heymann, M., & Degani, A. (2002). Constructing human-automation interfaces. Ninth International Conference on Human-Computer Interaction in Aeronautics. Boston: Massachusetts Institute of Technology.

Oishi, M., Mitchell, I., Bayen, A., Tomlin, C., & Degani, A. (2002). Hybrid verification of an interface for automatic landing. IEEE 2002 Conference on Decision and Control. Las Vegas, Nevada.

Degani, A., & Heymann, M. (2000). Pilot-autopilot interaction: A formal perspective. Eighth International Conference on Human-Computer Interaction in Aeronautics. Toulouse, France.

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

Shamo, M., Dror, R., & Degani, A. (1999). A multi-dimensional evaluation methodology for new cockpit systems. In R. S. Jensen (Ed.), Proceedings of the 10^th International Aviation Psychology Symposium. Columbus, OH: The Ohio State University.

Shamo, M., Dror, R., & Degani, A. (1998). Evaluation of a new cockpit device: The integrated electronic information system. Proceedings of the 42nd Annual Meeting of the Human Factors and Ergonomics Society. Chicago, IL: Human Factors Society.

Degani, A. (1998). Design & Operational Aspects of Flight-Deck Procedures. Proceedings of the International Air Transport Association (IATA) Annual Meeting. Montreal: International Air Transport Association.

Degani, A., & Kirlik, A. (1998). Describing the contributors to mode error. Proceedings of the Fourth Symposium on Human Interaction with Complex Systems (HICS’98). Dayton, Ohio.

Degani, A., & Kirlik, A. (1997). Modeling Human Interaction with Semi-Automated Control Systems to Identify Interface Design Problems. Proceedings of the International Symposium on Artificial Intelligence, Robotics, and Human Activity Support for Nuclear Applications (AIR & IHAS ’97). Wako-shi, Saitama, Japan (invited lecture).

Shafto, M., Degani, A., & Kirlik, A. (1997). Canonical Correlation Analysis of Data on Human-Automation Interaction. Proceedings of the 41st Annual Meeting of the Human Factors and Ergonomics Society. Albuquerque, NM: Human Factors Society.

Degani, A. (1997). On the types of modes in human-machine interactions. In R. S. Jensen (Ed.), Proceedings of the Ninth International Aviation Psychology Symposium. Columbus, OH: The Ohio State University.

Degani, A., Shafto, M., & Kirlik, A. (1996). Modes in Automated Cockpits: Problems, Data Analysis, and a Modeling Framework. Proceedings of the 36th Israel Conference on Aerospace Sciences. Haifa: Technion-IIT.

Degani, A., & Kirlik, A. (1995). Modes in Human-Automation Interaction: Initial Observations about a Modeling Approach. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC). Vancouver, Canada: IEEE.

Degani, A., & Wiener, E. L. (1995). Designing coherent flight-deck procedures for use in advanced technology aircraft. Journal of the United Nations International Civil Aviation Organization (ICAO), 50(2), 23-25.

Degani, A., Shafto, M., & Kirlik, A. (1995). Mode usage in automated cockpits: Some initial observations. In T. B. Sheridan (Ed.), Proceedings of the Annual Meeting of the International Federation of Automatic Control. Boston, MA: International Federation of Automatic Control - Man Machine Systems.

Degani, A., Mitchell, C. M., & Chappell, A. R. (1995). Task models to guide analysis: Use of the operator function model to represent mode transitions. In R. S. Jensen (Ed.), Proceedings of the Eighth International Aviation Psychology Symposium. Columbus, OH: The Ohio State University.

Wiener, E. L., & Degani, A. (1994). La progettazione delle procedure di cabina di pilotaggio. Volabilitk. Vol. 24, pp. 48-56.

Wiener, E. L., & Degani, A. (1993). The design of procedures. Proceedings of the International Air Transport Association (IATA) Annual Meeting (pp. 34-42). Montreal: International Air Transport Association.

Degani, A., Palmer, E. A., & Bauersfeld, K. G. (1992). “Soft” Controls for Hard Displays: Still a Challenge. Proceedings of the 36th Annual Meeting of the Human Factors Society (pp. 52-56). Atlanta, GA: Human Factors Society.

Mosier, K. L., Palmer, E. A., & Degani, A. (1992). Electronic checklists: Implications for decision making. Proceedings of the Human Factors Society 36th Annual Meeting (pp. 7-11). Atlanta, GA: Human Factors Society.

Degani, A., & Wiener E. L. (1991). Philosophy, Policies, and Procedures: The Three P’s of Flight-Deck Operations. Proceedings of the Sixth International Symposium on Aviation Psychology (pp. 184-191). Columbus, OH: The Ohio State University.

Degani, A., & Wiener, E. L. (1991). Human factors of the cockpit checklist. Journal of the United Nations International Civil Aviation Organization (ICAO), 46(6), 18-21.

Degani, A., Chappell, S. L., & Hayes M. S. (1991). What saved the day: A comparison of traditional and glass cockpits. Proceedings of the Sixth International Aviation Psychology Symposium (pp. 227-234). Columbus, OH: The Ohio State University.

Palmer, E. A., & Degani, A. (1991). Electronic checklist: Evaluation of two levels of automation. Proceedings of the Sixth International Symposium on Aviation Psychology (pp. 178-183). Columbus, OH: The Ohio State University.

Scientific Lectures and Posters

Shiffman, S., Degani, A., & Heymann, M. (2004). Tools for verification and automatic generation of user interfaces. Poster presented at Tenth International Conference on Human-Computer Interaction in Aeronautics. Toulouse, France: EURISCO.

Degani, A., & Heymann, M. (1999). Pilot interaction with automation. Presented at the 10th International Aviation Psychology Symposium. Columbus, OH: The Ohio State University.

Degani, A., Heymann, M., Austin, D., & Shafto, M. (1998). Some formal aspects of procedures. Proceedings of the 17th Digital Avionics Systems Conference (DASC). Seattle, WA: IEEE.

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

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

Wiener, E. L., & Degani, A. (1994, August). Human factors and procedures. Workshop at Air New Zealand. Auckland, New Zealand.

Wiener, E. L., & Degani, A. (1994, May). Procedures on the flight-deck. International Civil Aviation Organization (ICAO) European Regional Symposium on Human Factors. Amsterdam, the Netherlands.

Wiener, E. L., & Degani, A. (1993, January). Human factors of flight-deck procedures. Workshop at Aer Lingus Airlines. Dublin, Ireland.

Degani, A. (1993). Research methodologies in using the aviation incident database. Proceedings of Seventh International Symposium on Aviation Psychology. Columbus, OH: The Ohio State University.

Wiener, E. L., & Degani, A. (1992, May). Using and designing procedures: Lessons learned from aviation. Annual Meeting of the Aerospace Medical Association. Miami Beach, FL: Aerospace Medical Association.

Degani, A., & Wiener, E. L. (1991, September). Task instructions in commercial aviation. In V. E. Barnes (Chair), Task instructions and new technology: Still a challenge. Proceedings of the 35th Annual Meeting of the Human Factors Society (pp. 1199-1200). Santa Monica, CA: Human Factors Society.

Wiener, E. L., & Degani, A. (1991). Operational aspects of procedures. Proceedings of the National Business Aircraft Association (NBAA) Annual Meeting. October 11. Atlanta, GA: NBAA.