| 2007 |
|---|
| 46 | EE | Guillaume Gauffre,
Emmanuel Dubois,
Rémi Bastide:
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques.
MDDAUI 2007 |
| 45 | EE | Guillaume Gauffre,
Emmanuel Dubois,
Rémi Bastide:
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques.
MoDELS Workshops 2007: 65-76 |
| 44 | EE | Syrine Charfi,
Emmanuel Dubois,
Rémi Bastide:
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems.
TAMODIA 2007: 70-83 |
| 2006 |
|---|
| 43 | EE | Rémi Bastide,
Sandra Basnyat:
Error Patterns: Systematic Investigation of Deviations in Task Models.
TAMODIA 2006: 109-121 |
| 42 | EE | Rémi Bastide,
Eric Barboni:
Software Components: a Formal Semantics Based on Coloured Petri Nets.
Electr. Notes Theor. Comput. Sci. 160: 57-73 (2006) |
| 41 | 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 |
|---|
| 40 | | 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 |
| 39 | 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 |
| 38 | EE | Sandra Basnyat,
Rémi Bastide,
Philippe A. Palanque:
Extending the Boundaries of Model-Based Development to Account for Errors.
MDDAUI 2005 |
| 2004 |
|---|
| 37 | 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 |
| 36 | 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 |
| 2003 |
|---|
| 35 | 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 |
|---|
| 34 | | David Navarre,
Philippe A. Palanque,
Rémi Bastide:
Model-Based Interactive Prototyping of Highly Interactive Applications.
CADUI 2002: 205-216 |
| 33 | 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 |
| 32 | 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 |
| 2001 |
|---|
| 31 | 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 |
| 30 | EE | Rémi Bastide,
Charles Lakos,
Philippe A. Palanque:
A Cooperative Petri Net Editor.
Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 |
| 29 | 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 |
| 28 | 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 |
|---|
| 27 | EE | David Navarre,
Philippe A. Palanque,
Rémi Bastide,
Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability.
DSV-IS 2000: 97-119 |
| 26 | | Rémi Bastide,
Ousmane Sy,
David Navarre,
Philippe A. Palanque:
A Formal Specification of the CORBA Event Service.
FMOODS 2000: 371-396 |
| 25 | EE | Rémi Bastide,
Philippe A. Palanque,
Ousmane Sy,
David Navarre:
Formal specification of CORBA services: experience and lessons learned.
OOPSLA 2000: 105-117 |
| 24 | | 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 |
|---|
| 23 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Support for the Engineering of CORBA-based Distributed Object Systems.
DOA 1999: 264-272 |
| 22 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Specification and Prototyping of CORBA Systems.
ECOOP 1999: 474-494 |
| 21 | 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 |
| 20 | | 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 |
|---|
| 19 | | 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 |
|---|
| 18 | EE | Rémi Bastide,
Didier Buchs:
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).
ECOOP Workshops 1997: 221-255 |
| 17 | | Mauro Pedrali,
Rémi Bastide:
Can We Trace Back Cognitive Processes in Root Cause Analysis?
HCI (2) 1997: 59-62 |
| 16 | | 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 |
| 15 | | 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 |
|---|
| 14 | | Mauro Pedrali,
Rémi Bastide:
DAVID: A Multimedia Tool for Accident Investigation.
BCS HCI 1996: 349-368 |
| 13 | | Rémi Bastide,
Philippe A. Palanque:
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues.
CADUI 1996: 285-302 |
| 12 | | 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 |
| 11 | | Tom Moher,
Victor Dirda,
Rémi Bastide,
Philippe A. Palanque:
Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
DSV-IS 1996: 312-329 |
| 10 | | Thierry Levoir,
Rémi Bastide:
SADS: Generic Web access to space data.
WebNet 1996 |
| 1995 |
|---|
| 9 | | 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 |
| 8 | | 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 |
| 7 | | Philippe A. Palanque,
Rémi Bastide:
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism.
BCS HCI 1995: 213-231 |
| 6 | | 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 |
| 5 | | Philippe A. Palanque,
Rémi Bastide:
Verification of an interactive software by analysis of its formal specification.
INTERACT 1995: 191-196 |
| 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 |
