Petri Net Based Behavioural Specification of CORBA Systems. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; Duc-Hoa Le; David Navarre (ICATPN, 1999)

Structuring Interactive Systems Specifications for Executability and Prototypability. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (DSV-IS, 2000)

A Formal Specification of the CORBA Event Service. - Rémi Bastide; Ousmane Sy; David Navarre; Philippe A. Palanque (FMOODS, 2000)

Formal specification of CORBA services: experience and lessons learned. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; David Navarre (OOPSLA, 2000)

A Tool Suite for Integrating Task and System Models through Scenarios. - David Navarre; Philippe A. Palanque; Fabio Paternò; Carmen Santoro; Rémi Bastide (DSV-IS, 2001)

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (IEEE International Workshop on Rapid System Prototyping, 2001)

Model-Based Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide (CADUI, 2002)

A model-based tool for interactive prototyping of highly interactive applications. - Rémi Bastide; David Navarre; Philippe A. Palanque (CHI Extended Abstracts, 2002)

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. - Xavier Lacaze; Philippe A. Palanque; David Navarre; Rémi Bastide (DSV-IS, 2002)

Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. - Xavier Lacaze; Philippe A. Palanque; David Navarre (IHM, 2002)

Formal description of a multimodal interaction technique in an immersive virtual reality application. - Amélie Schyn; David Navarre; Philippe A. Palanque; Luciana Porcher Nedel (IHM, 2003)

A tool-supported design framework for safety critical interactive systems. - Rémi Bastide; David Navarre; Philippe A. Palanque (Interact. Comput., 2003)

Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. - David Navarre; Pierre Dragicevic; Philippe A. Palanque; Rémi Bastide; Amélie Schyn (EHCI/DS-VIS, 2004)

A model-based approach for real-time embedded multimodal systems in military aircrafts. - Rémi Bastide; David Navarre; Philippe A. Palanque; Amélie Schyn; Pierre Dragicevic (ICMI, 2004)

A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Amélie Schyn; Marco Winckler; Luciana Porcher Nedel; Carla Maria Dal Sasso Freitas (INTERACT, 2005)

Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. - Eric Barboni; Stéphane Conversy; David Navarre; Philippe A. Palanque (DSV-IS, 2006)

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. - David Navarre; Philippe A. Palanque; Pierre Dragicevic; Rémi Bastide (Interact. Comput., 2006)

Improving Modularity of Interactive Software with the MDPC Architecture. - Stéphane Conversy; Eric Barboni; David Navarre; Philippe A. Palanque (EHCI/DS-VIS, 2007)

Usability Study of Multi-modal Interfaces Using Eye-Tracking. - Regina Bernhaupt; Philippe A. Palanque; Marco Winckler; David Navarre (INTERACT (2), 2007)

A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. - Eric Barboni; David Navarre; Philippe A. Palanque; Sandra Basnyat (SIES, 2007)

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. - David Navarre; Philippe A. Palanque; Eric Barboni; Tomasz Mistrzyk (TAMODIA, 2007)

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. - Philippe A. Palanque; Sandra Basnyat; David Navarre (USAB, 2007)

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Sandra Basnyat (DSV-IS, 2008)

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. - David Navarre; Philippe A. Palanque; Sandra Basnyat (SAFECOMP, 2008)

Tailoring Usability into Agile Software Development Projects. - Regina Bernhaupt; David Navarre; Philippe A. Palanque; Marco Winckler (Maturing Usability, 2008)

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? - David Navarre; Philippe A. Palanque (EICS, 2009)

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. - Philippe A. Palanque; Jean-François Ladry; David Navarre; Eric Barboni (HCI (1), 2009)

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. - Jean-François Ladry; David Navarre; Philippe A. Palanque (ICMI, 2009)

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. - Philippe A. Palanque; Jean-François Ladry; Eric Barboni; David Navarre; Marco Winckler (IHM, 2009)

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Eric Barboni (ACM Trans. Comput. Hum. Interact., 2009)

Task Models and System Models as A Bridge Between Hci and Software Engineering. - David Navarre; Philippe A. Palanque; Marco Winckler (Human-Centered Software Engineering, 2009)

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. - Eric Barboni; Jean-François Ladry; David Navarre; Philippe A. Palanque; Marco Winckler (EICS, 2010)

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. - Jean-François Ladry; Philippe A. Palanque; David Navarre; Eric Barboni; Marco Winckler (IHM, 2010)

Model-based training: an approach supporting operability of critical interactive systems. - Célia Martinie; Philippe A. Palanque; David Navarre; Marco Winckler; Erwann Poupart (EICS, 2011)

A model-based approach for supporting engineering usability evaluation of interaction techniques. - Philippe A. Palanque; Eric Barboni; Célia Martinie; David Navarre; Marco Winckler (EICS, 2011)

