Search the dblp DataBase

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]