Rémi Bastide

According to our database, Rémi Bastide authored at least 68 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2019

Semantic Middleware Architectures for IoT Healthcare Applications.

Rita Zgheib, Emmanuel Conchon, Rémi Bastide

Proceedings of the Enhanced Living Environments, 2019

2018

Towards predicting frailty symptoms through a smart walking stick.

Oussama Kessentini, Réjane Dalcé, Imen Megdiche, Rémi Bastide

Proceedings of the 2018 IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, 2018

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

A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living.

Rita Zgheib, Antonio De Nicola, Maria Luisa Villani, Emmanuel Conchon, Rémi Bastide

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

2016

Increasing Secondary Diagnosis Encoding Quality Using Data Mining Techniques.

Ghazar Chahbandarian, Nathalie Bricon-Souf, Rémi Bastide, Jean-Christophe Steinbach

Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016

Engineering IoT Healthcare Applications: Towards a Semantic Data Driven Sustainable Architecture.

Rita Zgheib, Emmanuel Conchon, Rémi Bastide

Proceedings of the eHealth 360°, 2016

Increasing Alertness while Coding Secondary Diagnostics in the Medical Record.

Ghazar Chahbandarian, Nathalie Souf, Rémi Bastide, Jean-Christophe Steinbach

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

2014

A Serious Game Engine for Interview Simulation: Application to the Development of Doctor-Patient Communication Skills.

Jing Guo, Nicolas Singer, Rémi Bastide

Proceedings of the 6th International Conference on Games and Virtual Worlds for Serious Applications, 2014

Design of a serious game in training non-clinical skills for professionals in health care area.

Jing Guo, Nicolas Singer, Rémi Bastide

Proceedings of the 3nd IEEE International Conference on Serious Games and Applications for Health, 2014

Ontology-Based Workflow Design for the Coordination of Homecare Interventions.

Elyes Lamine, Abdel-Rahman H. Tawil, Rémi Bastide, Hervé Pingaud

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

An Ontology-Driven Approach for the Management of Home Healthcare Process.

Elyes Lamine, Abdel-Rahman H. Tawil, Rémi Bastide, Hervé Pingaud

Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

2013

Track F: Healthcare and sustainable living.

Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith

Proceedings of the 7th IEEE International Conference on Digital Ecosystems and Technologies, 2013

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

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

A sustainable software architecture for home care monitoring applications.

Ali Larab, Emmanuel Conchon, Rémi Bastide, Nicolas Singer

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Design and Evolution of Home-care Workflows using Ontologies and Model Transformations.

Sabrina Zefouni, Elyes Lamine, Rémi Bastide, Hervé Pingaud

Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012

2011

Paper Ontology-Driven Customization of Home-Care Workflows.

Sabrina Zefouni, Elyes Lamine, Rémi Bastide, Hervé Pingaud

Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010

A System Architecture Supporting the Agile Coordination of Homecare Services.

Elyes Lamine, Sabrina Zefouni, Rémi Bastide, Hervé Pingaud

Proceedings of the Collaborative Networks for a Sustainable World, 2010

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

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

An Integration of Task and Use-Case Meta-models.

Rémi Bastide

Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009

2007

Articulating Interaction and Task Models for the Design of Advanced Interactive Systems.

Syrine Charfi, Emmanuel Dubois, Rémi Bastide

Proceedings of the Task Models and Diagrams for User Interface Design, 2007

Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques.

Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide

Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, 2007

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

Error Patterns: Systematic Investigation of Deviations in Task Models.

Rémi Bastide, Sandra Basnyat

Proceedings of the Task Models and Diagrams for Users Interface Design, 2006

2005

Software Components: a Formal Semantics Based on Coloured Petri Nets.

Rémi Bastide, Eric Barboni

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Extending the Boundaries of Model-Based Development to Account for Errors.

Sandra Basnyat, Rémi Bastide, Philippe A. Palanque

Proceedings of the MDDAUI '05, 2005

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

Proceedings of the Human-Computer Interaction, 2005

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

Proceedings of the 6th International Conference on Multimodal Interfaces, 2004

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

Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004

2003

A tool-supported design framework for safety critical interactive systems.

Rémi Bastide, David Navarre, Philippe A. Palanque

Interact. Comput., 2003

User-Centered Point of View to End-User Development.

Philippe A. Palanque, Rémi Bastide

Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

