| 2024 | EICS | Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. | Axel Carayon, Camille Fayollas, Clia Martinie, David Navarre, Philippe A. Palanque |
| 2023 | EICS | Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? | David Navarre, Philippe A. Palanque, Clia Martinie |
| 2021 | ICMI | Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. | Philippe A. Palanque, David Navarre |
| 2021 | Interact | A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. | Clia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni |
| 2020 | ICST | Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. | Alexandre Canny, Philippe A. Palanque, David Navarre |
| 2019 | EICS | A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. | David Navarre, Philippe A. Palanque, Clia Martinie |
| 2019 | FM | Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. | Alexandre Canny, David Navarre, Jos Creissac Campos, Philippe A. Palanque |
| 2019 | FM | 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 |
| 2018 | EICS | TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. | Clia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny |
| 2017 | Interact | Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. | David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua |
| 2016 | EICS | Systematic automation of scenario-based testing of user interfaces. | Jos Creissac Campos, Camille Fayollas, Clia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto |
| 2016 | EICS | Engineering mixed-criticality interactive applications. | Camille Fayollas, Clia Martinie, David Navarre, Philippe A. Palanque |
| 2016 | EICS | PANDA: prototyping using annotation and decision analysis. | Jean-Luc Hak, Marco Winckler, David Navarre |
| 2015 | EICS | A generic tool-supported framework for coupling task models and interactive applications. | Clia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas |
| 2014 | EDCC | An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. | Camille Fayollas, Clia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre |
| 2014 | EICS | Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. | Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphal Andr, Eric Barboni, David Navarre |
| 2014 | EICS | Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. | Clia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan |
| 2014 | ICWE | Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. | Camille Fayollas, Clia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi |
| 2014 | PRDC | 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 |
| 2013 | SAFECOMP | Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. | Clia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini |
| 2011 | EICS | Model-based training: an approach supporting operability of critical interactive systems. | Clia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart |
| 2011 | EICS | A model-based approach for supporting engineering usability evaluation of interaction techniques. | Philippe A. Palanque, Eric Barboni, Clia Martinie, David Navarre, Marco Winckler |
| 2011 | PRDC | 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 |
| 2010 | EICS | Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. | Eric Barboni, Jean-Franois Ladry, David Navarre, Philippe A. Palanque, Marco Winckler |
| 2009 | EICS | 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 |
| 2009 | HCI | High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. | Philippe A. Palanque, Jean-Franois Ladry, David Navarre, Eric Barboni |
| 2009 | ICMI | Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. | Jean-Franois Ladry, David Navarre, Philippe A. Palanque |
| 2008 | SAFECOMP | A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. | David Navarre, Philippe A. Palanque, Sandra Basnyat |
| 2007 | Interact | Usability Study of Multi-modal Interfaces Using Eye-Tracking. | Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre |
| 2005 | Interact | A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. | David Navarre, Philippe A. Palanque, Rmi Bastide, Amlie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas |
| 2004 | ICMI | A model-based approach for real-time embedded multimodal systems in military aircrafts. | Rmi Bastide, David Navarre, Philippe A. Palanque, Amlie Schyn, Pierre Dragicevic |
| 2002 | CHI | A model-based tool for interactive prototyping of highly interactive applications. | Rmi Bastide, David Navarre, Philippe A. Palanque |
| 2001 | RSP | A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. | David Navarre, Philippe A. Palanque, Rmi Bastide, Ousmane Sy |
| 2000 | OOPSLA | Formal specification of CORBA services: experience and lessons learned. | Rmi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre |