Displaying 107 out of 107 publications (Excluding: Ph.D Theses, Habilitation Theses)

2024

  • International journals articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. Towards MBSE engineering dedicated to socio-technical interactive systems. CEAS Space Journal.

2023

  • International journals articlesNeeraj Kumar Singh, Yamine Aït-Ameur, Ismaël Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel. F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID. Journal of Software: Evolution and Process.

2022

  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque. Approche à base de modèles pour l’ingénierie des systèmes interactifs. Les Techniques de l'Ingenieur.
  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere. Engineering Operations-based Training. Proceedings of the ACM on Human-Computer Interaction. p:1-25.
  • International conferences articlesSandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez Hernando, Francesc Tinto. Operator-centered and model-based design for critical HMIS. 3rd Ground-Based Space Facilities Symposium (GBSF 2022). p:1-9.

2021

  • International journals articlesAlexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris. Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proceedings of the ACM on Human-Computer Interaction. p:1-30.
  • International journals articlesDavid Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interacting with Computers. p:73-91.
  • International conferences articlesCélia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni. A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:290-301. Springer.
  • International conferences articlesPhilippe Palanque, David Navarre. Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. 23rd ACM International Conference on Multimodal Interaction (ICMI 2021). p:781-787. ACM: Association for Computing Machinery.

2020

  • International conferences articlesAlexandre Canny, Philippe Palanque, David Navarre. Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020). p:95-104. IEEE.

2019

  • International journals articlesSven Coppers, Kris Luyten, Davy Vanacken, Philippe Palanque, David Navarre, Christine Gris. Fortunettes: Feedforward about the Future State of GUI Widgets. Proceedings of the ACM on Human-Computer Interaction. p:article20.
  • International conferences articlesDavid Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. 8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019. p:503-519. Springer International Publishing.
  • International conferences articlesDavid Navarre, Philippe Palanque, Célia Martinie. A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019. p:39-45. CEUR-WS.org.
  • International conferences articlesNeeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019). p:21-39.
  • International conferences articlesAlexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems (FMIS 2019). p:486-502.
  • International conferences articlesAlexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Christine Gris, Yannick Déléris. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. 12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019).
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Déléris. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration (INCOSE HSI 2019). p:1-9.

2018

  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny. TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018). p:1-7. ACM.

2017

  • International journals articlesJosé Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human-Computer Interaction vol:19. p:1-20. ACM SIGCHI.
  • International conferences articlesDavid Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua. Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:114-122. Springer.

2016

  • International conferences articlesJean-Luc Hak, Marco Winckler, David Navarre. PANDA: prototyping using annotation and decision analysis. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:171-176. ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. International Conference on Human-Computer Interaction in Aeronautics 2016 (HCI'Aero). ACM Digital Library.
  • International conferences articlesJosé Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. Systematic automation of scenario-based testing of user interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:138-148. ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. Engineering mixed-criticality interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:108-119. ACM Digital Library.

2015

  • International journals articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com vol:143. p:170-191. de Gruyter.
  • International conferences articlesMartina Ragosta, Célia Martinie, Philippe Palanque, David Navarre, Mark-Alexander Sujan. Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Camille Fayollas. A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). ACM Press.

2014

  • International journals articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming vol:86. p:3-29. Elsevier.
  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi. Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. Workshop on Distributed User Interfaces 2014 (DUI). ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Pacific Rim International Symposium on Dependable Computing 2014 (PRDC). p:21-30. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesArnaud Hamon, Philippe 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. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). p:173-178. ACM : Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan. Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, David Navarre. An approach for assessing the impact of dependability on usability: application to interactive cockpits. European Dependable Computing Conference 2014 (EDCC). p:198-209. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Déléris, Arnaud Hamon. A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems. European Conference on Embedded Real Time Software and Systems 2014 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • National conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Déléris. A fault-tolerant architecture for resilient interactive systems. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:80-90. ACM : Association for Computing Machinery.

2013

  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque. A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems. International Journal of Human-Computer Studies vol:2013.08. Elsevier.
  • International journals articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Déléris. Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach. International Journal of Critical Computer-Based Systems vol:43. p:202-226. Inderscience Publishers.
  • International conferences articlesCélia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre. Understanding functional resonance through a federation of models: preliminary findings of an avionics case study. International Conference on Computer Safety, Reliability and Security 2013 (SAFECOMP). p:216-227. Springer-Verlag.
  • International conferences articlesDavid Navarre, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta. Model-based dynamic distribution of user interfaces of critical interactive systems. International Conference on Application and Theory of Automation in Command and Control Systems 2013 (ATACCS). p:66-75. ACM : Association for Computing Machinery.

