Asaf Degani

Alex Kirlik, Asaf Degani, A. Kirlik, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

Task Analytic Models to Guide Analysis and Design: Use of the Operator Function Model to Represent Pilot-Autoflight System Mode Problems

Christine M. Mitchell, Alan R. Chappell, Asaf Degani, 1995 .

One World or Two? Can the Research Community and the Manufacturers Work More Efficiently Together?

Lance Sherry, Denis Javaux, Terry Allard, 2002 .

WHAT MAKES VICARIOUS FUNCTIONING WORK? EXPLORING THE GEOMETRY OF HUMAN-TECHNOLOGY INTERACTION

Alex Kirlik, Asaf Degani, Michael Shafto, 2006 .

PILOT-AUTOPILOT INTERACTION: A FORMAL PERSPECTIVE

Asaf Degani, Michael Heymann, M. Heymann, 2000 .

Automation in Modern Aircraft

Asaf Degani, 2003 .

Information Organization in the Airline Cockpit

Michael Shafto, Asaf Degani, Immanuel Barshi, 2013 .

Cordless Phones and Population Stereotypes

Asaf Degani, 2003 .

”Walk-in” Interfaces and Internet Applications

Asaf Degani, 2003 .

Methodology for Examining the Operator and the System Concurrently: Pilot Interaction with Automation

David Austin, Michael Heymann, Asaf Degani, 1998 .

The Grounding of the Royal Majesty

Asaf Degani, 2003 .

Using Medieval Architecture as Inspiration for Display Design: Parameter Interrelationships and Organizational Structure

David L. Iverson, Asaf Degani, Immanuel Barshi, 2012 .

On Abstractions and Simplifications in the Design of Human-Automation Interfaces

Michael Heymann, Asaf Degani, 2002 .

On a Winter’s Night

Asaf Degani, 2003 .

Integration and organization of information for display

Asaf Degani, Michael G. Shafto, Leonard Olson, 2007, CHIMIT '07.

VCRs and Consistency Problems

Asaf Degani, 2003 .

Schelling’s Theory of Contracts and Rules: Applications for Procedure Design and Safety Analysis

Asaf Degani, 2018 .

The Crash of Korean Air Lines Flight 007

Asaf Degani, 2003 .

UIVerify: A Web-Based Tool for Verification and Automatic Generation of User Interfaces

Smadar Shiffman, Michael Heymann, Asaf Degani, 2004 .

A MULTI-DIMENSIONAL EVALUATION METHODOLOGY FOR NEW COCKPIT SYSTEMS

Asaf Degani, Marcia Kuskin Shamo, Ravit Dror, 1999 .

Describing the design contributors to mode error

Alex Kirlik, Asaf Degani, 1998, Proceedings Fourth Annual Symposium on Human Interaction with Complex Systems.

Designing Flight-Deck Procedures

Asaf Degani, Mike Shafto, L. Wiener, 1995 .

Constructing Human-Automation Interfaces: A Formal Approach

Michael Heymann, Asaf Degani, 2002 .

Formal Aspects of Procedures: The Problem of Sequential Correctness

Michael Heymann, Asaf Degani, Michael Shafto, 1999 .

Evolving Flight Operations Data Standards Is There a Need of Early Identification of Specifications

Asaf Degani, Barbara Kanki, Jean-Jacques Speyer, 2002 .

Incorrect Blood Pressure

Asaf Degani, 2003 .

Toward a Formal Approach to Information Integration Evaluation of an Automotive Instrument Display

Asaf Degani, Ron Asherov, A. Bernard, 2013 .

Formal Verification of Human-Automation Interaction

Asaf Degani, Michael Heymann, M. Heymann, 2002, Hum. Factors.

A Tale of Two Maps

Asaf Degani, 2013 .

Mode Usage in Automated Cockpits: Some Initial Observations

Alex Kirlik, Michael Shafto, Asaf Degani, 1995 .

