( en | de | ru )

 

Disambiguation of "Navarre, David"

Author of the publication

copydeleteadd this publication to your clipboard
Engineering mixed-criticality interactive applications.

, , , and . EICS, page 108-119. ACM, (2016)

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.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

A fault-tolerant architecture for resilient interactive systems., , , , , , and . IHM, page 80-90. ACM, (2014)Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces., , and . ICMI, page 185-192. ACM, (2009)The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?, and . EICS, page 155-156. ACM, (2009)High-Fidelity Prototyping of Interactive Systems Can Be Formal Too., , , and . HCI (1), volume 5610 of Lecture Notes in Computer Science, page 667-676. Springer, (2009)Fortunettes: Feedforward about the Future State of GUI Widgets., , , , , and . Proc. ACM Hum. Comput. Interact., 3 (EICS): 20:1-20:20 (2019)Interactive cockpits as critical applications: a model-based and a fault-tolerant approach., , , , , and . Int. J. Crit. Comput. Based Syst., 4 (3): 202-226 (2013)Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language., , , , and . Sci. Comput. Program., (2014)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets., , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 503-519. Springer, (2019)PANDA: prototyping using annotation and decision analysis., , and . EICS, page 171-176. ACM, (2016)A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics., , , , , and . PRDC, page 21-30. IEEE Computer Society, (2014)