Rémi Bastide

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 8

Top Topics

Communication Skills

Multivariate Decision Trees

Model Driven Engineering

Top Venues

Publications

Rita Zgheib, Stein Kristiansen, Emmanuel Conchon, Thomas Plagemann, Vera Goebel, Rémi Bastide
A scalable semantic framework for IoT healthcare applications. J. Ambient Intell. Humaniz. Comput. 14 (5) (2023)
Oussama Kessentini, Réjane Dalcé, Imen Megdiche, Rémi Bastide
Towards predicting frailty symptoms through a smart walking stick. PEMWN (2018)
Rita Zgheib, Antonio De Nicola, Maria Luisa Villani, Emmanuel Conchon, Rémi Bastide
A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living. WETICE (2017)
Ghazar Chahbandarian, Nathalie Bricon-Souf, Imen Megdiche, Rémi Bastide, Jean-Christophe Steinbach
Predicting the encoding of secondary diagnoses. An experience based on decision trees. Ingénierie des Systèmes d Inf. 22 (2) (2017)
Ghazar Chahbandarian, Nathalie Souf, Rémi Bastide, Jean-Christophe Steinbach
Increasing Alertness while Coding Secondary Diagnostics in the Medical Record. HEALTHINF (2016)
Ghazar Chahbandarian, Nathalie Bricon-Souf, Rémi Bastide, Jean-Christophe Steinbach
Increasing Secondary Diagnosis Encoding Quality Using Data Mining Techniques. INFORSID (2016)
Ghazar Chahbandarian, Nathalie Bricon-Souf, Rémi Bastide, Jean-Christophe Steinbach
Increasing secondary diagnosis encoding quality using data mining techniques. RCIS (2016)
Rita Zgheib, Emmanuel Conchon, Rémi Bastide
Engineering IoT Healthcare Applications: Towards a Semantic Data Driven Sustainable Architecture. eHealth 360° (2016)
Elyes Lamine, Abdel-Rahman H. Tawil, Rémi Bastide, Hervé Pingaud
Ontology-Based Workflow Design for the Coordination of Homecare Interventions. PRO-VE (2014)
Jing Guo, Nicolas Singer, Rémi Bastide
Design of a serious game in training non-clinical skills for professionals in health care area. SeGAH (2014)
Jing Guo, Nicolas Singer, Rémi Bastide
A Serious Game Engine for Interview Simulation: Application to the Development of Doctor-Patient Communication Skills. VS-GAMES (2014)
Elyes Lamine, Abdel-Rahman H. Tawil, Rémi Bastide, Hervé Pingaud
An Ontology-Driven Approach for the Management of Home Healthcare Process. I-ESA (2014)
Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith
Track F: Healthcare and sustainable living. DEST (2013)
Ali Larab, Emmanuel Conchon, Rémi Bastide, Nicolas Singer
A sustainable software architecture for home care monitoring applications. DEST (2012)
Sabrina Zefouni, Elyes Lamine, Rémi Bastide, Hervé Pingaud
Design and Evolution of Home-care Workflows using Ontologies and Model Transformations. HEALTHINF (2012)
Olfa Rejeb, Rémi Bastide, Elyes Lamine, François Marmier, Hervé Pingaud
A model driven engineering approach for business continuity management in e-Health systems. DEST (2012)
Sabrina Zefouni, Elyes Lamine, Rémi Bastide, Hervé Pingaud
Paper Ontology-Driven Customization of Home-Care Workflows. DEXA Workshops (2011)
Elyes Lamine, Sabrina Zefouni, Rémi Bastide, Hervé Pingaud
A System Architecture Supporting the Agile Coordination of Homecare Services. PRO-VE (2010)
Ali Larab, Rémi Bastide, Bernard Rigaud
Using sensors and labeled graphs to detect the space confusion's problem of patients suffering from Alzheimer's disease. SEHC@ICSE (2009)
Rémi Bastide
An Integration of Task and Use-Case Meta-models. HCI (1) (2009)
Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. MDDAUI@MoDELS (2007)
Syrine Charfi, Emmanuel Dubois, Rémi Bastide
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. TAMODIA (2007)
Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. MoDELS (Workshops) (2007)
Rémi Bastide, Eric Barboni
Software Components: a Formal Semantics Based on Coloured Petri Nets. Electron. Notes Theor. Comput. Sci. 160 (2006)
Rémi Bastide, Sandra Basnyat
Error Patterns: Systematic Investigation of Deviations in Task Models. TAMODIA (2006)
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. Interact. Comput. 18 (5) (2006)
Sandra Basnyat, Rémi Bastide, Philippe A. Palanque
Extending the Boundaries of Model-Based Development to Account for Errors. MDDAUI@MoDELS (2005)
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)
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)
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)
Rémi Bastide, David Navarre, Philippe A. Palanque
A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15 (3) (2003)
Philippe A. Palanque, Rémi Bastide
User-Centered Point of View to End-User Development. HCI (4) (2003)
Rémi Bastide, David Navarre, Philippe A. Palanque
A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts (2002)
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)
David Navarre, Philippe A. Palanque, Rémi Bastide
Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI (2002)
Rémi Bastide, Charles Lakos, Philippe A. Palanque
A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets (2001)
Rémi Bastide, Philippe A. Palanque
Modeling a Groupware Editing Tool with Cooperative Objects. Concurrent Object-Oriented Programming and Petri Nets (2001)
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)
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)
Dominique L. Scapin, Jean Vanderdonckt, Christelle Farenc, Rémi Bastide, J. M. Christian Bastien, Corinne Leulier, Céline Mariage, Philippe A. Palanque
Transferring Knowledge of User Interfaces Guidelines to the Web. TFWWG (2000)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
A formal notation and tool for the engineering of CORBA systems. Concurr. Pract. Exp. 12 (14) (2000)
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
A Formal Specification of the CORBA Event Service. FMOODS (2000)
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS (2000)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
Formal specification of CORBA services: experience and lessons learned. OOPSLA (2000)
Rémi Bastide
PetShop: a tool for the formal specification of CORBA systems. OOPSLA Addendum (2000)
Philippe A. Palanque, Christelle Farenc, Rémi Bastide
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. INTERACT (1999)
Rémi Bastide, Philippe A. Palanque
A Visual and Formal Glue between Application and Interaction. J. Vis. Lang. Comput. 10 (4) (1999)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
Petri Net Based Behavioural Specification of CORBA Systems. ICATPN (1999)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Specification and Prototyping of CORBA Systems. ECOOP (1999)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA (1999)
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)
Rémi Bastide, Didier Buchs
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). ECOOP Workshops (1997)
Philippe A. Palanque, Rémi Bastide
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. Interact. Comput. 9 (2) (1997)
Philippe A. Palanque, Rémi Bastide, Fabio Paternò
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. INTERACT (1997)
Mauro Pedrali, Rémi Bastide
Can We Trace Back Cognitive Processes in Root Cause Analysis? HCI (2) (1997)
Mauro Pedrali, Rémi Bastide
DAVID: A Multimedia Tool for Accident Investigation. BCS HCI (1996)
Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. DSV-IS (1996)
Thierry Levoir, Rémi Bastide
SADS: Generic Web access to space data. WebNet (1996)
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)
Rémi Bastide, Philippe A. Palanque
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. CADUI (1996)
Philippe A. Palanque, Rémi Bastide
Time modelling in Petri nets for the design of interaction active. ACM SIGCHI Bull. 28 (2) (1996)
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)
Philippe A. Palanque, Rémi Bastide, V. Sengès
Validating interactive system design through the verification of formal task and system models. EHCI (1995)
Philippe A. Palanque, Rémi Bastide
Verification of an interactive software by analysis of its formal specification. INTERACT (1995)
Philippe A. Palanque, Rémi Bastide
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. BCS HCI (1995)
Philippe A. Palanque, Rémi Bastide
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS (1994)
Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc
Design of User-Driven Interfaces Using Petri Nets and Objects CAiSE (1993)
Philippe A. Palanque, Rémi Bastide, Louis Dourte
Contextual Help for Free with Formal Dialogue Design. HCI (2) (1993)
Rémi Bastide, Philippe A. Palanque
Petri net objects for the design, validation and prototyping of user-driven interfaces. INTERACT (1990)