Model-Based Approaches to Human-Automation Systems Design

Ann M. Bisantz, Jonas Andersson, Morten Lind, 2012 .

HUMAN FACTORS OF THE COCKPIT CHECKLIST.

Asaf Degani, Earl L. Wiener, 1991 .

On the typography of flight-deck documentation

Asaf Degani, 1992 .

Toward automatic generation of user interfaces: Abstraction of internal states and transitions

Asaf Degani, Michael Heymann, 2007, IFAC HMS.

On the design of flight-deck procedures

Asaf Degani, Earl L. Wiener, A. Degani, 1994 .

Formal Analysis of Human Automation Interaction: The Problem of Display Correctness

David Austin, Michael Shafto, Michael Heymann, 2013 .

Canonical Correlation Analysis of Data on Human-Automation Interaction

Michael Shafto, Asaf Degani, Alex Kirlik, 1997 .

Philosophy, policies, and procedures - The three P's of flight-deck operations

Asaf Degani, Earl L. Wiener, 1991 .

Navigation and Internet Interaction

Asaf Degani, 2003 .

Beyond the Interface

Asaf Degani, 2003 .

Generating Procedures and Recovery Sequences: a Formal Approach

Michael Heymann, Asaf Degani, Immanuel Barshi, 2007 .

An Approach for Measurement of Passenger Comfort: Real-Time Classification based on In-Cabin and Exterior Data

Asaf Degani, Gila Kamhi, Ariel Telpaz, 2018, 2018 21st International Conference on Intelligent Transportation Systems (ITSC).

Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design

Claire J. Tomlin, Asaf Degani, Meeko Oishi, 2003 .

Users and Maps

Asaf Degani, 2003 .

Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns

Asaf Degani, Michael G. Shafto, Leonard Olson, 2006, Diagrams.

Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm

Asaf Degani, Michael Heymann, M. Heymann, 2007, Hum. Factors.

Cockpit Checklists: Concepts, Design, and Use

Asaf Degani, Earl L. Wiener, A. Degani, 1993 .

Human Factors Of Flight-Deck Checklists

Asaf Degani, Earl L. Wiener, 1992 .

Formal Aspects of Human-Automation Interaction

Asaf Degani, Michael Heymann, Roger Remington, 1998 .

Non-determinism in User-Machine Interaction

Asaf Degani, 2003 .

A Formal Approach for Designing and Evaluating Procedures

Michael Heymann, Asaf Degani, Roger W. Remington, 1998 .

Electronic Checklists: Implications for Decision Making

Kathleen L. Mosier, Asaf Degani, Everett A. Palmer, 1992 .

Hybrid verification of an interface for an automatic landing

Alexandre M. Bayen, Ian M. Mitchell, Claire J. Tomlin, 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

HMI aspects of automotive climate control systems

Asaf Degani, Michael Heymann, Andrew Gellatly, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

On Organization of Information: Approach and Early Work

David L. Iverson, Michael Shafto, Asaf Degani, 2013 .

Automated driving aids: modeling, analysis, and interface design considerations

Asaf Degani, Michael Heymann, M. Heymann, 2013, AutomotiveUI.

Verification of User-Machine Interaction

Asaf Degani, 2003 .

Formal Methods in the Wild: Trains, Planes, & Automobile

Asaf Degani, 2012, FM.

ANALYSIS AND VERIFICATION OF HUMAN-AUTOMATION INTERFACES

Michael Heymann, Asaf Degani, 2003 .

On the Construction of Human-Automation Interfaces by Formal Abstraction

Asaf Degani, Michael Heymann, 2002, SARA.

“Soft” Controls for Hard Displays: Still a Challenge

Asaf Degani, Everett A. Palmer, Kristin G. Bauersfeld, 1992 .

Tiles and Patterns of a Field: From Byzantine Churches to User Interface Design

Asaf Degani, Ron Asherov, Peter J. Lu, 2012 .