- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c33 |      | Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni: A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE 2012: 72-93 |
| c32 | | Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris: Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE 2012: 32-46 |
| 2011 | ||
| j4 | | 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 96(1): 38-52 (2011) |
| c31 | | 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: 21-30 |
| c30 | | 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: 53-62 |
| c29 | | A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas: Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC 2011: 164-173 |
| 2010 | ||
| c28 | | 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: 165-174 |
| c27 | | 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: 81-88 |
| 2009 | ||
| j3 | | 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. 16(4) (2009) |
| c26 | | 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: 155-156 |
| c25 | | Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni: High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676 |
| c24 | | 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: 185-192 |
| c23 | | 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: 141-150 |
| p2 | | 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: 357-385 |
| 2008 | ||
| c22 | | 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: 208-224 |
| c21 | | David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386 |
| p1 | | Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler: Tailoring Usability into Agile Software Development Projects. Maturing Usability 2008: 96-119 |
| 2007 | ||
| c20 | | Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque: Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338 |
| c19 | | Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre: Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424 |
| c18 | | Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257 |
| c17 | | 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: 140-154 |
| c16 | | Philippe A. Palanque, Sandra Basnyat, David Navarre: Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40 |
| 2006 | ||
| j2 | | 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 18(5): 910-941 (2006) |
| c15 | | 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: 25-38 |
| 2005 | ||
| c14 | | 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: 170-183 |
| 2004 | ||
| c13 | | 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: 179-199 |
| c12 | | 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: 243-250 |
| 2003 | ||
| j1 | | Ré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) |
| c11 | | 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: 150-157 |
| 2002 | ||
| c10 |  | David Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216 |
| c9 | | Rémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517 |
| c8 | | 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: 208-222 |
| c7 | | 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: 17-24 |
| 2001 | ||
| c6 | | 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: 88-113 |
| c5 | | 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: 136-141 |
| 2000 | ||
| c4 | | David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119 |
| c3 | | Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396 |
| c2 | | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117 |
| 1999 | ||
| c1 | | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85 |
Data released under the ODC-BY 1.0 license — See also our legal information page