2002

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.

Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide

Proceedings of the Interactive Systems. Design, 2002

A model-based tool for interactive prototyping of highly interactive applications.

Rémi Bastide, David Navarre, Philippe A. Palanque

Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002

Model-Based Interactive Prototyping of Highly Interactive Applications.

David Navarre, Philippe A. Palanque, Rémi Bastide

Proceedings of the Computer-Aided Design of User Interfaces III, 2002

2001

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.

David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

A Tool Suite for Integrating Task and System Models through Scenarios.

David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide

Proceedings of the Interactive Systems: Design, 2001

Modeling a Groupware Editing Tool with Cooperative Objects.

Rémi Bastide, Philippe A. Palanque

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

A Cooperative Petri Net Editor.

Rémi Bastide, Charles Lakos, Philippe A. Palanque

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

A formal notation and tool for the engineering of CORBA systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Concurr. Pract. Exp., 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

Proceedings of the Tools for Working with Guidelines, 2000

Formal specification of CORBA services: experience and lessons learned.

Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

PetShop: a tool for the formal specification of CORBA systems.

Rémi Bastide

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

A Formal Specification of the CORBA Event Service.

Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Structuring Interactive Systems Specifications for Executability and Prototypability.

David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy

Proceedings of the Interactive Systems: Design, 2000

1999

A Visual and Formal Glue between Application and Interaction.

Rémi Bastide, Philippe A. Palanque

J. Vis. Lang. Comput., 1999

Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software.

Philippe A. Palanque, Christelle Farenc, Rémi Bastide

Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

Formal Specification and Prototyping of CORBA Systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Proceedings of the ECOOP'99, 1999

Formal Support for the Engineering of CORBA-based Distributed Object Systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Proceedings of the International Symposium on Distributed Objects and Applications, 1999

Petri Net Based Behavioural Specification of CORBA Systems.

Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.

Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz

Proceedings of the Design, 1998

1997

Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques.

Philippe A. Palanque, Rémi Bastide

Interact. Comput., 1997

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.

Philippe A. Palanque, Rémi Bastide, Fabio Paternò

Proceedings of the Human-Computer Interaction, 1997

Can We Trace Back Cognitive Processes in Root Cause Analysis?

Mauro Pedrali, Rémi Bastide

Proceedings of the Design of Computing Systems: Social and Ergonomic Considerations, 1997

Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).

Rémi Bastide, Didier Buchs

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Time modelling in Petri nets for the design of interaction active.

Philippe A. Palanque, Rémi Bastide

ACM SIGCHI Bull., 1996

SADS: Generic Web access to space data.

Thierry Levoir, Rémi Bastide

Proceedings of WebNet 96, 1996

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.

Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte

Proceedings of the Design, 1996

Monolingual, Articulated Modeling of Users, Devices, and Interfaces.

Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque

Proceedings of the Design, 1996

Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues.

Rémi Bastide, Philippe A. Palanque

Proceedings of the Computer-Aided Design of User Interfaces I, 1996

DAVID: A Multimedia Tool for Accident Investigation.

Mauro Pedrali, Rémi Bastide

Proceedings of the People and Computers XI, Proceedings of HCI '96, 1996

1995

Verification of an interactive software by analysis of its formal specification.

Philippe A. Palanque, Rémi Bastide

Proceedings of the Human-Computer Interaction, 1995

Validating interactive system design through the verification of formal task and system models.

Philippe A. Palanque, Rémi Bastide, V. Sengès

Proceedings of the Engineering for Human-Computer Interaction, 1995

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism.

Philippe A. Palanque, Rémi Bastide

Proceedings of the People and Computers X, 1995

A Petri Net based Environment for the Design of Event-driven Interfaces.

Rémi Bastide, Philippe A. Palanque

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism.

Philippe A. Palanque, Rémi Bastide

Proceedings of the Design, 1994

1993

Contextual Help for Free with Formal Dialogue Design.

Philippe A. Palanque, Rémi Bastide, Louis Dourte

Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993

Design of User-Driven Interfaces Using Petri Nets and Objects

Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc

Proceedings of the Advanced Information Systems Engineering, 1993

1990

Petri net objects for the design, validation and prototyping of user-driven interfaces.

Rémi Bastide, Philippe A. Palanque

Proceedings of the Human-Computer Interaction, 1990