Search results for "David Navarre"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	David Navarre, Philippe A. 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.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Y. Deleris, Jean-Charles Fabre, C. Fayollas	Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.	PRDC	2011	DBLP DOI BibTeX RDF
1	Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler	A model-based approach for supporting engineering usability evaluation of interaction techniques.	EICS	2011	DBLP DOI BibTeX RDF
1	Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart	Model-based training: an approach supporting operability of critical interactive systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler	Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.	EICS	2010	DBLP DOI BibTeX RDF	task and systems models, tool support, models integration
1	Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler	Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction.	IHM	2010	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni	ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.	ACM Trans. Comput.-Hum. Interact.	2009	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Marco Winckler	Task Models and System Models as A Bridge Between Hci and Software Engineering.	Human-Centered Software Engineering	2009	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque	The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?	EICS	2009	DBLP DOI BibTeX RDF	engineering interactive systems, human-computer interaction, formal description techniques
1	Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler	Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.	IHM	2009	DBLP DOI BibTeX RDF	performance evaluation, interruptions, formal description techniques, model-based approaches
1	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
1	Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.	HCI	2009	DBLP DOI BibTeX RDF	reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping
1	Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler	Tailoring Usability into Agile Software Development Projects.	Maturing Usability	2008	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches
1	Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque	Improving Modularity of Interactive Software with the MDPC Architecture.	EHCI/DS-VIS	2007	DBLP DOI BibTeX RDF
1	Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre	Usability Study of Multi-modal Interfaces Using Eye-Tracking.	INTERACT	2007	DBLP DOI BibTeX RDF	two mice, Multimodal interfaces, speech, usability evaluation method
1	David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk	On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.	TAMODIA	2007	DBLP DOI BibTeX RDF	Scenarios based simulation, Task modelling, Model-based design, Dialog modelling
1	Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.	SIES	2007	DBLP DOI BibTeX RDF
1	Philippe A. Palanque, Sandra Basnyat, David Navarre	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.	USAB	2007	DBLP DOI BibTeX RDF	Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring
1	David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide	An approach integrating two complementary model-based environments for the construction of multimodal interactive applications.	Interacting with Computers	2006	DBLP DOI BibTeX RDF
1	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas	A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.	INTERACT	2005	DBLP DOI BibTeX RDF
1	David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn	Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	Interactive Systems Engineering, Post-WIMP, Formal methods, Prototyping, Multimodal interaction, CASE tools, formal description techniques
1	Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic	A model-based approach for real-time embedded multimodal systems in military aircrafts.	ICMI	2004	DBLP DOI BibTeX RDF	embedded systems, formal description techniques, model-based approaches
1	Rémi Bastide, David Navarre, Philippe A. Palanque	A tool-supported design framework for safety critical interactive systems.	Interacting with Computers	2003	DBLP DOI BibTeX RDF
1	Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel	Formal description of a multimodal interaction technique in an immersive virtual reality application.	IHM	2003	DBLP DOI BibTeX RDF	formal specification, interaction techniques, multimodal interfaces
1	Xavier Lacaze, Philippe A. Palanque, David Navarre	Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs.	IHM	2002	DBLP DOI BibTeX RDF	QOC, add on, performance analysis, task modelling, design rationale
1	David Navarre, Philippe A. Palanque, Rémi Bastide	Model-Based Interactive Prototyping of Highly Interactive Applications.	CADUI	2002	DBLP BibTeX RDF
1	Rémi Bastide, David Navarre, Philippe A. Palanque	A model-based tool for interactive prototyping of highly interactive applications.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	safety critical systems, formal description techniques, model-based approaches
1	Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide	Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide	A Tool Suite for Integrating Task and System Models through Scenarios.	DSV-IS	2001	DBLP DOI BibTeX RDF
1	Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque	A Formal Specification of the CORBA Event Service.	FMOODS	2000	DBLP BibTeX RDF
1	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre	Formal specification of CORBA services: experience and lessons learned.	OOPSLA	2000	DBLP DOI BibTeX RDF	distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	Structuring Interactive Systems Specifications for Executability and Prototypability.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre	Petri Net Based Behavioural Specification of CORBA Systems.	ICATPN	1999	DBLP DOI BibTeX RDF	behavioural specification, Distributed systems, CORBA, high-level Petri nets

Publications of "David Navarre" ( http://dblp.L3S.de/Authors/David_Navarre )