Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B, Fundamenta Informaticae, vol.77, pp.1-28, 2007. ,
Etude et comparaison de scénarios de développements formels d'interfaces multimodales fondés sur la preuve et le raffinement, 6ème Conférence Francophone de Modélisation, Optimisation et SImulation des Systèmes : Défis et Opportunités (MOSIM'06), pp.578-588, 2006. ,
Validation et vérification formelles de systèmes interactifs multimodaux fondées sur la preuve, 18 e Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006, pp.123-130, 2006. ,
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement, pp.127-154, 2008. ,
Formal validation of hci user tasks, International Conference on Software Engineering Research and Practice -SERP 2003, pp.732-738, 2003. ,
Encoding a process algebra using the Event B method. Software Tools and Technology Transfer, pp.239-253, 2009. ,
Formal verification and validation of interactive systems specifications. from informal specitications to formal validation, Conference of Human Error, Safety and Systems Development, 2004. ,
Using the b formal approach for incremental specification design of interactive systems, Engineering for Human-Computer, pp.91-108, 1998. ,
Animating Event B Models by Formal Data Models, ISOLA 2008 -3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2008. ,
Reasoning about pointers in refinement calculus, Tenth Asia-Pacific Software Engineering Conference, 2003., p.425, 2003. ,
DOI : 10.1109/APSEC.2003.1254398
Stepwise refinement of action systems, Proceedings of the International Conference on Mathematics of Program Construction, pp.115-138, 1989. ,
DOI : 10.1007/3-540-51305-1_7
K-MADe : un environement pour le noyau du modèle de description de l'activité, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006), pp.287-288, 2006. ,
The Arch Model : Seeheim Revisited, CHI 91 User Interface Developper's Workshop, 1991. ,
Icare software components for rapidly developing multimodal interfaces, Proc. of VDM Europe Symposium'87, Proceedings of ACM-CHI 2004, Extended Abstracts, pp.1325-1328, 1987. ,
Validating Properties of Component-Based Graphical User Interfaces, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'96, pp.347-365, 1996. ,
Formally Verifying Interactive Systems: A Review, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'97, pp.109-124, 1997. ,
Four easy pieces for assessing the usability of multimodal interaction: the CARE properties, Proceedings of Human Computer Interaction -Interact'95. Chapman and Hall, pp.115-120, 1995. ,
Le modèle d'architecture logicielle H4 : Principes, usages, outils et retours d'expérience dans les applications de conception technique. Revue d, Interaction Homme-Machine (RIHM), vol.7, issue.1, pp.93-129, 2006. ,
Human-Computer Interaction, 1993. ,
Abstract Interaction Objects, Proceedings of Eurographics conference and computer graphics forum, pp.25-36, 1993. ,
Towards a Theory of Interactors, Amodeus Esprit Basic Research Project, vol.7040, 1993. ,
Event Model of Human-System Interaction, IEEE Software Engineering Journal, vol.10, issue.1, pp.3-10, 1995. ,
The input model of standard graphics systems revisited by formal specification, Comput. Graph. Forum, vol.11, pp.237-251, 1992. ,
XUAN: Enhancing the UAN to Capture Temporal Relation Among Actions, 1994. ,
Formal Methods in Human-Computer Interaction. Series on Human computer interaction, 1990. ,
Developing User Interfaces : Ensuring Usability Through Product and Process, 1993. ,
Interactive system safety and usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, pp.39-55, 2001. ,
Agent-based architecture for interactive system design: current approaches, perspectives, evaluation. In Human-Computer Interaction, Part I, HCII 2009 HCI International, Number LNCS, vol.5610, pp.806-815, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00394944
Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, In IHM et Transports terrestres, 2010. ,
A formal description of multimodal interaction techniques for immersive virtual reality applications, Proceedings of INTERACT 2005. Lecture Notes in Computer Science, 2005. ,
Formal specification of multimodality, CHI'95 Workshop on Formal Specifications of User Interfaces, 1995. ,
Validating interactive system design through the verification of formal task and system models, IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (EHCI'95), pp.189-212, 1995. ,
Ctte: An environment for analysis and development of task models of cooperative applications, ACM CHI 2001, 2001. ,
Mad : Une méthode analytique de description des tâches, Colloque sur l'Ingénierie des Interfaces Homme-Machine (IHM'89, pp.131-148, 1989. ,
Towards a Method for Task Description : MAD. In Work with display units, 1990. ,