, , p.9783642074783
, Sémiologie graphique : les diagrammes, les réseaux, les cartes. Gauthier Villars, 1973.
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
Formal testing of multimodal interactive systems, éds : Engineering Interactive Systems, pp.36-52, 2008. ,
Vers la certification de programmes interactifs Djnn, Afadl 2018, 17èmes journées Approches Formelles dans l'Assistance au Developpement de Logiciels, 2018. ,
Closure and attention activation in human automatic behaviour : A framework for the formal analysis of interactive systems, vol.45, p.2011 ,
Towards a cognitive architecture for the formal analysis of human behaviour and learning, Software Technologies : Applications and Foundations, pp.216-232, 2018. ,
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. ,
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
Four Easy Pieces for Assessing the Usability of Multimodal Interaction : The Care Properties, pp.978-979, 1995. ,
YAKOBOWSKI : Frama-c, Software Engineering and Formal Methods, pp.233-247, 2012. ,
Using model checking for the automatic validation of user interfaces systems, pp.242-260, 1998. ,
The sal language manual, 2003. ,
Static analysis : A survey of techniques and tools, Intelligent Computing and Applications, pp.581-591, 2015. ,
, Prolegomena to a theory of language. Num. 7 de Prolegomena to a Theory of Language, 1961.
HOARE : An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, pp.576-580, 1969. ,
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 ,
Modèle formel général pour le traitement d'interactions multimodales, IHM 04, pp.219-222, 2004. ,
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
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
, On formalising interactive number entry on infusion pumps, vol.45, 2011.
Proving liveness properties of concurrent programs, ACM Trans. Program. Lang. Syst, vol.4, issue.3, pp.455-495 ,
Detecting cognitive causes of confidentiality leaks, Proceedings of the First International Workshop on Formal Methods for Interactive Systems, vol.183, pp.21-38, 2007. ,
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. ,
, The Visual Display of Quantitative Information, 1986.
Information Visualization : Perception for Design. Morgan Kaufmann Series in Interactive Technologies, 2012. ,
The Grammar of Graphics (Statistics and Computing), 2005. ,
Airborne collision avoidance system, Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software, vol.47, pp.97-110, 2004. ,