2012

  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Déléris. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Software Engineering for Resilient Systems 2012 (SERENE). p:32-46. Springer-Verlag.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart. Systematic Approaches to Training Encompassing Operators' mission and Interaction Techniques. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:112-134. Springer.
  • International conferences articlesDavid Navarre, Philippe Palanque. Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism. Workshop on Formal Methods in Human-Machine Interaction 2012 (Formal H). Formal H : workshop on Formal Methods in Human-Machine Interaction.
  • International conferences articlesArnaud Hamon, Philippe Palanque, David Navarre, Célia Martinie, Adrienne Tankeu Choitat, Eric Barboni. Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism. European Congress on Embedded Real-Time Software 2012 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • International conferences articlesArnaud Hamon, Philippe Palanque, Yannick Déléris, David Navarre, Eric Barboni. A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Erwann Poupart. A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite. International Conference on Space Operations 2012 (SpaceOps). American Institute of Aeronautics and Astronautics (AIAA).
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors. Safety and Reliability for managing Risk 2012 (ESREL). p:25-36. Taylor & Francis Group.
  • National conferences articlesCélia Martinie, Philippe 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. Conférence Francophone sur l'Interaction Homme-Machine 2012 (IHM). ACM Digital Library.
  • Conferences articles without published proceedingsMarco Winckler, Philippe Palanque, David Navarre. Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM. Workshop on HCI: Web and Graphics Curricula at WWW 2012.

2011

  • International journals articlesDavid Navarre, Philippe 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. Elsevier's Safety Science vol:96. p:38-52. Elsevier.
  • Books partsDavid Navarre, Philippe Palanque, Célia Martinie, Sandra Steere. Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. Ashgate Publishing.
  • International conferences articlesAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, Camille Fayollas. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. Pacific Rim International Symposium on Dependable Computing 2011 (PRDC). p:164-173. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems. IFIP WG 2.7/13.4 Workshop on User Interface Description Languages 2011 (UIDL). Thales Research and Technology.
  • International conferences articlesAdrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Déléris. Self-Checking Widgets for Interactive Cockpits. European Workshop on Dependable Computing 2011. p:34-42. ACM Digital Library.
  • International conferences articlesPhilippe Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler. A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:21-30. ACM Press.
  • International conferences articlesCélia Martinie, Philippe Palanque, Marco Winckler, David Navarre, Erwann Poupart. Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:589-609. Springer-Verlag.

2010

  • International conferences articlesPhilippe Palanque, Adrienne Tankeu Choitat, David Navarre. An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits. International Conference on Human-Computer Interaction in Aeronautics 2010 (HCI'Aero). p:120-130. ACM Digital Library.
  • International conferences articlesCélia Martinie, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an "intensive" Model-Based Development Approach. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:29-32. CEUR-WS : Workshop proceedings.
  • International conferences articlesJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre. Model-Based Usability Evaluation and Analysis of Interactive Techniques. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:21-24. CEUR-WS : Workshop proceedings.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Marco Winckler. A formal approach supporting effective and efficient training program for improving operators reliability. Safety and Reliability for managing Risk 2010 (ESREL). p:234-243. Taylor & Francis Group.
  • International conferences articlesEric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2010 (SIGCHI - EICS). p:143-152. ACM SIGCHI.
  • National conferences articlesJean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. ACM ISBN : 978-1-4503-0410-8. p:81-88. ACM Digital Library.

2009

  • International journals articlesDavid Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni. ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Transactions on Computer-Human Interaction vol:164. p:1-56. ACM SIGCHI.
  • Books partsDavid Navarre, Philippe Palanque, Marco Winckler. Task Models and System Models as a Bridge between HCI and Sofware Engineering. Human-Computer Interaction Series. p:357-385. Springer.
  • International conferences articlesJean-François Ladry, David Navarre, Philippe Palanque. Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:135-142. ACM : Association for Computing Machinery.
  • International conferences articlesPhilippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni. High-Fidelity Prototyping of Interactive Systems can be Formal too. HCI International 2009. p:21-30. Springer-Verlag.
  • National conferences articlesPhilippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler. Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:141-150. ACM Digital Library.
  • Conferences articles without published proceedingsPhilippe Palanque, David Navarre. Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering. EVAL-workshop at INTERACT 2009.

2008

  • Books partsRegina Bernhaupt, David Navarre, Philippe Palanque, Marco Winckler. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Human-Computer Interaction Series. p:96-122. Springer.
  • International conferences articlesSandra Steere, David Navarre, Philippe Palanque. Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. International Conference on Computer Safety, Reliability and Security 2008 (SAFECOMP). vol:LNCS. p:0-0. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Jean-François Ladry, Sandra Steere. An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). vol:LNCS. p:0-0. Springer-Verlag.
  • International conferences articlesJean-François Ladry, Philippe Palanque, Sandra Steere, Eric Barboni, David Navarre. Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). ACM : Association for Computing Machinery.

2007

  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre. From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management. p:155-172. Springer-Verlag.
  • International conferences articlesRegina Bernhaupt, Philippe Palanque, Marco Winckler, David Navarre. Usability Study of Multi-Modal Interfaces using Eye-Tracking. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). LNCSvol:24663. p:412-424. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Jean-François Ladry. Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems. IET International Conference on System Safety 2007. p:0-0. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesStephane Conversy, Eric Barboni, David Navarre, Philippe Palanque. Improving modularity of interactive software with the MDPC architecture. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). p:321-338. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design 2007 (TAMODIA). p:0-0. Springer-Verlag.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE International Symposium on Industrial Embedded Systems 2007 (SIES). 1-4244-0840-7. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesPhilippe Palanque, Sandra Steere, David Navarre. Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare. Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society 2007 (USAB). p:21-40. Springer.

