Asaf Degani

According to our database, Asaf Degani authored at least 16 papers between 1997 and 2023.

Collaborative distances:

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

2023

eHMI Design: Theoretical Foundations and Methodological Process.

Yael Shmueli, Asaf Degani

Proceedings of the 18th International Joint Conference on Computer Vision, 2023

2020

Identifying Sources of Discomfort in Various Road Events While Riding Automated Vehicles.

Guy Cohen-Lazry, Ariel Telpaz, Asaf Degani, Tal Oron-Gilad

Proceedings of the IEEE International Conference on Human-Machine Systems, 2020

An Introduction to a Psychoanalytic Framework for Passengers' Experience in Autonomous Vehicles.

Guy Cohen-Lazry, Amit Edelstein, Asaf Degani, Tal Oron-Gilad

Proceedings of the HCI in Mobility, Transport, and Automotive Systems. Automated Driving and In-Vehicle Experience Design, 2020

2018

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

Ariel Telpaz, Michael Baltaxe, Ron M. Hecht, Guy Cohen-Lazry, Asaf Degani, Gila Kamhi

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017

On human-machine relations.

Asaf Degani, Claudia V. Goldman, Omer Deutsch, Omer Tsimhoni

Cogn. Technol. Work., 2017

2013

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

Michael Heymann, Asaf Degani

Proceedings of the Automotive User Interfaces and Interactive Vehicular Applications, 2013

2012

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

Asaf Degani

Proceedings of the FM 2012: Formal Methods, 2012

2011

HMI aspects of automotive climate control systems.

Asaf Degani, Andrew Gellatly, Michael Heymann

Proceedings of the IEEE International Conference on Systems, 2011

2007

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

Michael Heymann, Asaf Degani

Hum. Factors, 2007

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

Asaf Degani, Michael Heymann

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2007

Integration and organization of information for display.

Asaf Degani, Michael G. Shafto, Leonard Olson

Proceedings of the 1st ACM Symposium on Computer Human Interaction for Management of Information Technology, 2007

2006

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

Asaf Degani, Michael G. Shafto, Leonard Olson

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2002

Formal Verification of Human-Automation Interaction.

Asaf Degani, Michael Heymann

Hum. Factors, 2002

On the Construction of Human-Automation Interfaces by Formal Abstraction.

Michael Heymann, Asaf Degani

Proceedings of the Abstraction, 2002

Hybrid verification of an interface for an automatic landing.

Meeko Oishi, Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin, Asaf Degani

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

1997

Procedures in complex systems: the airline cockpit.

Asaf Degani, Earl L. Wiener

IEEE Trans. Syst. Man Cybern. Part A, 1997