Publications de
Arnaud Hamon, Philippe Palanque, José Luis Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), City University London, UK, 25/06/13-27/06/13, ACM : Association for Computing Machinery, p. 207-216, 2013.
José Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (support électronique), juin 2013.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (support électronique), février 2012.
Arnaud Hamon, Philippe Palanque, Yannick Deleris, David Navarre, Eric Barboni
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems (regular paper)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (en ligne), 2012.
Accès : https://portail.irit.fr/partage/data/public/bd25d6e90fd48885.php
BibTeX