Rémi Bastide - RankMe

72 papers A 3B 7C 5Journal 8Unranked 46

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