The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Navarre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Petri Net Based Behavioural Specification of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:66-85 [Conf]
  2. David Navarre, Philippe A. Palanque, Rémi Bastide
    Model-Based Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    CADUI, 2002, pp:205-216 [Conf]
  3. Rémi Bastide, David Navarre, Philippe A. Palanque
    A model-based tool for interactive prototyping of highly interactive applications. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2002, pp:516-517 [Conf]
  4. Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide
    Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2002, pp:208-222 [Conf]
  5. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    Structuring Interactive Systems Specifications for Executability and Prototypability. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:97-119 [Conf]
  6. David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
    A Tool Suite for Integrating Task and System Models through Scenarios. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2001, pp:88-113 [Conf]
  7. Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
    Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:25-38 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    EHCI/DS-VIS, 2004, pp:179-199 [Conf]
  9. Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
    A Formal Specification of the CORBA Event Service. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:371-396 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    ICMI, 2004, pp:243-250 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:170-183 [Conf]
  12. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
    Formal specification of CORBA services: experience and lessons learned. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2000, pp:105-117 [Conf]
  13. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:136-141 [Conf]
  14. Rémi Bastide, David Navarre, Philippe A. Palanque
    A tool-supported design framework for safety critical interactive systems. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2003, v:15, n:3, pp:309-328 [Journal]
  15. 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. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2006, v:18, n:5, pp:910-941 [Journal]
  16. Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre
    Usability Study of Multi-modal Interfaces Using Eye-Tracking. [Citation Graph (0, 0)][DBLP]
    INTERACT (2), 2007, pp:412-424 [Conf]
  17. Philippe A. Palanque, Sandra Basnyat, David Navarre
    Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. [Citation Graph (0, 0)][DBLP]
    USAB, 2007, pp:21-40 [Conf]

  18. An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. [Citation Graph (, )][DBLP]


  19. High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. [Citation Graph (, )][DBLP]


  20. Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. [Citation Graph (, )][DBLP]


  21. A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. [Citation Graph (, )][DBLP]


  22. On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. [Citation Graph (, )][DBLP]


  23. A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. [Citation Graph (, )][DBLP]


  24. Formal description of a multimodal interaction technique in an immersive virtual reality application. [Citation Graph (, )][DBLP]


  25. Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. [Citation Graph (, )][DBLP]


  26. Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. [Citation Graph (, )][DBLP]


  27. The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? [Citation Graph (, )][DBLP]


  28. Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002