( en | de | ru )

 

Disambiguation of "Fayollas, Camille"

Author of the publication

copydeleteadd this publication to your clipboard
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods.

, , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)

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.

Camille Gully

Camille Welter

Camille Jenn

Camille Dutrey

Camille Bellissant

 

Other publications of authors with the same name

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits., , , , , , , and . Int. J. Hum. Comput. Stud., (2019)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)An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits., , , , , and . EDCC, page 198-209. IEEE Computer Society, (2014)Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques., , , , , and . PRDC, page 164-173. IEEE Computer Society, (2011)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)Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach., , , , and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 32-46. Springer, (2012)Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems., , and . CHI Extended Abstracts, ACM, (2018)Addressing dependability for interactive systems: application to interactive cockpits.. EICS, page 163-166. ACM, (2013)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)Task Model-Based Systematic Analysis of Both System Failures and Human Errors., , , , , and . IEEE Trans. Hum. Mach. Syst., 46 (2): 243-254 (2016)