David Navarre

Célia Martinie, David Navarre, Alexandre Canny, 2019, 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

Systematic automation of scenario-based testing of user interfaces

Philippe A. Palanque, Célia Martinie, José Creissac Campos, 2016, EICS.

Model-based training: an approach supporting operability of critical interactive systems

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2011, EICS '11.

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2011, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2012, HCSE.

Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification

Marco Winckler, Regina Bernhaupt, Philippe Palanque, 2006 .

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems

Philippe A. Palanque, Célia Martinie, Martina Ragosta, 2015, ATACCS '15.

Model-Based Interactive Prototyping of Highly Interactive Applications

Philippe A. Palanque, Rémi Bastide, David Navarre, 2002, CADUI.

Description Formelle d’une Technique d’Interaction Multimodale dans une Application de Réalité Virtuelle Immersive

Philippe Palanque, David Navarre, Luciana Nedel, 2003 .

Analyse de performance et modéles de Tâches comme support à la conception rationnelle des systèmes interactifs

Philippe A. Palanque, David Navarre, Xavier Lacaze, 2002, IHM '02.

Self-checking widgets for interactive cockpits

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2011, EWDC '11.

Structuring Interactive Systems Specifications for Executability and Prototypability

Philippe A. Palanque, Rémi Bastide, Ousmane Sy, 2000, DSV-IS.

Petri Net Based Behavioural Specification of CORBA Systems

Philippe A. Palanque, Rémi Bastide, Ousmane Sy, 1999, ICATPN.

A fault-tolerant architecture for resilient interactive systems

Eric Barboni, Philippe A. Palanque, Jean-Charles Fabre, 2014, IHM.

Engineering Interactive Systems Through Formal Methods for Both Tasks and System Models

Rémi Bastide, Philippe Palanque, David Navarre, 2001 .

A Formal Specification of the CORBA Event Service

Philippe A. Palanque, Rémi Bastide, Ousmane Sy, 2000, FMOODS.

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications

Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide, 2006, Interact. Comput..

Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems

Philippe Palanque, David Navarre, Jean-François Ladry, 2007 .

Design Rationale for Increasing Profitability of Interactive Systems Development

Eric Barboni, Philippe Palanque, David Navarre, 2006 .

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Philippe A. Palanque, Dominique Méry, Marc Pantel, 2019, FTSCS.

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2018, EICS.

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems

Philippe A. Palanque, Rémi Bastide, David Navarre, 2002, DSV-IS.

From DREAM to Reality: Specificities of Interactive Systems Development With Respect To Rationale Management

Eric Barboni, Philippe Palanque, David Navarre, 2006 .

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2008, DSV-IS.

Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces

Eric Barboni, Sandra Basnyat, Philippe Palanque, 2008 .

Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description

Eric Barboni, Elodie Bouzekri, David Navarre, 2019 .

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces

Philippe A. Palanque, Célia Martinie, David Navarre, 2014, DUI '14.

A model-based approach for real-time embedded multimodal systems in military aircrafts

Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide, 2004, ICMI '04.

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems

Philippe A. Palanque, Célia Martinie, David Navarre, 2014, Int. J. Hum. Comput. Stud..

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs

Marco Winckler, Eric Barboni, Philippe A. Palanque, 2009, IHM '09.

A tool-supported design framework for safety critical interactive systems

Philippe A. Palanque, Rémi Bastide, David Navarre, 2003, Interact. Comput..

Model-Based Usability Evaluation and Analysis of Interactive Techniques

Eric Barboni, Philippe Palanque, David Navarre, 2010 .

A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661

Eric Barboni, Philippe A. Palanque, Sandra Basnyat, 2007, 2007 International Symposium on Industrial Embedded Systems.

A model-based tool for interactive prototyping of highly interactive applications

Philippe A. Palanque, Rémi Bastide, Ousmane Sy, 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Marco Winckler, Eric Barboni, Célia Martinie, 2014, Sci. Comput. Program..

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2014, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing.

