| 2018 | PEMWN | Towards predicting frailty symptoms through a smart walking stick. | Oussama Kessentini, Rjane Dalc, Imen Megdiche, Rmi Bastide |
| 2017 | WETICE | A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living. | Rita Zgheib, Antonio De Nicola, Maria Luisa Villani, Emmanuel Conchon, Rmi Bastide |
| 2016 | RCIS | Increasing secondary diagnosis encoding quality using data mining techniques. | Ghazar Chahbandarian, Nathalie Bricon-Souf, Rmi Bastide, Jean-Christophe Steinbach |
| 2009 | HCI | An Integration of Task and Use-Case Meta-models. | Rmi Bastide |
| 2009 | ICSE | Using sensors and labeled graphs to detect the space confusion's problem of patients suffering from Alzheimer's disease. | Ali Larab, Rmi Bastide, Bernard Rigaud |
| 2007 | MODELS | Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. | Guillaume Gauffre, Emmanuel Dubois, Rmi Bastide |
| 2007 | MODELS | Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. | Guillaume Gauffre, Emmanuel Dubois, Rmi Bastide |
| 2005 | Interact | A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. | David Navarre, Philippe A. Palanque, Rmi Bastide, Amlie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas |
| 2004 | ICMI | A model-based approach for real-time embedded multimodal systems in military aircrafts. | Rmi Bastide, David Navarre, Philippe A. Palanque, Amlie Schyn, Pierre Dragicevic |
| 2003 | HCI | User-Centered Point of View to End-User Development. | Philippe A. Palanque, Rmi Bastide |
| 2002 | CHI | A model-based tool for interactive prototyping of highly interactive applications. | Rmi Bastide, David Navarre, Philippe A. Palanque |
| 2001 | RSP | A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. | David Navarre, Philippe A. Palanque, Rmi Bastide, Ousmane Sy |
| 2000 | OOPSLA | PetShop: a tool for the formal specification of CORBA systems. | Rmi Bastide |
| 2000 | OOPSLA | Formal specification of CORBA services: experience and lessons learned. | Rmi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre |
| 1999 | ECOOP | Formal Specification and Prototyping of CORBA Systems. | Rmi Bastide, Ousmane Sy, Philippe A. Palanque |
| 1999 | Interact | Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. | Philippe A. Palanque, Christelle Farenc, Rmi Bastide |
| 1997 | HCI | Can We Trace Back Cognitive Processes in Root Cause Analysis? | Mauro Pedrali, Rmi Bastide |
| 1997 | Interact | Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. | Philippe A. Palanque, Rmi Bastide, Fabio Patern |
| 1995 | Interact | Verification of an interactive software by analysis of its formal specification. | Philippe A. Palanque, Rmi Bastide |
| 1993 | CaiSE | Design of User-Driven Interfaces Using Petri Nets and Objects | Philippe A. Palanque, Rmi Bastide, Louis Dourte, Christophe Sibertin-Blanc |
| 1993 | HCI | Contextual Help for Free with Formal Dialogue Design. | Philippe A. Palanque, Rmi Bastide, Louis Dourte |
| 1990 | Interact | Petri net objects for the design, validation and prototyping of user-driven interfaces. | Rmi Bastide, Philippe A. Palanque |