A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems, vol.96, pp.92-104 ,
Formal transducers: models of devices and building bricks for the design of highly interactive systems, DSVIS, vol.97, pp.143-159 ,
Software architecture in practice, 2007. ,
The arch model: Seeheim revisited, User Interface Developpers' Workshop, 1991. ,
A model-based approach for real-time embedded multimodal systems in military aircrafts, Proceedings of the 6th international conference on Multimodal interfaces (ICMI '04), pp.243-250, 2004. ,
Developing a Taxonomy of Input ,
HumanComputer Interaction -INTERACT '90, pp.449-456, 1990. ,
Formally verifying interactive systems: A review. Design, Specification and Verification of Interactive Systems DSVIS '97. 109-124, 1997. ,
Four easy pieces for assessing the usability of multimodal interaction: the CARE properties, pp.115-120, 1995. ,
Une approche pour l'ingénierie des systèmes interactifs critiques multimodaux et multiutilisateurs : Application à la prochaine génération de cockpit d'aéronefs, 2017. ,
, CS-25 -Amendment 17 -Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, EASA, 2015.
, Software Considerations in Airborne Systems and Equipment Certification, 2012.
A generic framework for executable gestural interaction models, VL/HCC 2013, pp.35-38 ,
URL : https://hal.archives-ouvertes.fr/hal-01178580
The architecture analysis & design language (AADL): An introduction, 2006. ,
Multi-Touch Interactions for Control and Display in Interactive Cockpits, 2014. ,
Formal description of multi-touch interactions, 5th ACM SIGCHI EICS pp, pp.207-216, 2013. ,
PyMT: a post-WIMP multi-touch user interface toolkit, pp.17-24, 2009. ,
, Input/Output Devices and Interaction Techniques. Computing Handbook, vol.21, pp.1-54, 2014.
Mudra: a unified multimodal interaction framework, pp.97-104, 2011. ,
Taxonomy and overview of multitouch frameworks: Architecture, scope and features, Workshop on EPMI, 2010. ,
On model architecture for a children's speech recognition interactive dialog system, Proc. of International scientific conference "Mathematics and Natural Sciences, 2009. ,
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces, ACM ICMI, pp.185-192, 2009. ,
, Fusion engines for multimodal input: a survey. ICMI, pp.153-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00953686
, SEARIS: software engineering and architectures for realtime interactive systems. 24th ACM SIGPLAN OOPSLA, pp.721-722, 2009.
A 0.4 V driving multi-touch capacitive sensor with the driving signal frequency set to (n+ 0.5) times the inverse of the LCD VCOM noise period, Circuits and Systems (ISCAS), IEEE Int. Symp, pp.682-685, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01675284
Designing for low-latency directtouch input, 25th ACM UIST, pp.453-464, 2012. ,
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems, SAFECOMP, pp.373-386, 2008. ,
Multifeature Systems: From HCI properties to Software Design, Proc. First International Workshop on Intelligence and Multimodality in Multimedia Interfaces, 1995. ,
Cooperative Gestures: Multi-user Gestural Interactions for Co-located Groupware, ACM CHI Conf, pp.1201-1210, 2006. ,
Computer Discretized Interaction: From Continuous to Discrete and Back Again, CHI 2000 Workshop on Continuity in Human Computer Interaction, 2000. ,
, Proceedings of IFIP/EG Workshop on User Interface Management Systems (November 1983, 1985.
Multimodal output specification / simulation platform, ACM ICMI, pp.84-91, 2005. ,
, SAE Architecture Analysis and Design Language (AADL), International Society of Automotive Engineers, 2012.
SenScreen: A Toolkit for Supporting Sensor-enabled Multi-Display Networks, Proceedings of The International Symposium on Pervasive Displays, 2014. ,
SelfChecking Components for Dependable Interactive Cockpits Using Formal Description Techniques, PRDC, vol.2011, pp.164-173 ,
Distinguishing users with capacitive touch communication, pp.197-208, 2012. ,
A multitouch software architecture, Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (NordiCHI '08), pp.463-466, 2008. ,
The picture says it all!: multimodal interactions and interaction metadata, Proceedings of the 13th international conference on multimodal interfaces (ICMI '11), pp.89-96, 2011. ,
A Multimodal In-Car Dialogue System That Tracks The Driver's Attention, Proceedings of the 16th International Conference on Multimodal Interaction (ICMI '14), pp.26-33, 2014. ,