David Navarre
Orcid: 0000-0002-2900-2056
According to our database1,
David Navarre
authored at least 75 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023
2022
2021
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool.
Proc. ACM Hum. Comput. Interact., 2021
Interact. Comput., 2021
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021
2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2019
Proc. ACM Hum. Comput. Interact., 2019
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts.
Proceedings of the Joint Proceedings HCI Engineering 2019, 2019
2018
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018
2017
Proc. ACM Hum. Comput. Interact., 2017
Proceedings of the Global Thoughts, Local Designs, 2017
2016
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study.
Proceedings of the International Conference on Human-Computer Interaction in Aerospace, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
2015
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit.
i-com, 2015
A generic tool-supported framework for coupling task models and interactive applications.
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems.
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015
2014
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.
Sci. Comput. Program., 2014
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
Int. J. Hum. Comput. Stud., 2014
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
Proceedings of the 26th Conference on l'Interaction Homme-Machine, 2014
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces.
Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, 2014
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach.
Int. J. Crit. Comput. Based Syst., 2013
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study.
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013
2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012
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.
Proceedings of the Ergonomie et Interaction Homme-Machine, 2012
2011
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach.
Reliab. Eng. Syst. Saf., 2011
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Proceedings of the 13th European Workshop on Dependable Computing, 2011
A model-based approach for supporting engineering usability evaluation of interaction techniques.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011
Model-based training: an approach supporting operability of critical interactive systems.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011
2010
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction.
Proceedings of the Conference Internationale Francophone sur I'Interaction Homme-Machine, 2010
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010
2009
Proceedings of the Human-Centered Software Engineering, 2009
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.
ACM Trans. Comput. Hum. Interact., 2009
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, 2009
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.
Proceedings of the 11th International Conference on Multimodal Interfaces, 2009
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009
The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
2008
Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.
Proceedings of the Computer Safety, 2008
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.
Proceedings of the Interactive Systems. Design, 2008
2007
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.
Proceedings of the HCI and Usability for Medicine and Health Care, 2007
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.
Proceedings of the Task Models and Diagrams for User Interface Design, 2007
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the Human-Computer Interaction, 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
2006
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications.
Interact. Comput., 2006
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.
Proceedings of the Interactive Systems. Design, 2006
2005
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.
Proceedings of the Human-Computer Interaction, 2005
2004
A model-based approach for real-time embedded multimodal systems in military aircrafts.
Proceedings of the 6th International Conference on Multimodal Interfaces, 2004
Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.
Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004
2003
Interact. Comput., 2003
Formal description of a multimodal interaction technique in an immersive virtual reality application.
Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine, 2003
2002
Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs.
Proceedings of the 14th French-speaking conference on Human-computer interaction, 2002
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.
Proceedings of the Interactive Systems. Design, 2002
Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002
Model-Based Interactive Prototyping of Highly Interactive Applications.
Proceedings of the Computer-Aided Design of User Interfaces III, 2002
2001
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001
Proceedings of the Interactive Systems: Design, 2001
2000
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
Structuring Interactive Systems Specifications for Executability and Prototypability.
Proceedings of the Interactive Systems: Design, 2000
1999
Proceedings of the Application and Theory of Petri Nets 1999, 1999