A formal technique forautomated dialogue development, Proceedings of the 1st Conference on Designing Interactive Systems: Processes, Practices, Methods, & Techniques, DIS 1995, pp.219-226, 1995. ,
The B-Book: Assigning Programs to Meanings, 1996. ,
, Modeling in Event-B: System and Software Engineering, 2010.
Rodin: an open toolset for modelling and reasoning in event-b, Int. J. Softw. Tools Technol. Transf, vol.12, issue.6, pp.447-466, 2010. ,
Cooperation of formal methods in an engineering based software development process, 2000 Proceedings Second International Conference Integrated Formal Methods, IFM 2000, pp.136-155, 2000. ,
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve, Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, pp.123-130, 2006. ,
A uniform approach for specification and design of interactive systems: the B method. In: Design, Specification and Verification of Interactive Systems, Supplementary Proceedings of the Fifth International Eurographics Workshop, pp.51-67, 1998. ,
Using the B formal approach for incremental specification design of interactive systems, IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pp.91-109, 1998. ,
Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, Informations, vol.13, issue.2, pp.127-155, 2008. ,
K-made: Unenvironnement pour le noyau du modèle de description del'activité, Proceedings of the 18th Conference onL'Interaction Homme-Machine, IHM, pp.287-288, 2006. ,
A systematic approach to model checking human -automation interaction using task analytic models, IEEE Trans. Syst. Man Cybern. -Part A: Syst. Hum, vol.41, issue.5, pp.961-976, 2011. ,
Building a formal model of a human-interactive system: insights into the integration of formal methods and human factors engineering, First NASA Formal Methods Symposium -NFM, pp.6-15, 2009. ,
Formal models for user interface design artefacts, Innov. Syst. Softw. Eng, vol.4, issue.2, pp.125-141, 2008. ,
Refinement for user interface designs, Electron. Notes Theor. Comput. Sci, vol.208, pp.5-22, 2008. ,
Systematic analysis of control panel interfaces using formal tools, DSV-IS 2008, vol.5136, pp.72-85 ,
, , 2008.
Learning system abstractions for human operators, Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, pp.3-10, 2011. ,
A bisimulation-based approach to the analysis of human-computer interaction, Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.101-110, 2009. ,
Four easy pieces for assessing the usability of multimodal interaction: the care properties, pp.115-120, 1995. ,
Human-Computer Interaction, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-01572646
, Formal Description Technique Lotos: Results of the Esprit Sedos Project, 1989.
Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm, Hum. Factors, vol.49, issue.2, pp.311-330, 2007. ,
From formal specifications to secure implementations, Proceedings of the Fourth International Conference on Computer-Aided Design of User Interfaces III, Valenciennes, pp.51-62, 2002. ,
A formal language for designing, specifying and verifying critical embedded human machine interfaces. Theses ,
URL : https://hal.archives-ouvertes.fr/tel-01455466
, , 2016.
ProB: a model checker for B, FME 2003, vol.2805, pp.855-874, 2003. ,
A formal machine-learning approach to generating human-machine interfaces from task models, IEEE Trans. Hum.-Mach. Syst, vol.47, issue.6, pp.822-833, 2017. ,
Automatic code generation from event-b models, Proceedings of the Second Symposium on Information and Communication Technology, pp.179-188, 2011. ,
Formal modelling and verification of multimodal human computer interfaces : output multimodality. Theses, ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique -Poitiers, 2014. ,
A tool suite for integrating task and system models through scenarios, DSV-IS 2001, vol.2220, pp.88-113, 2001. ,
Validating interactive system design through the verification of formal task and system models, EHCI 1995. IFIP Advances in Information and Communication Technology, pp.189-212, 1996. ,
Petri net based design of user-driven interfaces using the interactive cooperative objects formalism, Interactive Systems: Design, Specification, and Verification Focus on Computer Graphics (Tutorials and Perspectives in Computer Graphics), pp.383-400, 1995. ,
Verification of an interactive software by analysis of its formal specification, Human-Computer Interaction. IFIP Advances in Information and Communication Technology, pp.191-196, 1995. ,
, The original MVC reports, 1979.
Developing and verifying user interface requirements for infusion pumps: a refinement approach, ECEASST, pp.1863-2122, 2013. ,
Generating user interface code in a model based user interface development environment, Proceedings of the Working Conference on Advanced Visual Interfaces, pp.155-160, 2000. ,
Using Event-B for Critical Device Software Systems, 2013. ,