David Navarre - RankMe

77 papers A 1B 6C 3Misc 12Journal 14Unranked 39

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. EICS (Workshops) Axel Carayon, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2023	—	`conf`	Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? EICS (Workshops) David Navarre, Philippe A. Palanque, Célia Martinie
2023	J	`jnl`	F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2022	J	`jnl`	Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere
2021	—	`conf`	A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. INTERACT (Workshops) Célia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni
2021	B	`conf`	Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. ICMI Philippe A. Palanque, David Navarre
2021	J	`jnl`	Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proc. ACM Hum. Comput. Interact. Alexandre Canny, Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris
2021	J	`jnl`	Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interact. Comput. David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
2020	—	`conf`	Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. ICST Workshops Alexandre Canny, Philippe A. Palanque, David Navarre
2019	—	`conf`	A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. EICS Workshops David Navarre, Philippe A. Palanque, Célia Martinie
2019	—	`conf`	Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Christine Gris, Yannick Deleris
2019	—	`conf`	Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2019	—	`conf`	Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. FM Workshops (1) David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
2019	J	`jnl`	Fortunettes: Feedforward about the Future State of GUI Widgets. Proc. ACM Hum. Comput. Interact. Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe A. Palanque, Christine Gris
2019	—	`conf`	Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
2018	Misc	`conf`	TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. EICS Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny
2017	J	`jnl`	A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2017	—	`conf`	Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. INTERACT Workshops David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua
2016	—	`conf`	A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. HCI-Aero Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2016	Misc	`conf`	Engineering mixed-criticality interactive applications. EICS Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2016	Misc	`conf`	PANDA: prototyping using annotation and decision analysis. EICS Jean-Luc Hak, Marco Winckler, David Navarre
2016	Misc	`conf`	Systematic automation of scenario-based testing of user interfaces. EICS José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2015	J	`jnl`	A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2015	Misc	`conf`	A generic tool-supported framework for coupling task models and interactive applications. EICS Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas
2015	—	`conf`	Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. ATACCS Martina Ragosta, Célia Martinie, Philippe A. Palanque, David Navarre, Mark-Alexander Sujan
2014	C	`conf`	A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. PRDC Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2014	—	`conf`	A fault-tolerant architecture for resilient interactive systems. IHM Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
2014	J	`jnl`	A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Int. J. Hum. Comput. Stud. Célia Martinie, David Navarre, Philippe A. Palanque
2014	Misc	`conf`	An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. EDCC Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
2014	J	`jnl`	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. Eric Barboni, Célia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler
2014	—	`conf`	Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. DUI@ICWE Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi
2014	Misc	`conf`	Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. EICS Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
2014	Misc	`conf`	Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. EICS Célia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
2013	J	`jnl`	Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. Int. J. Crit. Comput. Based Syst. Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris
2013	—	`conf`	Model-based dynamic distribution of user interfaces of critical interactive systems. ATACCS David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta
2013	B	`conf`	Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. SAFECOMP Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini
2012	—	`conf`	A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni
2012	—	`conf`	Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris
2012	—	`conf`	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 Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
2011	Misc	`conf`	A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler
2011	J	`jnl`	Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie
2011	Misc	`conf`	Model-based training: an approach supporting operability of critical interactive systems. EICS Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart
2011	C	`conf`	Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
2011	—	`conf`	Self-checking widgets for interactive cockpits. EWDC A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris
2010	Misc	`conf`	Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler
2010	—	`conf`	Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
2009	B	`conf`	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ICMI Jean-François Ladry, David Navarre, Philippe A. Palanque
2009	—	`conf`	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni
2009	J	`jnl`	ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni
2009	—	`ch.`	Task Models and System Models as A Bridge Between Hci and Software Engineering. Human-Centered Software Engineering David Navarre, Philippe A. Palanque, Marco Winckler
2009	Misc	`conf`	The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? EICS David Navarre, Philippe A. Palanque
2009	—	`conf`	Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler
2008	B	`conf`	A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP David Navarre, Philippe A. Palanque, Sandra Basnyat
2008	—	`conf`	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat
2008	—	`ch.`	Tailoring Usability into Agile Software Development Projects. Maturing Usability Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler
2007	—	`conf`	A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat
2007	—	`conf`	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB Philippe A. Palanque, Sandra Basnyat, David Navarre
2007	—	`conf`	Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque
2007	—	`conf`	On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk
2007	—	`conf`	Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre
2006	J	`jnl`	An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interact. Comput. David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide
2006	—	`conf`	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
2005	B	`conf`	A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas
2004	B	`conf`	A model-based approach for real-time embedded multimodal systems in military aircrafts. ICMI Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic
2004	—	`conf`	Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. EHCI/DS-VIS David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn
2003	J	`jnl`	A tool-supported design framework for safety critical interactive systems. Interact. Comput. Rémi Bastide, David Navarre, Philippe A. Palanque
2003	—	`conf`	Formal description of a multimodal interaction technique in an immersive virtual reality application. IHM Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel
2002	—	`conf`	A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts Rémi Bastide, David Navarre, Philippe A. Palanque
2002	—	`conf`	Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. IHM Xavier Lacaze, Philippe A. Palanque, David Navarre
2002	—	`conf`	Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI David Navarre, Philippe A. Palanque, Rémi Bastide
2002	—	`conf`	Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide
2001	C	`conf`	A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
2001	—	`conf`	A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
2000	—	`conf`	A Formal Specification of the CORBA Event Service. FMOODS Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
2000	A	`conf`	Formal specification of CORBA services: experience and lessons learned. OOPSLA Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
2000	—	`conf`	Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
1999	—	`conf`	Petri Net Based Behavioural Specification of CORBA Systems. ICATPN Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre