Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment., , , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Model-based training: an approach supporting operability of critical interactive systems., , , , and . EICS, page 53-62. ACM, (2011)Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study., , , , , and . SAFECOMP, volume 8153 of Lecture Notes in Computer Science, page 216-227. Springer, (2013)Using complementary models-based approaches for representing and analysing ATM systems' variability., , , , , and . ATACCS, page 146-157. IRIT Press Toulouse, France / ACM DL, (2012)Exploiting gaming research and practice for engineering interactive critical systems., , , and . ATACCS, page 41-49. IRIT Press Toulouse, France / ACM DL, (2011)Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches., , , , and . Ergo'IHM, page 81. ACM, (2012)Increasing engagement and well-being of operators working with automation by integrating task models and gameful design., , and . Pers. Ubiquitous Comput., 27 (6): 2339-2366 (December 2023)Designing and Assessing Interactive Systems Using Task Models., and . CHI Extended Abstracts, page 976-979. ACM, (2016)Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives., , , and . CHI Extended Abstracts, page 1069-1072. ACM, (2016)Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems., , and . CHI Extended Abstracts, ACM, (2018)