A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994. ,
Graphical user interface (GUI) testing: Systematic mapping and repository. Information and Software Technology, vol.55, pp.1679-1694, 2013. ,
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. 13th conf. on Design Specification and Verification of Interactive Systems, DSVIS 2006), pp.25-38 ,
URL : https://hal.archives-ouvertes.fr/hal-01021771
The arch model: Seeheim revisited, User Interface Developpers' Workshop, 1991. ,
A Model-based Tool for Interactive Prototyping of Highly Interactive Applications, CHI '02 Extended Abstracts on Human Factors in Computing Systems, pp.516-517, 2002. ,
& Dragicevic P. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts, Sixth International Conference on Multimodal Interfaces (ICMI'04), 2004. ,
Analysis of Petri Nets and Transition Systems. Electron. Proc. Theor, Comput. Sci, vol.189, pp.53-67, 2015. ,
Generating Obligations, Assertions and Tests from UI Models, Proc. ACM Hum.-Comput. Interact, vol.1, p.18, 2017. ,
Systematic Automation of Scenario-based Testing of User Interfaces, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.138-148, 2016. ,
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. In: Human-Centered and Error-Resilient Systems Development, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02089262
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems, Human-Centered Software Engineering, pp.109-129, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02270703
Testing can be formal, too. In: TAPSOFT '95: Theory and Practice of Software Development, pp.82-96, 1995. ,
Formal Description of Multitouch Interactions, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.207-216, 2013. ,
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multitouch Interactions, Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.173-178, 2014. ,
Palanque, philippe: Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for Sure (Safe, Usable, Reliable and Evolvable) Multimodal Interfaces, Proceedings of the 2009 International Conference on Multimodal Interfaces, pp.185-192, 2009. ,
,
On model-based testing advanced GUIs, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01123647
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. pp. 4:1-4:7, 2018. ,
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End, Advances in Computers, pp.121-162, 2010. ,
Engineering Animations in User Interfaces, Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.111-120, 2012. ,
The iMPAcT Tool for Android Testing, Proc. ACM Hum.-Comput. Interact, vol.3, p.23, 2019. ,
ICOs: A Model-based User Interface Description Technique Dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. ACM Trans. Comput.-Hum. Interact, vol.16, p.56, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-02570890
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification, Ninth Int. Conference on Space Operations, 2006. ,
, High-Fidelity Prototyping of Interactive Systems can be Formal too 13th Int. Conf. on Human-Computer Interaction (HCI International 2009
& Desert-Legendre L. Brace Touch: A Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits, International Conference on Computer Safety, Reliability, and Security 2019 (SAFECOMP), 2019. ,
Automatic GUI Testing of Desktop Applications: An Empirical Assessment of the State of the Art, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, pp.54-62, 2018. ,
DO-178C Software Considerations in Airborne Systems and Equipment Certification, 2011. ,
DO-333 Formal Methods Supplement to DO-178C and DO-278A, 2011. ,
Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, pp.57-69, 1983. ,
The Z notation, 1992. ,
A taxonomy of model-based testing approaches, Softw. Test. Verif. Reliab, vol.22, pp.297-312, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00940611
Post-WIMP user interfaces, Communications of the ACM. 40, vol.2, pp.63-67, 1997. ,
On reachability graphs of Petri nets, Computers & Electrical Engineering, vol.29, pp.34-43, 2003. ,