Follow
Hamon Arnaud
Hamon Arnaud
PhD candidate, Toulouse University 3, Airbus
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
Formal description of multi-touch interactions
A Hamon, P Palanque, JL Silva, Y Deleris, E Barboni
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
512013
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification
JL Silva, C Fayollas, A Hamon, C Martiinie, E Barboni
Electronic Communications of the EASST 69, 2014
202014
Multi-Touch interactions for control and display in interactive cockpits: issues and a proposal
A Hamon, P Palanque, R Andre, E Barboni, M Cronel, D Navarre
Proceedings of the International Conference on Human-Computer Interaction in …, 2014
152014
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions
A Hamon, P Palanque, M Cronel, R André, E Barboni, D Navarre
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
112014
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics
A Hamon, P Palanque, M Cronel
Industrial Informatics (INDIN), 2015 IEEE 13th International Conference on …, 2015
72015
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. Int. Conf. on Hum
A Hamon, P Palanque, Y Deleris, D Navarre, E Barboni
Comput. Interact. in Aeronautics (HCI'Aero 2012), 25-36, 2012
62012
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification
E Barboni, A Hamon, CM de Almeida, P Palanque
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), pp …, 2015
22015
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
C Fayollas, P Palanque, JC Fabre, D Navarre, Y Deleris, A Hamon
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
A Hamon, E Barboni, P Palanque, R André
The system can't perform the operation now. Try again later.
Articles 1–9