default search action
David Navarre
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j14]Neeraj Kumar Singh
, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35(7) (2023) - [c60]David Navarre
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? EICS (Workshops) 2023: 72-89 - 2022
- [j13]Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere:
Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. 6(EICS): 164:1-164:25 (2022) - 2021
- [j12]David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten
Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interact. Comput. 33(1): 73-91 (2021) - [j11]Alexandre Canny, Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris:
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proc. ACM Hum. Comput. Interact. 5(EICS): 207:1-207:30 (2021) - [c59]Philippe A. Palanque, David Navarre:
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. ICMI 2021: 781-787 - [c58]Célia Martinie
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. INTERACT (Workshops) 2021: 290-301 - 2020
- [c57]Alexandre Canny, Philippe A. Palanque, David Navarre
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. ICST Workshops 2020: 95-104
2010 – 2019
- 2019
- [j10]Sven Coppers, Kris Luyten
Fortunettes: Feedforward about the Future State of GUI Widgets. Proc. ACM Hum. Comput. Interact. 3(EICS): 20:1-20:20 (2019) - [c56]David Navarre, Philippe A. Palanque, Célia Martinie:
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. EICS Workshops 2019: 39-45 - [c55]Alexandre Canny, David Navarre
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) 2019: 486-502 - [c54]David Navarre
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. FM Workshops (1) 2019: 503-519 - [c53]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS 2019: 21-39 - [c52]Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData 2019: 694-701 - 2018
- [c51]Célia Martinie, David Navarre
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. EICS 2018: 4:1-4:7 - 2017
- [j9]José Creissac Campos
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1(EICS): 9:1-9:20 (2017) - [c50]David Navarre
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. INTERACT Workshops 2017: 114-122 - 2016
- [c49]Camille Fayollas, Célia Martinie, David Navarre
Engineering mixed-criticality interactive applications. EICS 2016: 108-119 - [c48]José Creissac Campos
Systematic automation of scenario-based testing of user interfaces. EICS 2016: 138-148 - [c47]Jean-Luc Hak, Marco Winckler, David Navarre
PANDA: prototyping using annotation and decision analysis. EICS 2016: 171-176 - [c46]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris:
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. HCI-Aero 2016: 2:1-2:9 - 2015
- [j8]Camille Fayollas, Célia Martinie, David Navarre
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com 14(3): 170-191 (2015) - [c45]Martina Ragosta
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. ATACCS 2015: 41-52 - [c44]Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas:
A generic tool-supported framework for coupling task models and interactive applications. EICS 2015: 244-253 - 2014
- [j7]Célia Martinie, David Navarre
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Int. J. Hum. Comput. Stud. 72(1): 77-99 (2014) - [j6]Eric Barboni, Célia Martinie, David Navarre
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. 86: 3-29 (2014) - [c43]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. EDCC 2014: 198-209 - [c42]Célia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan:
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. EICS 2014: 85-94 - [c41]Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre:
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. EICS 2014: 173-178 - [c40]Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi:
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. DUI@ICWE 2014: 27-30 - [c39]Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris:
A fault-tolerant architecture for resilient interactive systems. IHM 2014: 80-90 - [c38]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. PRDC 2014: 21-30 - 2013
- [j5]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris:
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. Int. J. Crit. Comput. Based Syst. 4(3): 202-226 (2013) - [c37]David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems. ATACCS 2013: 66-75 - [c36]Célia Martinie, Philippe A. Palanque, Martina Ragosta
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. SAFECOMP 2013: 216-227 - 2012
- [c35]Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler:
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. Ergo'IHM 2012: 81 - [c34]Célia Martinie, Philippe A. Palanque, David Navarre
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE 2012: 72-93 - [c33]Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris:
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE 2012: 32-46 - 2011
- [j4]David Navarre
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. 96(1): 38-52 (2011) - [c32]Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler:
A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS 2011: 21-30 - [c31]Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart:
Model-based training: an approach supporting operability of critical interactive systems. EICS 2011: 53-62 - [c30]A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris:
Self-checking widgets for interactive cockpits. EWDC 2011: 43-48 - [c29]A. Tankeu-Choitat, David Navarre
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC 2011: 164-173 - 2010
- [c28]Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler:
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS 2010: 165-174 - [c27]Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler:
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM 2010: 81-88
2000 – 2009
- 2009
- [j3]David Navarre
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16(4): 18:1-18:56 (2009) - [c26]David Navarre, Philippe A. Palanque:
The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? EICS 2009: 155-156 - [c25]Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni:
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676 - [c24]Jean-François Ladry, David Navarre, Philippe A. Palanque:
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ICMI 2009: 185-192 - [c23]Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler:
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM 2009: 141-150 - [p2]David Navarre
Task Models and System Models as A Bridge Between Hci and Software Engineering. Human-Centered Software Engineering 2009: 357-385 - 2008
- [c22]David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat:
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS 2008: 208-224 - [c21]David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386 - [p1]Regina Bernhaupt
Tailoring Usability into Agile Software Development Projects. Maturing Usability 2008: 96-119 - 2007
- [c20]Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque:
Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338 - [c19]Regina Bernhaupt
Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424 - [c18]Eric Barboni, David Navarre
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257 - [c17]David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk:
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA 2007: 140-154 - [c16]Philippe A. Palanque, Sandra Basnyat, David Navarre:
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40 - 2006
- [j2]David Navarre
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interact. Comput. 18(5): 910-941 (2006) - [c15]Eric Barboni, Stéphane Conversy, David Navarre
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS 2006: 25-38 - 2005
- [c14]David Navarre
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT 2005: 170-183 - 2004
- [c13]David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn:
Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. EHCI/DS-VIS 2004: 179-199 - [c12]Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic:
A model-based approach for real-time embedded multimodal systems in military aircrafts. ICMI 2004: 243-250 - 2003
- [j1]Rémi Bastide, David Navarre
A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15(3): 309-328 (2003) - [c11]Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel
Formal description of a multimodal interaction technique in an immersive virtual reality application. IHM 2003: 150-157 - 2002
- [c10]David Navarre, Philippe A. Palanque, Rémi Bastide:
Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216 - [c9]Rémi Bastide, David Navarre, Philippe A. Palanque:
A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517 - [c8]Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide:
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002: 208-222 - [c7]Xavier Lacaze, Philippe A. Palanque, David Navarre:
Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. IHM 2002: 17-24 - 2001
- [c6]David Navarre, Philippe A. Palanque, Fabio Paternò
A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS 2001: 88-113 - [c5]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping 2001: 136-141 - 2000
- [c4]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119 - [c3]Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque:
A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-395 - [c2]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
1990 – 1999
- 1999
- [c1]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre:
Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85
Coauthor Index
[j14] [c60] [j13] [j12] [j11] [c59] [c58] [c57] [j10] [c56] [c55] [c54] [c53] [c52] [c51] [j9] [c50] [c49] [c48] [c46] [j8] [c45] [c44] [j7] [j6] [c43] [c42] [c41] [c40] [c39] [c38] [j5] [c37] [c36] [c35] [c34] [c33] [j4] [c32] [c31] [c30] [c29] [c28] [c27] [j3] [c26] [c25] [c24] [c23] [p2] [c22] [c21] [p1] [c20] [c19] [c18] [c17] [c16] [j2] [c15] [c14] [c13] [c12] [j1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: