Model- Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. 13th conf. on Design Specification and Verification of Interactive Systems, pp.25-38, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01021771
Beyond modelling, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.165-174, 2010. ,
DOI : 10.1145/1822018.1822043
Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 -10th Workshop on Algorithms and Tools for Petri Nets, 2003. ,
A model-based approach for real-time embedded multimodal systems in military aircrafts, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, 2004. ,
DOI : 10.1145/1027933.1027974
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001. ,
DOI : 10.1007/3-540-45740-2_6
Upside down "s and algorithms ? computational formalisms and theory HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, pp.381-429, 2003. ,
Formal methods for interactive systems, 1991. ,
Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992. ,
DOI : 10.1049/sej.1992.0033
Design principles for Interactive Software, 1996. ,
DOI : 10.1007/978-0-387-34912-1
Formal description of multi-touch interactions, Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '13, pp.207-216, 2013. ,
DOI : 10.1145/2494603.2480311
Specifications are not (necessarily) executable, Software Engineering Journal, vol.4, issue.6, pp.330-338, 1989. ,
DOI : 10.1049/sej.1989.0045
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
Formal tasks and systems models as a tool for specifying and assessing automation designs, Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS '11, pp.50-59, 2011. ,
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments, Proceedings of the 4th international conference on Human-Centered Software Engineering (HCSE'12), pp.72-93, 2012. ,
DOI : 10.1007/978-3-642-34347-6_5
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. IFIP TC13 Human Computer Interaction 2011 (INTERACT), pp.134-152 ,
ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-1856, 2009. ,
DOI : 10.1145/1614390.1614393
«The Design of Everyday Things (Originally published: The psychology of everyday things).» The Design of Everyday Things (Originally published: The psychology of everyday things), 1988. ,
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification, SpaceOps 2006 Conference, 2006. ,
DOI : 10.2514/6.2006-5657
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
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems, 2013. ,
Prototyping Pre-implementation Designs of Virtual Environment Behaviour, Proc. of the 8th IFIP Int. Conf. on Engineering for Hum.- Comput. Interact, pp.91-101, 2001. ,
DOI : 10.1007/3-540-45348-2_11
Extending procedural task models by systematic explicit integration of objects, knowledge and information, Proceedings of the 31st European Conference on Cognitive Ergonomics, ECCE '13, p.10, 2013. ,
DOI : 10.1145/2501907.2501954