. Tools, , p.9783642074783

J. Bertin and M. Barbut, Sémiologie graphique : les diagrammes, les réseaux, les cartes. Gauthier Villars, 1973.

S. Boldo, C. Lelay, and G. Melquiond, Formalization of Real Analysis : A Survey of Proof Assistants and Libraries, Mathematical Structures in Computer Science, vol.26, issue.7, pp.1196-1233, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00806920

J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis-;-j et al., Formal testing of multimodal interactive systems, éds : Engineering Interactive Systems, pp.36-52, 2008.

P. Béger, S. Leriche, and D. Prun, Vers la certification de programmes interactifs Djnn, Afadl 2018, 17èmes journées Approches Formelles dans l'Assistance au Developpement de Logiciels, 2018.

A. Cerone, Closure and attention activation in human automatic behaviour : A framework for the formal analysis of interactive systems, vol.45, p.2011

A. Cerone, Towards a cognitive architecture for the formal analysis of human behaviour and learning, Software Technologies : Applications and Foundations, pp.216-232, 2018.

A. Cerone and N. Elbegbayan, Model-checking driven design of interactive systems, Proceedings of the First International Workshop on Formal Methods for Interactive Systems, vol.183, pp.3-20, 2007.

S. Chatty, M. Magnaudet, and D. Prun, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI, EICS '15, pp.978-979, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01619784

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.978-979, 1995.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, and J. Signoles, YAKOBOWSKI : Frama-c, Software Engineering and Formal Methods, pp.233-247, 2012.

B. , Using model checking for the automatic validation of user interfaces systems, pp.242-260, 1998.

L. M. Moura, S. Owre, and N. Shankar, The sal language manual, 2003.

A. Gosain and G. Sharma, Static analysis : A survey of techniques and tools, Intelligent Computing and Applications, pp.581-591, 2015.

L. Hjelmslev, Prolegomena to a theory of language. Num. 7 de Prolegomena to a Theory of Language, 1961.

C. A. , HOARE : An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, pp.576-580, 1969.

C. W. Johnson, Using assurance cases and boolean logic driven markov processes to formalise cyber security concerns for safety-critical interaction with global navigation satellite systems, vol.45, p.2011

N. Kamel and Y. Ait-ameur, Modèle formel général pour le traitement d'interactions multimodales, IHM 04, pp.219-222, 2004.

S. Leriche, S. Conversy, C. Picard, D. Prun, and M. Magnaudet, Towards Handling Latency in Interactive Software, FMIS 2018, 7th International Workshop on Formal Methods for Interactive Systems, vol.11176, pp.233-239, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01815224

M. Magnaudet, S. Chatty, S. Conversy, S. Leriche, C. Picard et al., Djnn/Smala : A Conceptual Framework and a Language for Interaction-Oriented Programming, Proceedings of the ACM on Human-Computer Interaction, vol.2, pp.1-27, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01815222

P. Masci, R. Ruk??nas, P. Oladimeji, A. Cauchi, A. Gimblett et al., On formalising interactive number entry on infusion pumps, vol.45, 2011.

S. Owicki and L. Lamport, Proving liveness properties of concurrent programs, ACM Trans. Program. Lang. Syst, vol.4, issue.3, pp.455-495

R. Ruk??nas, P. Curzon, and A. Blandford, Detecting cognitive causes of confidentiality leaks, Proceedings of the First International Workshop on Formal Methods for Interactive Systems, vol.183, pp.21-38, 2007.

L. Su, H. Bowman, and P. Barnard, Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks, Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, vol.208, pp.95-111, 2008.

E. R. Tufte, The Visual Display of Quantitative Information, 1986.

C. Ware, Information Visualization : Perception for Design. Morgan Kaufmann Series in Interactive Technologies, 2012.

L. Wilkinson, The Grammar of Graphics (Statistics and Computing), 2005.

E. Williams, Airborne collision avoidance system, Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software, vol.47, pp.97-110, 2004.