Arnaud Hamon

12 papers C 2Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
An Experimental Evaluation of Robustness and Precision for Long-term LiDAR-based Localization in Highly Changing Environments.
CoRR
Salvador Dominguez, Gaëtan Garcia, Vincent Frémont, Arnaud Hamon
2020 C conf
Longitudinal Dynamics Model Identification of an Electric Car Based on Real Response Approximation.
IV
Salvador Dominguez, Gaëtan Garcia, Arnaud Hamon, Vincent Frémont
2020 J jnl
Longitudinal Dynamics Model Identification of an Electric Car Based on Real Response Approximation.
CoRR
Salvador Dominguez, Gaëtan Garcia, Arnaud Hamon, Vincent Frémont
2017 — ch.
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.
Handbook of Formal Methods in Human-Computer Interaction
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
2017 — conf
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems.
INTERACT Workshops
David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua
2015 C conf
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics.
INDIN
Arnaud Hamon, Philippe A. Palanque, Martin Cronel
2014 Misc conf
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.
EICS
Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
2014 — conf
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.
EGMI@EICS
Arnaud Hamon, Eric Barboni, Philippe A. Palanque, Raphaël André
2013 J jnl
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe A. Palanque, Célia Martinie, Eric Barboni
2013 J jnl
Human like trajectory generation for a biped robot with a four-bar linkage for the knees.
Robotics Auton. Syst.
Yannick Aoustin, Arnaud Hamon
2010 — conf
Cross four-bar linkage for the knees of a planar bipedal robot.
Humanoids
Arnaud Hamon, Yannick Aoustin
2009 — conf
Study of different structures of the knee joint for a planar bipedal robot.
Humanoids
Arnaud Hamon, Yannick Aoustin