Publications de
David Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems (regular paper)
Dans : Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017, Mumbai, 26/09/17-26/09/17, Springer, p. 114-122, 2017.
Arnaud Hamon, Philippe Palanque, Martin Cronel
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics (regular paper)
Dans : IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, 22/07/15-24/07/15, IEEE : Institute of Electrical and Electronics Engineers, p. 980-987, 2015.
Eric Barboni, Arnaud Hamon, Celia Martinie De Almeida, Philippe Palanque
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 24-29, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15405/
BibTeXArnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions (short paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2014), Roma, 17/06/14-20/06/14, ACM : Association for Computing Machinery, p. 173-178, juin 2014.
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, France, 05/02/14-07/02/14, ERTS : Embedded Real Time Sofware and Systems, (en ligne), 2014.
Accès : http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6C1.pdf
BibTeXArnaud 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
Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions, CEUR-WS : Workshop proceedings, Vol. 1190, juillet 2014.
Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Racim Mehdi Fahssi, Arnaud Hamon
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Dans : Handbook of Formal Methods in Human-Computer Interaction. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (Eds.) , Springer, p. 465-504, septembre 2017.
Définition d’un language et d’une méthode pour la description et la spécification d’IHM post-W.I.M.P. pour les cockpits interactifs
Thèse de doctorat, Université Paul Sabatier, décembre 2014.
Résumé Accès : http://www.irit.fr/publis/ELIPSE/PhDs/These_Hamon.pdf
BibTeX