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

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits., , , , , and . EDCC, page 198-209. IEEE Computer Society, (2014)Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems., , , , , , and . iThings/GreenCom/CPSCom/SmartData, page 694-701. IEEE, (2019)Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques., , , , , and . PRDC, page 164-173. IEEE Computer Society, (2011)A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit., , , and . i-com, 14 (3): 170-191 (2015)Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems., , , , and . HCSE/HESSD, volume 9856 of Lecture Notes in Computer Science, page 181-202. Springer, (2016)A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study., , , , , and . HCI-Aero, page 2:1-2:9. ACM, (2016)A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context., , , , , , , and . EnCHIReS@EICS, volume 1945 of CEUR Workshop Proceedings, page 42-55. CEUR-WS.org, (2017)Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach., , , , and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 32-46. Springer, (2012)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)Addressing dependability for interactive systems: application to interactive cockpits.. EICS, page 163-166. ACM, (2013)