2006

  • International journals articlesDavid Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide. An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers vol:185. p:910-941. Elsevier.
  • International conferences articlesPhilippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Winckler. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. International Conference on Space Operations 2006 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
  • International conferences articlesEric Barboni, Stephane Conversy, David Navarre, Philippe Palanque. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems 2006 (DSV-IS). LNCS. p:25-38. Springer-Verlag.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. International Conference on Human-Computer Interaction in Aeronautics 2006 (HCI'Aero). Cépaduès.

2005

  • Books partsRémi Bastide, David Navarre, Philippe Palanque. Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. Idea Group Reference Pub.
  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre. Design Rationale for Increasing Profitability of Interactive Systems Development. p:15. Idea Group Reference.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Freitas. A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. IFIP TC 13 International Conference on Human-Computer Interaction 2005 (INTERACT). p:170-183. Springer-Verlag.
  • International conferences articlesRémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo. Can we Rationalise the Design and Construction of Air Traffic Management Systems. HCI International 2005. TBD.
  • International conferences articlesRémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette. Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit. HCI International 2005. TBD.
  • International conferences articlesSandra Steere, David Navarre, Philippe Palanque. Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance. 2nd Workshop on Complexity in Design and Engineering 2005. p:45-58. GIST Technical Report G2005-1.
  • Conferences articles without published proceedingsDavid Navarre, Philippe Palanque, Rémi Bastide, Marco Winckler. What User Interface Tools are needed for Safety Critical Interactive Systems?. CHI 2005 Workshop : The Future of User Interface Design Tools.

2004

  • International conferences articlesMourad Ould, Philippe Palanque, Amélie Schyn, Rémi Bastide, David Navarre. Multimodal and 3D Graphic Man Machine Interfaces to improve Operations. SpaceOps'2004 - Eighth International Conference on Space Operations. Canadian Space Agency.
  • International conferences articlesRémi Bastide, David Navarre, Philippe Palanque, Amélie Schyn, Pierre Dragicevic. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. ICMI 2004 - Sixth International Conference on Multimodal Interfaces. p:243-250. ACM Press.
  • International conferences articlesPierre Dragicevic, David Navarre, Philippe Palanque, Amélie Schyn, Rémi Bastide. Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems. IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) 2004 (EHCI-DSVIS). LNCS3425. p:185-206. Springer.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. International Conference on Human-Computer Interaction in Aeronautics 2004 (HCI'Aero). EURISCO International.

2003

  • International journals articlesRémi Bastide, David Navarre, Philippe Palanque. A tool-supported design framework for safety critical interactive systems. Interacting with Computers vol:153. p:309-328. Elsevier.
  • Books partsDavid Navarre, Rémi Bastide, Philippe Palanque. Notations en IHM pour une modélisation synergique des tâches et du système. Hermès.
  • International conferences articlesAmélie Schyn, David Navarre, Philippe Palanque, Luciana Porcher Nedel. Description Formelle d¿une Technique d¿Interaction Multimodale dans une Application de Réalité Virtuelle Immersive. IHM'2003 : 15th French Speaking conference on human-computer interaction. p:150-157. ACM Press.
  • International conferences articlesLuciana Porcher Nedel, Carla Freitas, Amélie Schyn, David Navarre, Philippe Palanque. Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?. VI Symposium on Virtual Reality 2003. p:81-92. SBC - Brazilian Computer Society.
  • International conferences articlesEric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque. Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 - 10th Workshop Algorithms and Tools for Petri Nets. ---.

2002

  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. International Conference on Human-Computer Interaction in Aeronautics 2002 (HCI'Aero). p:23-29. EURISCO International.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide. Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI'2002 - 4th International Conference on Computer-Aided Design of User Interfaces. Kluwer.
  • International conferences articlesRémi Bastide, Philippe Palanque, David Navarre. A Model Based Tool for Interactive Prototyping of Highly Interactive Applications. CHI'2002 - ACM Conference on Human Factors in Computing Systems. ACM Press.
  • International conferences articlesXavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002 - 9th International Workshop, Design Specification and Verification of Interactive Systems. p:208-222. Springer, Lecture notes in Computer Science 2545.
  • National conferences articlesXavier Lacaze, Philippe Palanque, David Navarre. Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs. 14ème conférence francophone en Interaction Homme Machine, IHM 2002. p:17-24. ACM Press.

2001

  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Ousmane Sy. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. RSP'01 - 12th IEEE International Workshop on Rapid System Prototyping 2001. IEEE.
  • International conferences articlesDavid Navarre, Philippe Palanque, Rémi Bastide, Fabio Paternò, Carmen Santoro. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001 - 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems. Springer, Lecture Notes in Computer Science 2220.

2000

  • International conferences articlesPhilippe Palanque, Michel Galindo, David Navarre, Rémi Bastide, Ousmane Sy. Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety. Workshop on Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 - Workshop within HCI-Aero 2000. p:41-47. European Institute of Cognitive Science and Engineering.