| 2008 |
|---|
| 78 | | T. C. Nicholas Graham,
Philippe A. Palanque:
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers
Springer 2008 |
| 77 | EE | 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 |
| 76 | EE | David Navarre,
Philippe A. Palanque,
Sandra Basnyat:
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.
SAFECOMP 2008: 373-386 |
| 2007 |
|---|
| 75 | | Maria Cecília Calani Baranauskas,
Philippe A. Palanque,
Julio Abascal,
Simone Diniz Junqueira Barbosa:
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Springer 2007 |
| 74 | | Maria Cecília Calani Baranauskas,
Philippe A. Palanque,
Julio Abascal,
Simone Diniz Junqueira Barbosa:
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Springer 2007 |
| 73 | | Marco Winckler,
Hilary Johnson,
Philippe A. Palanque:
Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
Springer 2007 |
| 72 | EE | Philippe A. Palanque,
Sandra Basnyat,
Regina Bernhaupt,
Ronald L. Boring,
Chris Johnson,
Peter Johnson:
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?
CHI Extended Abstracts 2007: 2133-2136 |
| 71 | EE | Regina Bernhaupt,
Philippe A. Palanque,
Marco Winckler,
David Navarre:
Usability Study of Multi-modal Interfaces Using Eye-Tracking.
INTERACT (2) 2007: 412-424 |
| 70 | EE | Xavier Lacaze,
Philippe A. Palanque:
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.
INTERACT (2) 2007: 525-540 |
| 69 | EE | 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 |
| 68 | EE | 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 |
| 67 | EE | Philippe A. Palanque,
Sandra Basnyat,
David Navarre:
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.
USAB 2007: 21-40 |
| 2006 |
|---|
| 66 | EE | 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 |
| 65 | EE | T. C. Nicholas Graham,
Paul Curzon,
Gavin Doherty,
Philippe A. Palanque,
Richard Potter,
Christopher Roast,
Shamus P. Smith:
Usability and Computer Games: Working Group Report.
DSV-IS 2006: 265-268 |
| 64 | EE | Marco Winckler,
Eric Barboni,
Philippe A. Palanque,
Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Electr. Notes Theor. Comput. Sci. 157(2): 207-211 (2006) |
| 63 | EE | 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) |
| 2005 |
|---|
| 62 | | Rémi Bastide,
Philippe A. Palanque,
Jörg Roth:
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Springer 2005 |
| 61 | EE | Sandra Basnyat,
Nick Chozos,
Chris Johnson,
Philippe A. Palanque:
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
DSV-IS 2005: 51-66 |
| 60 | EE | Effie Lai-Chong Law,
Ebba Thora Hvannberg,
Gilbert Cockton,
Philippe A. Palanque,
Dominique L. Scapin,
Mark Springett,
Christian Stary,
Jean Vanderdonckt:
Towards the Maturation of IT Usability Evaluation (MAUSE).
INTERACT 2005: 1134-1137 |
| 59 | EE | 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 |
| 58 | EE | Sandra Basnyat,
Rémi Bastide,
Philippe A. Palanque:
Extending the Boundaries of Model-Based Development to Account for Errors.
MDDAUI 2005 |
| 57 | | Marco Winckler,
Eric Barboni,
Philippe A. Palanque,
Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
WWV 2005: 33-36 |
| 2004 |
|---|
| 56 | | Pavel Slavík,
Philippe A. Palanque:
Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15 - 16, 2004, Prague, Czech Republic
ACM 2004 |
| 55 | | Chris W. Johnson,
Philippe A. Palanque:
Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France
Kluwer 2004 |
| 54 | | Marco Winckler,
Eric Barboni,
Christelle Farenc,
Philippe A. Palanque:
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation.
CADUI 2004: 55-66 |
| 53 | EE | Philippe A. Palanque,
Floor Koornneef,
Chris Johnson,
Gerd Szwillus,
Peter Wright:
Safety-critical interaction: usability in incidents and accidents.
CHI Extended Abstracts 2004: 1600-1601 |
| 52 | EE | 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 |
| 51 | | Philippe A. Palanque,
Sandra Basnyat:
Task Patterns for Taking Into Account in an Efficient and Systematic Way User Behaviours.
Human Error, Safety and Systems Development 2004: 109-130 |
| 50 | EE | 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 |
| 49 | EE | Marco Winckler,
Philippe A. Palanque,
Carla Maria Dal Sasso Freitas:
Tasks and scenario-based evaluation of information visualization techniques.
TAMODIA 2004: 165-172 |
| 2003 |
|---|
| 48 | EE | Marco Winckler,
Philippe A. Palanque:
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.
DSV-IS 2003: 61-76 |
| 47 | EE | 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 |
| 46 | | Philippe A. Palanque,
Amélie Schyn:
A Model-Based Approach for Engineering Multimodal Interactive Systems.
INTERACT 2003 |
| 45 | EE | 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) |
| 2002 |
|---|
| 44 | | David Navarre,
Philippe A. Palanque,
Rémi Bastide:
Model-Based Interactive Prototyping of Highly Interactive Applications.
CADUI 2002: 205-216 |
| 43 | EE | 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 |
| 42 | EE | 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 |
| 41 | EE | Marco Winckler,
Christelle Farenc,
Philippe A. Palanque:
Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation.
IHM 2002: 153-160 |
| 40 | EE | 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 |
| 39 | | Marco Winckler,
Philippe A. Palanque,
Christelle Farenc,
Marcelo Soares Pimenta:
Task-Based Assessment of Web Navigation Design.
TAMODIA 2002: 161-169 |
| 2001 |
|---|
| 38 | EE | Rémi Bastide,
Philippe A. Palanque:
Modeling a Groupware Editing Tool with Cooperative Objects.
Concurrent Object-Oriented Programming and Petri Nets 2001: 305-318 |
| 37 | EE | Rémi Bastide,
Charles Lakos,
Philippe A. Palanque:
A Cooperative Petri Net Editor.
Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 |
| 36 | EE | 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 |
| 35 | | Christelle Farenc,
Philippe A. Palanque,
J. M. Christian Bastien,
Dominique L. Scapin,
Marco Winckler:
Towards a general guidance and support tool for usability optimization.
HCI 2001: 160-164 |
| 34 | EE | 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 |
|---|
| 33 | | Philippe A. Palanque,
Fabio Paternò:
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings
Springer 2000 |
| 32 | EE | David Navarre,
Philippe A. Palanque,
Rémi Bastide,
Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability.
DSV-IS 2000: 97-119 |
| 31 | | Rémi Bastide,
Ousmane Sy,
David Navarre,
Philippe A. Palanque:
A Formal Specification of the CORBA Event Service.
FMOODS 2000: 371-396 |
| 30 | EE | Philippe A. Palanque,
Fabio Paternò:
Design, specification, and verification of interactive systems (workshop session).
ICSE 2000: 803-804 |
| 29 | EE | Rémi Bastide,
Philippe A. Palanque,
Ousmane Sy,
David Navarre:
Formal specification of CORBA services: experience and lessons learned.
OOPSLA 2000: 105-117 |
| 28 | | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
A formal notation and tool for the engineering of CORBA systems.
Concurrency - Practice and Experience 12(14): 1379-1403 (2000) |
| 1999 |
|---|
| 27 | | Christelle Farenc,
Philippe A. Palanque:
A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface.
CADUI 1999: 281-292 |
| 26 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Support for the Engineering of CORBA-based Distributed Object Systems.
DOA 1999: 264-272 |
| 25 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Specification and Prototyping of CORBA Systems.
ECOOP 1999: 474-494 |
| 24 | | Christelle Farenc,
Philippe A. Palanque:
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules.
HCI (1) 1999: 1038-1042 |
| 23 | EE | 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 |
| 22 | EE | Wayne D. Gray,
Philippe A. Palanque,
Fabio Paternò:
Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.
ACM Trans. Comput.-Hum. Interact. 6(4): 309-310 (1999) |
| 21 | | Rémi Bastide,
Philippe A. Palanque:
A Visual and Formal Glue between Application and Interaction.
J. Vis. Lang. Comput. 10(4): 481-507 (1999) |
| 1998 |
|---|
| 20 | | Rémi Bastide,
Philippe A. Palanque,
Duc-Hoa Le,
Jaime Munoz:
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.
DSV-IS 1998: 171-190 |
| 1997 |
|---|
| 19 | | Michelle Jacomi,
Stéphane Chatty,
Philippe A. Palanque:
A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications.
BCS HCI 1997: 155-173 |
| 18 | | Johnny Accot,
Stéphane Chatty,
Sébastien Maury,
Philippe A. Palanque:
Formal transducers: Models of devices and building bricks for the design of highly interactive systems.
DSV-IS 1997: 143-159 |
| 17 | | Philippe A. Palanque,
Rémi Bastide,
Fabio Paternò:
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
INTERACT 1997: 323-330 |
| 16 | | Philippe A. Palanque,
Rémi Bastide:
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques.
Interacting with Computers 9(2): 129-153 (1997) |
| 1996 |
|---|
| 15 | | Rémi Bastide,
Philippe A. Palanque:
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues.
CADUI 1996: 285-302 |
| 14 | | Philippe A. Palanque,
Fabio Paternò,
Rémi Bastide,
M. Mezzanotte:
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
DSV-IS 1996: 162-187 |
| 13 | | Tom Moher,
Victor Dirda,
Rémi Bastide,
Philippe A. Palanque:
Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
DSV-IS 1996: 312-329 |
| 12 | | Johnny Accot,
Stéphane Chatty,
Philippe A. Palanque:
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.
DSV-IS 1996: 92-104 |
| 1995 |
|---|
| 11 | | Philippe A. Palanque,
Rémi Bastide:
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995
Springer 1995 |
| 10 | | Rémi Bastide,
Philippe A. Palanque:
A Petri Net based Environment for the Design of Event-driven Interfaces.
Application and Theory of Petri Nets 1995: 66-83 |
| 9 | | Philippe A. Palanque,
Rémi Bastide:
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism.
BCS HCI 1995: 213-231 |
| 8 | | Philippe A. Palanque,
Rémi Bastide,
V. Sengès:
Validating interactive system design through the verification of formal task and system models.
EHCI 1995: 189-212 |
| 7 | | Olivier Esteban,
Stéphane Chatty,
Philippe A. Palanque:
Whizz'Ed: a visual environment for building highly interactive software.
INTERACT 1995: 121-126 |
| 6 | | Philippe A. Palanque,
Rémi Bastide:
Verification of an interactive software by analysis of its formal specification.
INTERACT 1995: 191-196 |
| 5 | | Olivier Esteban,
Stéphane Chatty,
Philippe A. Palanque:
Visual Construction of Highly Interactive Applications.
VDB 1995: 304-316 |
| 1994 |
|---|
| 4 | | Philippe A. Palanque,
Rémi Bastide:
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism.
DSV-IS 1994: 383-400 |
| 1993 |
|---|
| 3 | | Philippe A. Palanque,
Rémi Bastide,
Louis Dourte,
Christophe Sibertin-Blanc:
Design of User-Driven Interfaces Using Petri Nets and Objects
CAiSE 1993: 569-585 |
| 2 | | Philippe A. Palanque,
Rémi Bastide,
Louis Dourte:
Contextual Help for Free with Formal Dialogue Design.
HCI (2) 1993: 615-620 |
| 1990 |
|---|
| 1 | | Rémi Bastide,
Philippe A. Palanque:
Petri net objects for the design, validation and prototyping of user-driven interfaces.
INTERACT 1990: 625-631 |
