dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

David Navarre (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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 18(5): 910-941 (2006)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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: 170-183
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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: 179-199
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRé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: 243-250
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Bastide, David Navarre, Philippe A. Palanque: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3): 309-328 (2003)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier 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: 208-222
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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: 88-113
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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: 136-141
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85

Selection of 14 from 37 records - David Navarre has 24 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page