Petri net objects for the design, validation and prototyping of user-driven interfaces. - Rémi Bastide; Philippe A. Palanque (INTERACT, 1990)

Design of User-Driven Interfaces Using Petri Nets and Objects - Philippe A. Palanque; Rémi Bastide; Louis Dourte; Christophe Sibertin-Blanc (CAiSE, 1993)

Contextual Help for Free with Formal Dialogue Design. - Philippe A. Palanque; Rémi Bastide; Louis Dourte (HCI (2), 1993)

Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. - Philippe A. Palanque; Rémi Bastide (DSV-IS, 1994)

A Petri Net based Environment for the Design of Event-driven Interfaces. - Rémi Bastide; Philippe A. Palanque (Application and Theory of Petri Nets, 1995)

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. - Philippe A. Palanque; Rémi Bastide (BCS HCI, 1995)

Validating interactive system design through the verification of formal task and system models. - Philippe A. Palanque; Rémi Bastide; V. Sengès (EHCI, 1995)

Verification of an interactive software by analysis of its formal specification. - Philippe A. Palanque; Rémi Bastide (INTERACT, 1995)

DAVID: A Multimedia Tool for Accident Investigation. - Mauro Pedrali; Rémi Bastide (BCS HCI, 1996)

Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. - Rémi Bastide; Philippe A. Palanque (CADUI, 1996)

Monolingual, Articulated Modeling of Users, Devices, and Interfaces. - Tom Moher; Victor Dirda; Rémi Bastide; Philippe A. Palanque (DSV-IS, 1996)

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. - Philippe A. Palanque; Fabio Paternò; Rémi Bastide; M. Mezzanotte (DSV-IS, 1996)

SADS: Generic Web access to space data. - Thierry Levoir; Rémi Bastide (WebNet, 1996)

Time modelling in Petri nets for the design of interaction active. - Philippe A. Palanque; Rémi Bastide (ACM SIGCHI Bull., 1996)

Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). - Rémi Bastide; Didier Buchs (ECOOP Workshops, 1997)

Can We Trace Back Cognitive Processes in Root Cause Analysis? - Mauro Pedrali; Rémi Bastide (HCI (2), 1997)

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. - Philippe A. Palanque; Rémi Bastide; Fabio Paternò (INTERACT, 1997)

Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. - Philippe A. Palanque; Rémi Bastide (Interact. Comput., 1997)

Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. - Rémi Bastide; Philippe A. Palanque; Duc-Hoa Le; Jaime Munoz (DSV-IS, 1998)

Petri Net Based Behavioural Specification of CORBA Systems. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; Duc-Hoa Le; David Navarre (ICATPN, 1999)

Formal Support for the Engineering of CORBA-based Distributed Object Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (DOA, 1999)

Formal Specification and Prototyping of CORBA Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (ECOOP, 1999)

Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. - Philippe A. Palanque; Christelle Farenc; Rémi Bastide (INTERACT, 1999)

A Visual and Formal Glue between Application and Interaction. - Rémi Bastide; Philippe A. Palanque (J. Vis. Lang. Comput., 1999)

Structuring Interactive Systems Specifications for Executability and Prototypability. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (DSV-IS, 2000)

A Formal Specification of the CORBA Event Service. - Rémi Bastide; Ousmane Sy; David Navarre; Philippe A. Palanque (FMOODS, 2000)

PetShop: a tool for the formal specification of CORBA systems. - Rémi Bastide (OOPSLA Addendum, 2000)

Formal specification of CORBA services: experience and lessons learned. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; David Navarre (OOPSLA, 2000)

Transferring Knowledge of User Interfaces Guidelines to the Web. - Dominique L. Scapin; Jean Vanderdonckt; Christelle Farenc; Rémi Bastide; J. M. Christian Bastien; Corinne Leulier; Céline Mariage; Philippe A. Palanque (TFWWG, 2000)

A formal notation and tool for the engineering of CORBA systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (Concurr. Pract. Exp., 2000)

