Publications

International Conferences

2016

  • Neha Rungta, Eric Mercer, Arnaud Hamon, Paul Lee. A Fast-time Simulation and Safety Analysis Framework for Air Traffic Management Concepts in DASC 2016; Sacramento, CA; 25 November 2016

2015

  • Arnaud Hamon, Philippe Palanque, Martin Cronel. Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics in IEEE International Conference on Industrial Informatics 2015 (INDIN). p:980-987

2014

  • Arnaud HamonPhilippe Palanque, Raphaël André, Eric BarboniMartin Cronel,  David NavarreMulti-Touch Interactions for Control and Display in Interactive Cockpits: Issues and a Proposal (full research paper).In: International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2014), Silicon Valley, California, USA July 30-August 1, 2014 (to appear)
    PDF
    Demo
  • Arnaud HamonPhilippe PalanqueMartin CronelRaphaël AndréEric BarboniDavid NavarreFormal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions (short paper). In: ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014)Roma17/06/2014-20/06/2014ACM, p. 173-178, June 2014.
    PDF
    Demo
    BibTeX
  • Camille FayollasPhilippe PalanqueJean-Charles FabreDavid NavarreYannick DelerisArnaud HamonA Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2014)Toulouse, France05/02/2014-07/02/2014Proceedings of ERTS² 2014, (en ligne), 2014.
    PDF: http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6C1.pdf
    BibTeX

2013

  • Arnaud HamonPhilippe PalanqueJosé Luis SilvaYannick DelerisEric BarboniFormal description of multi-touch interactions (regular paper). Dans : ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2013)City University London, UK,25/06/2013-27/06/2013ACM, p. 207-216, 2013.
    PDF
    BibTeX

2012

  • Arnaud HamonPhilippe PalanqueDavid NavarreCelia Martinie De Almeida,Adrienne Tankeu ChoitatEric BarboniInteractive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper). Dans : European Congress on Embedded Real-Time Software (ERTS 2012)Toulouse, France01/02/2012-03/02/2012Site web ERTS 2012, (support électronique), février 2012.
    PDF
    BibTeX
  • Arnaud HamonPhilippe PalanqueYannick DelerisDavid NavarreEric BarboniA 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)Brussels12/09/2012-14/09/2012ACM DL, p. 25-36, 2012. BibTeX

 

International Workshops

2015

  • Eric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque. A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:24-29. RWTH Aachen University.

2014

  • Arnaud HamonEric BarboniPhilippe PalanqueRaphaël AndréA Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions,Dans : Engineering Gestures for Multimodal Interfaces ; Workshop at EICS 2014, June 17th, Rome, CEUR Workshop Proceedings, Vol. 1190, juillet 2014.
    PDF
    BibTeX

2013

  • José Luis SilvaCamille FayollasArnaud HamonPhilippe PalanqueCelia Martinie De AlmeidaEric BarboniAnalysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper). Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2013)London24/06/2013Electronic Communications of the EASST, (support électronique), juin 2013.
    PDF
    BibTeX

PhD thesis

2014

  • Arnaud Hamon. 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
    Manuscript
    Abstract