J. Accot, S. Chatty, and P. Palanque, A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems, vol.96, pp.92-104

J. Accot, S. Chatty, S. Maury, and P. Palanque, Formal transducers: models of devices and building bricks for the design of highly interactive systems, DSVIS, vol.97, pp.143-159

L. Bass, Software architecture in practice, 2007.

L. Bass, R. Little, R. Pellegrino, S. Reed, R. Seacord et al., The arch model: Seeheim revisited, User Interface Developpers' Workshop, 1991.

R. Bastide, D. Navarre, P. Palanque, A. Schyn, and P. Dragicevic, 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.

B. Buxton, Developing a Taxonomy of Input

B. Buxton, HumanComputer Interaction -INTERACT '90, pp.449-456, 1990.

J. Campos and M. D. Harrison, Formally verifying interactive systems: A review. Design, Specification and Verification of Interactive Systems DSVIS '97. 109-124, 1997.

J. Coutaz, L. Nigay, D. Salber, A. Blandford, J. May et al., Four easy pieces for assessing the usability of multimodal interaction: the CARE properties, pp.115-120, 1995.

M. Cronel, 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.

R. Deshayes, P. Palanque, and T. Mens, A generic framework for executable gestural interaction models, VL/HCC 2013, pp.35-38
URL : https://hal.archives-ouvertes.fr/hal-01178580

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The architecture analysis & design language (AADL): An introduction, 2006.

A. Hamon, P. Palanque, R. André, E. Barboni, M. Cronel et al., Multi-Touch Interactions for Control and Display in Interactive Cockpits, 2014.

A. Hamon, P. Palanque, J. L. Silva, Y. Deleris, and E. Barboni, Formal description of multi-touch interactions, 5th ACM SIGCHI EICS pp, pp.207-216, 2013.

T. E. Hansen, J. P. Hourcade, M. Virbel, S. Patali, and T. Serra, PyMT: a post-WIMP multi-touch user interface toolkit, pp.17-24, 2009.

K. Hinckley, R. J. Jacob, C. Ware, J. Wobbrock, and D. Wigdor, Input/Output Devices and Interaction Techniques. Computing Handbook, vol.21, pp.1-54, 2014.

L. Hoste, B. Dumas, and B. Signer, Mudra: a unified multimodal interaction framework, pp.97-104, 2011.

D. Kammer, M. Keck, G. Freitag, and M. Wacker, Taxonomy and overview of multitouch frameworks: Architecture, scope and features, Workshop on EPMI, 2010.

R. Kraleva and V. Kralev, On model architecture for a children's speech recognition interactive dialog system, Proc. of International scientific conference "Mathematics and Natural Sciences, 2009.

J. Ladry, D. Navarre, and P. Palanque, 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.

D. Lalanne, L. Nigay, P. Palanque, P. Robinson, J. Vanderdonckt et al., Fusion engines for multimodal input: a survey. ICMI, pp.153-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00953686

M. E. Latoschik, D. Reiners, R. Blach, P. Figueroa, and R. Dachselt, SEARIS: software engineering and architectures for realtime interactive systems. 24th ACM SIGPLAN OOPSLA, pp.721-722, 2009.

J. S. Lee, D. H. Yeo, S. S. Lee, H. J. Kwon, J. Y. Sim et al., 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

A. Ng, J. Lepinski, D. Wigdor, S. Sanders, and P. Dietz, Designing for low-latency directtouch input, 25th ACM UIST, pp.453-464, 2012.

D. Navarre, P. Palanque, and S. Basnyat, A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems, SAFECOMP, pp.373-386, 2008.

L. Nigay and J. Coutaz, Multifeature Systems: From HCI properties to Software Design, Proc. First International Workshop on Intelligence and Multimodality in Multimedia Interfaces, 1995.

M. Morris, A. Huang, A. Paepcke, and T. Winograd, Cooperative Gestures: Multi-user Gestural Interactions for Co-located Groupware, ACM CHI Conf, pp.1201-1210, 2006.

P. Palanque, R. Bastide, D. Navarre, and O. Sy, Computer Discretized Interaction: From Continuous to Discrete and Back Again, CHI 2000 Workshop on Continuity in Human Computer Interaction, 2000.

G. E. Pfaff, Proceedings of IFIP/EG Workshop on User Interface Management Systems (November 1983, 1985.

C. Rousseau, Y. Bellik, and F. Vernier, Multimodal output specification / simulation platform, ACM ICMI, pp.84-91, 2005.

. Sae-as5506b, SAE Architecture Analysis and Design Language (AADL), International Society of Automotive Engineers, 2012.

S. Schneegass and F. Alt, SenScreen: A Toolkit for Supporting Sensor-enabled Multi-Display Networks, Proceedings of The International Symposium on Pervasive Displays, 2014.

A. Tankeu-choitatk, D. Navarrek, P. Palanquek, Y. Delerisk, J. Fabrek et al., SelfChecking Components for Dependable Interactive Cockpits Using Formal Description Techniques, PRDC, vol.2011, pp.164-173

T. Vu, A. Baid, S. Gao, M. Gruteser, R. Howard et al., Distinguishing users with capacitive touch communication, pp.197-208, 2012.

F. Echtler and G. Klinker, A multitouch software architecture, Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (NordiCHI '08), pp.463-466, 2008.

R. Vennelakanti, P. Dey, A. Shekhawat, and P. Pisupati, 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.

S. Kousidis, C. Kennington, T. Baumann, H. Buschmeier, S. Kopp et al., 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.