David Navarre

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 21

Top Topics

Interactive Systems

Safety Critical

Top Venues

Proc. ACM Hum. Comput. Interact.

FM Workshops (1)

iThings/GreenCom/CPSCom/SmartData

Publications

David Navarre, Philippe A. Palanque, Célia Martinie
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? EICS (Workshops) (2023)
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35 (7) (2023)
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. 6 (EICS) (2022)
David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interact. Comput. 33 (1) (2021)
Célia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. INTERACT (Workshops) (2021)
Philippe A. Palanque, David Navarre
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. ICMI (2021)
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) (2021)
Alexandre Canny, Philippe A. Palanque, David Navarre
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. ICST Workshops (2020)
Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe A. Palanque, Christine Gris
Fortunettes: Feedforward about the Future State of GUI Widgets. Proc. ACM Hum. Comput. Interact. 3 (EICS) (2019)
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)
David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. FM Workshops (1) (2019)
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) (2019)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS (2019)
Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Christine Gris, Yannick Deleris
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData (2019)
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. EICS (2018)
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1 (EICS) (2017)
David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. INTERACT Workshops (2017)
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)
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces. EICS (2016)
Jean-Luc Hak, Marco Winckler, David Navarre
PANDA: prototyping using annotation and decision analysis. EICS (2016)
Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
Engineering mixed-criticality interactive applications. EICS (2016)
Martina Ragosta, Célia Martinie, Philippe A. Palanque, David Navarre, Mark-Alexander Sujan
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. ATACCS (2015)
Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas
A generic tool-supported framework for coupling task models and interactive applications. EICS (2015)
Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
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) (2015)
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)
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)
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)
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)
Eric Barboni, Célia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler
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 (2014)
Célia Martinie, David Navarre, Philippe A. Palanque
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Int. J. Hum. Comput. Stud. 72 (1) (2014)
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. PRDC (2014)
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)
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) (2013)
Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. SAFECOMP (2013)
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)
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE (2012)
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)
Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE (2012)
A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC (2011)
David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. 96 (1) (2011)
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)
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)
A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris
Self-checking widgets for interactive cockpits. EWDC (2011)
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)
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)
Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) (2009)
David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16 (4) (2009)
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)
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)
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)
David Navarre, Philippe A. Palanque, Sandra Basnyat
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP (2008)
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)
Philippe A. Palanque, Sandra Basnyat, David Navarre
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB (2007)
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)
Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre
Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) (2007)
Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque
Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS (2007)
Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES (2007)
Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS (2006)
David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interact. Comput. 18 (5) (2006)
David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT (2005)
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)
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)
Rémi Bastide, David Navarre, Philippe A. Palanque
A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15 (3) (2003)
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)
Rémi Bastide, David Navarre, Philippe A. Palanque
A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts (2002)
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)
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)
David Navarre, Philippe A. Palanque, Rémi Bastide
Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI (2002)
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)
David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS (2001)
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
A Formal Specification of the CORBA Event Service. FMOODS (2000)
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS (2000)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
Formal specification of CORBA services: experience and lessons learned. OOPSLA (2000)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
Petri Net Based Behavioural Specification of CORBA Systems. ICATPN (1999)