A Cooperative Petri Net Editor. - Rémi Bastide; Charles Lakos; Philippe A. Palanque (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Modeling a Groupware Editing Tool with Cooperative Objects. - Rémi Bastide; Philippe A. Palanque (Concurrent Object-Oriented Programming and Petri Nets, 2001)

A Tool Suite for Integrating Task and System Models through Scenarios. - David Navarre; Philippe A. Palanque; Fabio Paternò; Carmen Santoro; Rémi Bastide (DSV-IS, 2001)

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (IEEE International Workshop on Rapid System Prototyping, 2001)

Model-Based Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide (CADUI, 2002)

A model-based tool for interactive prototyping of highly interactive applications. - Rémi Bastide; David Navarre; Philippe A. Palanque (CHI Extended Abstracts, 2002)

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. - Xavier Lacaze; Philippe A. Palanque; David Navarre; Rémi Bastide (DSV-IS, 2002)

User-Centered Point of View to End-User Development. - Philippe A. Palanque; Rémi Bastide (HCI (4), 2003)

A tool-supported design framework for safety critical interactive systems. - Rémi Bastide; David Navarre; Philippe A. Palanque (Interact. Comput., 2003)

Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. - David Navarre; Pierre Dragicevic; Philippe A. Palanque; Rémi Bastide; Amélie Schyn (EHCI/DS-VIS, 2004)

A model-based approach for real-time embedded multimodal systems in military aircrafts. - Rémi Bastide; David Navarre; Philippe A. Palanque; Amélie Schyn; Pierre Dragicevic (ICMI, 2004)

A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Amélie Schyn; Marco Winckler; Luciana Porcher Nedel; Carla Maria Dal Sasso Freitas (INTERACT, 2005)

Extending the Boundaries of Model-Based Development to Account for Errors. - Sandra Basnyat; Rémi Bastide; Philippe A. Palanque (MDDAUI@MoDELS, 2005)

Software Components: a Formal Semantics Based on Coloured Petri Nets. - Rémi Bastide; Eric Barboni (FACS, 2005)

Error Patterns: Systematic Investigation of Deviations in Task Models. - Rémi Bastide; Sandra Basnyat (TAMODIA, 2006)

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. - David Navarre; Philippe A. Palanque; Pierre Dragicevic; Rémi Bastide (Interact. Comput., 2006)

Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. - Guillaume Gauffre; Emmanuel Dubois 001; Rémi Bastide (MDDAUI@MoDELS, 2007)

Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. - Syrine Charfi; Emmanuel Dubois 001; Rémi Bastide (TAMODIA, 2007)

An Integration of Task and Use-Case Meta-models. - Rémi Bastide (HCI (1), 2009)

Using sensors and labeled graphs to detect the space confusion's problem of patients suffering from Alzheimer's disease. - Ali Larab; Rémi Bastide; Bernard Rigaud (SEHC@ICSE, 2009)

A System Architecture Supporting the Agile Coordination of Homecare Services. - Elyes Lamine; Sabrina Zefouni; Rémi Bastide; Hervé Pingaud (PRO-VE, 2010)

Paper Ontology-Driven Customization of Home-Care Workflows. - Sabrina Zefouni; Elyes Lamine; Rémi Bastide; Hervé Pingaud (DEXA Workshops, 2011)

Design and Evolution of Home-care Workflows using Ontologies and Model Transformations. - Sabrina Zefouni; Elyes Lamine; Rémi Bastide; Hervé Pingaud (HEALTHINF, 2012)

A sustainable software architecture for home care monitoring applications. - Ali Larab; Emmanuel Conchon; Rémi Bastide; Nicolas Singer (DEST, 2012)

A model driven engineering approach for business continuity management in e-Health systems. - Olfa Rejeb; Rémi Bastide; Elyes Lamine; François Marmier; Hervé Pingaud (DEST, 2012)

Track F: Healthcare and sustainable living. - Rémi Bastide; Harold Boley; Amadou Sienou; Matthew Smith 001 (DEST, 2013)

An Ontology-Driven Approach for the Management of Home Healthcare Process. - Elyes Lamine; Abdel-Rahman H. Tawil; Rémi Bastide; Hervé Pingaud (I-ESA, 2014)

Ontology-Based Workflow Design for the Coordination of Homecare Interventions. - Elyes Lamine; Abdel-Rahman H. Tawil; Rémi Bastide; Hervé Pingaud (PRO-VE, 2014)

Design of a serious game in training non-clinical skills for professionals in health care area. - Jing Guo 001; Nicolas Singer; Rémi Bastide (SeGAH, 2014)

A Serious Game Engine for Interview Simulation: Application to the Development of Doctor-Patient Communication Skills. - Jing Guo 001; Nicolas Singer; Rémi Bastide (VS-GAMES, 2014)

Increasing Alertness while Coding Secondary Diagnostics in the Medical Record. - Ghazar Chahbandarian; Nathalie Souf; Rémi Bastide; Jean-Christophe Steinbach (HEALTHINF, 2016)

Engineering IoT Healthcare Applications: Towards a Semantic Data Driven Sustainable Architecture. - Rita Zgheib; Emmanuel Conchon; Rémi Bastide (eHealth 360°, 2016)

Increasing Secondary Diagnosis Encoding Quality Using Data Mining Techniques. - Ghazar Chahbandarian; Nathalie Bricon-Souf; Rémi Bastide; Jean-Christophe Steinbach (INFORSID, 2016)

A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living. - Rita Zgheib; Antonio De Nicola 001; Maria Luisa Villani; Emmanuel Conchon; Rémi Bastide (WETICE, 2017)

Predicting the encoding of secondary diagnoses. An experience based on decision trees. - Ghazar Chahbandarian; Nathalie Bricon-Souf; Imen Megdiche; Rémi Bastide; Jean-Christophe Steinbach (Ingénierie des Systèmes d Inf., 2017)

Towards predicting frailty symptoms through a smart walking stick. - Oussama Kessentini; Réjane Dalcé; Imen Megdiche; Rémi Bastide (PEMWN, 2018)

Semantic Middleware Architectures for IoT Healthcare Applications. - Rita Zgheib; Emmanuel Conchon; Rémi Bastide (Enhanced Living Environments, 2019)

A scalable semantic framework for IoT healthcare applications. - Rita Zgheib; Stein Kristiansen; Emmanuel Conchon; Thomas Plagemann; Vera Goebel; Rémi Bastide (J. Ambient Intell. Humaniz. Comput., 2023)