Self-checking widgets for interactive cockpits. - A. Tankeu-Choitat; Jean-Charles Fabre; Philippe A. Palanque; David Navarre; Yannick Deleris (EWDC, 2011)

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. - A. Tankeu-Choitat; David Navarre; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; Camille Fayollas (PRDC, 2011)

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. - David Navarre; Philippe A. Palanque; Eric Barboni; Jean-François Ladry; Célia Martinie (Reliab. Eng. Syst. Saf., 2011)

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. - Célia Martinie; Philippe A. Palanque; David Navarre; Eric Barboni; Marco Winckler (Ergo'IHM, 2012)

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. - Célia Martinie; Philippe A. Palanque; David Navarre; Eric Barboni (HCSE, 2012)

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. - Camille Fayollas; Jean-Charles Fabre; David Navarre; Philippe A. Palanque; Yannick Deleris (SERENE, 2012)

Model-based dynamic distribution of user interfaces of critical interactive systems. - David Navarre; Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta (ATACCS, 2013)

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Mark-Alexander Sujan; David Navarre; Alberto Pasquini (SAFECOMP, 2013)

Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Eric Barboni; David Navarre; Yannick Deleris (Int. J. Crit. Comput. Based Syst., 2013)

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; David Navarre (EDCC, 2014)

Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. - Arnaud Hamon; Philippe A. Palanque; Martin Cronel; Raphaël André; Eric Barboni; David Navarre (EICS, 2014)

Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. - Célia Martinie; Eric Barboni; David Navarre; Philippe A. Palanque; Racim Fahssi; Erwann Poupart; Eliane Cubero-Castan (EICS, 2014)

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Racim Fahssi (DUI@ICWE, 2014)

A fault-tolerant architecture for resilient interactive systems. - Camille Fayollas; Philippe A. Palanque; Jean-Charles Fabre; David Navarre; Eric Barboni; Martin Cronel; Yannick Deleris (IHM, 2014)

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (PRDC, 2014)

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. - Célia Martinie; David Navarre; Philippe A. Palanque (Int. J. Hum. Comput. Stud., 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. - Eric Barboni; Célia Martinie; David Navarre; Philippe A. Palanque; Marco Winckler (Sci. Comput. Program., 2014)

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. - Martina Ragosta; Célia Martinie; Philippe A. Palanque; David Navarre; Mark-Alexander Sujan (ATACCS, 2015)

A generic tool-supported framework for coupling task models and interactive applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Camille Fayollas (EICS, 2015)

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (i-com, 2015)

Systematic automation of scenario-based testing of user interfaces. - José Creissac Campos; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (EICS, 2016)

Engineering mixed-criticality interactive applications. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS, 2016)

PANDA: prototyping using annotation and decision analysis. - Jean-Luc Hak; Marco Winckler; David Navarre (EICS, 2016)

A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (HCI-Aero, 2016)

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. - David Navarre; Philippe A. Palanque; Arnaud Hamon; Sabrina Della Pasqua (INTERACT Workshops, 2017)

A More Intelligent Test Case Generation Approach through Task Models Manipulation. - José Creissac Campos; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (Proc. ACM Hum. Comput. Interact., 2017)

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Alexandre Canny (EICS, 2018)

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. - David Navarre; Philippe A. Palanque; Célia Martinie (EICS Workshops, 2019)

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. - Alexandre Canny; David Navarre; José Creissac Campos; Philippe A. Palanque (FM Workshops (1), 2019)

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. - David Navarre; Philippe A. Palanque; Sven Coppers; Kris Luyten; Davy Vanacken (FM Workshops (1), 2019)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (FTSCS, 2019)

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. - Alexandre Canny; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Christine Gris; Yannick Deleris (iThings/GreenCom/CPSCom/SmartData, 2019)

Fortunettes: Feedforward about the Future State of GUI Widgets. - Sven Coppers; Kris Luyten; Davy Vanacken; David Navarre; Philippe A. Palanque; Christine Gris (Proc. ACM Hum. Comput. Interact., 2019)

Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. - Alexandre Canny; Philippe A. Palanque; David Navarre (ICST Workshops, 2020)

Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. - Philippe A. Palanque; David Navarre (ICMI, 2021)

A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. - Célia Martinie; Philippe A. Palanque; Sandra Steere; David Navarre; Eric Barboni (INTERACT (Workshops), 2021)

Model-based Engineering of Feedforward Usability Function for GUI Widgets. - David Navarre; Philippe A. Palanque; Sven Coppers; Kris Luyten; Davy Vanacken (Interact. Comput., 2021)

Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. - Alexandre Canny; Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Christine Gris (Proc. ACM Hum. Comput. Interact., 2021)

Engineering Operations-based Training. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Sandra Steere (Proc. ACM Hum. Comput. Interact., 2022)

Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? - David Navarre; Philippe A. Palanque; Célia Martinie (EICS (Workshops), 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)

Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. - Axel Carayon; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS (Workshops), 2024)