Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, pp.15-22, 2004. ,
DOI : 10.1145/989863.989865
URL : http://thomas.baudel.name/Epistemologie/p15-beaudouin-lafon-tmp.pdf
Survey on user interface programming, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.195-202, 1992. ,
DOI : 10.1145/142750.142789
URL : http://www.cs.cmu.edu/~bam/pub/uimsCRCrevised_C360X_CH48.pdf
Lag as a determinant of human performance in interactive systems, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.488-493, 1993. ,
DOI : 10.1145/169059.169431
Reaching for objects in VR displays: lag and frame rate, ACM Transactions on Computer-Human Interaction, vol.1, issue.4, pp.331-356, 1994. ,
DOI : 10.1145/198425.198426
URL : http://www.dgp.utoronto.ca/~ravin/papers/tochi94_lag.pdf
Immersive solutions for future Air Traffic Control and Management, Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces, ISS Companion '16, pp.25-31, 2016. ,
DOI : 10.1109/TVCG.2015.2467112
URL : https://hal.archives-ouvertes.fr/hal-01405290
Designing, developing and verifying interactive components iteratively with djnn, In: proc. of ERTS, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01292291
Volta: the first all-electric conventional helicopter, More Electric Aircraft, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01609233
Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.276-285, 2015. ,
DOI : 10.1007/978-3-540-92698-6_30
URL : https://hal.archives-ouvertes.fr/hal-01619784
Validation of COSMOS DSL programs, The 2010 International Conference on Computer Engineering & Systems, pp.307-313, 2010. ,
DOI : 10.1109/ICCES.2010.5674874
URL : https://hal.archives-ouvertes.fr/hal-01309290
Towards support for verification of adaptative systems with djnn, Proceedings of Cognitive 2015, pp.191-194, 2015. ,
Automatic latency balancing in vhdl-implemented complex pipelined systems, p.8111, 2015. ,
Characterizing Latency in Touch and Button-Equipped Interactive Systems, Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology , UIST '17, pp.29-39, 2017. ,
DOI : 10.1145/198425.198426
URL : https://hal.archives-ouvertes.fr/hal-01586803
Guest Editorial, Real-Time Systems, vol.30, issue.1-2, pp.115-128, 2000. ,
DOI : 10.1007/s11241-005-0501-2
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective: 13th International Workshop on Worst-Case Execution Time Analysis, pp.32-41, 2013. ,