A model-based tool for interactive prototyping of highly interactive applications

Philippe A. Palanque, Rémi Bastide, David Navarre, 2002, CHI Extended Abstracts.

Engineering mixed-criticality interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2016, EICS.

Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions

Eric Barboni, Philippe A. Palanque, Arnaud Hamon, 2014, EICS '14.

Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification

Eric Barboni, Philippe A. Palanque, Stéphane Conversy, 2006, DSV-IS.

Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems

Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide, 2004, EHCI/DS-VIS.

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach

Philippe A. Palanque, Jean-Charles Fabre, David Navarre, 2012, SERENE.

Formal Description Techniques for Human–Machine Interfaces: Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

Marco Winckler, Célia Martinie, Philippe Palanque, 2017 .

Multi-Touch interactions for control and display in interactive cockpits: issues and a proposal

Eric Barboni, Arnaud Hamon, David Navarre, 2014 .

A generic tool-supported framework for coupling task models and interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2015, EICS.

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts

Célia Martinie, David Navarre, Philippe Palanque, 2019, EICS Workshops.

Fortunettes

Philippe A. Palanque, Philippe Palanque, Kris Luyten, 2019, Proc. ACM Hum. Comput. Interact..

A Tool Suite for Integrating Task and System Models through Scenarios

Philippe A. Palanque, Rémi Bastide, Fabio Paternò, 2001, DSV-IS.

Tailoring Usability into Agile Software Development Projects

Marco Winckler, Philippe A. Palanque, Regina Bernhaupt, 2008, Maturing Usability.

A model-based approach for supporting engineering usability evaluation of interaction techniques

Marco Winckler, Eric Barboni, Philippe A. Palanque, 2011, EICS '11.

Interactive cockpits as critical applications: a model-based and a fault-tolerant approach

Philippe A. Palanque, David Navarre, Philippe Palanque, 2013, Int. J. Crit. Comput. Based Syst..

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

Eric Barboni, Philippe A. Palanque, David Navarre, 2009, HCI.

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2007, USAB.

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

Philippe A. Palanque, David Navarre, 2009, EICS '09.

PANDA: prototyping using annotation and decision analysis

Marco Winckler, David Navarre, Jean-Luc Hak, 2016, EICS.

Reconciling Safety and Usability Concerns through Formal Specification-based Development Process

Rémi Bastide, Philippe Palanque, David Navarre, 2002 .

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces

Philippe A. Palanque, David Navarre, Jean-François Ladry, 2009, ICMI-MLMI '09.

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study

Philippe A. Palanque, Célia Martinie, Alberto Pasquini, 2013, SAFECOMP.

Model-based dynamic distribution of user interfaces of critical interactive systems

Philippe A. Palanque, Célia Martinie, Alberto Pasquini, 2013, ATACCS.

Formal description of a multimodal interaction technique in an immersive virtual reality application

Philippe A. Palanque, Luciana Porcher Nedel, David Navarre, 2003, IHM '03.

Towards an incremental development of discrete-event simulators for batch plants: Use of object-oriented concepts

Serge Domenech, Luc Pibouleau, Catherine Azzaro-Pantel, 1999 .

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

Philippe A. Palanque, Sandra Basnyat, David Navarre, 2008, SAFECOMP.

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits

Philippe A. Palanque, Célia Martinie, Jean-Charles Fabre, 2014, 2014 Tenth European Dependable Computing Conference.

Task Models and System Models as A Bridge Between Hci and Software Engineering

Marco Winckler, Philippe A. Palanque, David Navarre, 2009, Human-Centered Software Engineering.

Engineering Model-Based Software Testing of WIMP Interactive Applications

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2021, Proc. ACM Hum. Comput. Interact..

Model-based Engineering of Feedforward Usability Function for GUI Widgets

Philippe A. Palanque, Kris Luyten, David Navarre, 2021, Interact. Comput..

Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction

Philippe Palanque, David Navarre, 2021, ICMI.