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 | 54 | 2013 |
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 | 20 | 2014 |
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 | 17 | 2014 |
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 | 12 | 2014 |
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 | 7 | 2015 |
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 | 6 | 2012 |
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 | 2 | 2015 |
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é | | |