Sánchez Segura, M.I. Usability-Supporting Architectural Patterns, ICSE, vol.2004, pp.716-717 ,
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, pp.309-328, 2003. ,
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software, Formal Methods in System Design, vol.25, issue.2/3, pp.2-3, 2004. ,
DOI : 10.1023/B:FORM.0000040027.28662.a4
Model Checking Interactor Specifications, Automated Software Engineering, vol.8, issue.3/4, pp.275-310, 2001. ,
DOI : 10.1023/A:1011265604021
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986. ,
DOI : 10.1145/5397.5399
A formal framework for design and analysis of human-machine interaction, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.1801-1808, 2011. ,
DOI : 10.1109/ICSMC.2011.6083933
Upside down As and algorithms ? computational formalisms and theory HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, pp.381-429, 2003. ,
Design principles for Interactive Software, 1996. ,
DOI : 10.1007/978-0-387-34912-1
Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992. ,
DOI : 10.1049/sej.1992.0033
Integrating verification into the PAOSE approach, Proceedings of the Petri Nets and Software Engineering. International Workshop PNSE'11, pp.124-135, 2011. ,
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007. ,
DOI : 10.1007/s10009-007-0038-x
A Formal Model for CARE Usability Properties Verification in Multimodal HCI, IEEE International Conference on Pervasive Services, pp.341-348, 2007. ,
DOI : 10.1109/PERSER.2007.4283937
Verifying reference nets by means of hypernets: A plugin for Renew, Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'10, pp.39-54 ,
Symbolic Model Checking, 1993. ,
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-56, 2009. ,
DOI : 10.1145/1614390.1614393
Verification of an Interactive Software by Analysis of its Formal Specification, Proceedings of the IFIP TC13 Interact'95 Conference, pp.27-29, 1995. ,
DOI : 10.1007/978-1-5041-2896-4_32
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software, proceedings of IFIP TC 13 Interact 99 conference, pp.1-4, 1999. ,
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too, Proceedings of the International Conference on Human Computer Interaction, pp.667-676, 2009. ,
DOI : 10.1007/3-540-45348-2_11
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties, DSV-IS 2000 Interactive Systems: Design, Specification and Verification, pp.135-150, 1946. ,
DOI : 10.1007/3-540-44675-3_9
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Formal analysis of ubiquitous computing environments through the APEX framework, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '12, pp.131-140 ,
DOI : 10.1145/2305484.2305506
Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000. ,
DOI : 10.1109/ASE.2000.873645
JPF-AWT: Model checking GUI applications, ASE, vol.2011, pp.584-587 ,