NASA Logo, National Aeronautics and Space Administration

Arnaud Hamon Ph.D.

I am a Software Engineer at NASA Ames Research Center, in the Robust Software Engineering Group

I defended my PhD in 2014 in the Toulouse Institute for Computer Science Research in the Interactive Critical System team.


International Conferences


  • 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


  • 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


  • Arnaud HamonPhilippe PalanqueRaphaë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: BibTeX


  • 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


  • 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


  • 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.


  • 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


  • 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


Intelligent Systems Division
Ames Research Center
Mail Stop 269-2
Moffett Field, CA 94035

Phone: +1 650-604-2851

Email: Arnaud.J.Hamon "at"

First Gov logo
NASA Logo -