![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Rémi Bastide
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]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): 4883-4901 (2023)
2010 – 2019
- 2019
- [p1]Rita Zgheib
, Emmanuel Conchon
, Rémi Bastide
:
Semantic Middleware Architectures for IoT Healthcare Applications. Enhanced Living Environments 2019: 263-294 - 2018
- [c61]Oussama Kessentini, Réjane Dalcé, Imen Megdiche
, Rémi Bastide:
Towards predicting frailty symptoms through a smart walking stick. PEMWN 2018: 1-7 - 2017
- [j7]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): 69-94 (2017) - [c60]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: 284-289 - 2016
- [c59]Ghazar Chahbandarian, Nathalie Souf, Rémi Bastide, Jean-Christophe Steinbach:
Increasing Alertness while Coding Secondary Diagnostics in the Medical Record. HEALTHINF 2016: 490-495 - [c58]Rita Zgheib, Emmanuel Conchon, Rémi Bastide:
Engineering IoT Healthcare Applications: Towards a Semantic Data Driven Sustainable Architecture. eHealth 360° 2016: 407-418 - [c57]Ghazar Chahbandarian, Nathalie Bricon-Souf, Rémi Bastide, Jean-Christophe Steinbach:
Increasing Secondary Diagnosis Encoding Quality Using Data Mining Techniques. INFORSID 2016: 205-206 - [c56]Ghazar Chahbandarian, Nathalie Bricon-Souf, Rémi Bastide, Jean-Christophe Steinbach:
Increasing secondary diagnosis encoding quality using data mining techniques. RCIS 2016: 1-10 - 2014
- [c55]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: 151-161 - [c54]Elyes Lamine
, Abdel-Rahman H. Tawil, Rémi Bastide, Hervé Pingaud:
Ontology-Based Workflow Design for the Coordination of Homecare Interventions. PRO-VE 2014: 683-690 - [c53]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: 1-6 - [c52]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: 1-6 - 2013
- [c51]Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith:
Track F: Healthcare and sustainable living. DEST 2013: 1 - 2012
- [c50]Sabrina Zefouni, Elyes Lamine, Rémi Bastide, Hervé Pingaud:
Design and Evolution of Home-care Workflows using Ontologies and Model Transformations. HEALTHINF 2012: 231-236 - [c49]Ali Larab, Emmanuel Conchon, Rémi Bastide, Nicolas Singer:
A sustainable software architecture for home care monitoring applications. DEST 2012: 1-6 - [c48]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: 1-7 - 2011
- [c47]Sabrina Zefouni, Elyes Lamine
, Rémi Bastide, Hervé Pingaud
:
Paper Ontology-Driven Customization of Home-Care Workflows. DEXA Workshops 2011: 498-502 - 2010
- [c46]Elyes Lamine
, Sabrina Zefouni, Rémi Bastide, Hervé Pingaud
:
A System Architecture Supporting the Agile Coordination of Homecare Services. PRO-VE 2010: 227-234
2000 – 2009
- 2009
- [c45]Rémi Bastide:
An Integration of Task and Use-Case Meta-models. HCI (1) 2009: 579-586 - [c44]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: 29-33 - 2007
- [c43]Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide:
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques. MDDAUI@MoDELS 2007 - [c42]Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide:
Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. MoDELS (Workshops) 2007: 65-76 - [c41]Syrine Charfi, Emmanuel Dubois, Rémi Bastide:
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems. TAMODIA 2007: 70-83 - 2006
- [j6]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): 910-941 (2006) - [c40]Rémi Bastide, Sandra Basnyat:
Error Patterns: Systematic Investigation of Deviations in Task Models. TAMODIA 2006: 109-121 - 2005
- [c39]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 - [c38]Sandra Basnyat, Rémi Bastide, Philippe A. Palanque:
Extending the Boundaries of Model-Based Development to Account for Errors. MDDAUI@MoDELS 2005 - [c37]Rémi Bastide, Eric Barboni:
Software Components: a Formal Semantics Based on Coloured Petri Nets. FACS 2005: 57-73 - [e2]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. Lecture Notes in Computer Science 3425, Springer 2005, ISBN 3-540-26097-8 [contents] - 2004
- [c36]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 - [c35]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
- [j5]Rémi Bastide, David Navarre
, Philippe A. Palanque:
A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15(3): 309-328 (2003) - [c34]Philippe A. Palanque, Rémi Bastide:
User-Centered Point of View to End-User Development. HCI (4) 2003: 577-581 - 2002
- [c33]David Navarre, Philippe A. Palanque, Rémi Bastide:
Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216 - [c32]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 - [c31]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
- [c30]Rémi Bastide, Philippe A. Palanque:
Modeling a Groupware Editing Tool with Cooperative Objects. Concurrent Object-Oriented Programming and Petri Nets 2001: 305-318 - [c29]Rémi Bastide, Charles Lakos, Philippe A. Palanque:
A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 - [c28]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 - [c27]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
- [j4]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
A formal notation and tool for the engineering of CORBA systems. Concurr. Pract. Exp. 12(14): 1379-1403 (2000) - [c26]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119 - [c25]Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque:
A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-395 - [c24]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
:
Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117 - [c23]Rémi Bastide:
PetShop: a tool for the formal specification of CORBA systems. OOPSLA Addendum 2000: 167 - [c22]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: 293-304
1990 – 1999
- 1999
- [j3]Rémi Bastide, Philippe A. Palanque:
A Visual and Formal Glue between Application and Interaction. J. Vis. Lang. Comput. 10(4): 481-507 (1999) - [c21]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 - [c20]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA 1999: 264-272 - [c19]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
Formal Specification and Prototyping of CORBA Systems. ECOOP 1999: 474-494 - [c18]Philippe A. Palanque, Christelle Farenc, Rémi Bastide:
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. INTERACT 1999: 408-416 - 1998
- [c17]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
- [j2]Philippe A. Palanque, Rémi Bastide:
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. Interact. Comput. 9(2): 129-153 (1997) - [c16]Rémi Bastide, Didier Buchs:
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). ECOOP Workshops 1997: 221-255 - [c15]Mauro Pedrali, Rémi Bastide:
Can We Trace Back Cognitive Processes in Root Cause Analysis? HCI (2) 1997: 59-62 - [c14]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 - 1996
- [j1]Philippe A. Palanque, Rémi Bastide:
Time modelling in Petri nets for the design of interaction active. ACM SIGCHI Bull. 28(2): 43-46 (1996) - [c13]Mauro Pedrali, Rémi Bastide:
DAVID: A Multimedia Tool for Accident Investigation. BCS HCI 1996: 349-368 - [c12]Rémi Bastide, Philippe A. Palanque:
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. CADUI 1996: 285-302 - [c11]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 - [c10]Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque:
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. DSV-IS 1996: 312-329 - [c9]Thierry Levoir, Rémi Bastide:
SADS: Generic Web access to space data. WebNet 1996 - 1995
- [c8]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 - [c7]Philippe A. Palanque, Rémi Bastide:
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. BCS HCI 1995: 213-231 - [c6]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 - [c5]Philippe A. Palanque, Rémi Bastide:
Verification of an interactive software by analysis of its formal specification. INTERACT 1995: 191-196 - [e1]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, ISBN 3-211-82739-0 [contents] - 1994
- [c4]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
- [c3]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 - [c2]Philippe A. Palanque, Rémi Bastide, Louis Dourte:
Contextual Help for Free with Formal Dialogue Design. HCI (2) 1993: 615-620 - 1990
- [c1]Rémi Bastide, Philippe A. Palanque:
Petri net objects for the design, validation and prototyping of user-driven interfaces. INTERACT 1990: 625-631
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint