フォロー
Christophe Lohr
Christophe Lohr
IMT Atlantique (ex. Telecom Bretagne), Lab-STICC UMR CNRS 6285
確認したメール アドレス: imt-atlantique.fr - ホームページ
タイトル
引用先
引用先
TURTLE: A real-time UML profile supported by a formal validation toolkit
L Apvrille, JP Courtiat, C Lohr, P de Saqui-Sannes
IEEE transactions on Software Engineering 30 (7), 473-487, 2004
2032004
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
JP Courtiat, CAS Santos, C Lohr, B Outtaj
Computer Communications 23 (12), 1104-1123, 2000
1212000
A survey of human activity recognition in smart homes based on IoT sensors algorithms: Taxonomies, challenges, and opportunities with deep learning
D Bouchabou, SM Nguyen, C Lohr, B LeDuc, I Kanellos
Sensors 21 (18), 6037, 2021
1132021
A new UML profile for real-time system formal design and validation
L Apvrille, P de Saqui-Sannes, C Lohr, P Sénac, JP Courtiat
International Conference on the Unified Modeling Language, 287-301, 2001
422001
Fully convolutional network bootstrapped by word encoding and embedding for activity recognition in smart homes
D Bouchabou, SM Nguyen, C Lohr, B Leduc, I Kanellos
Deep Learning for Human Activity Recognition: Second International Workshop …, 2021
322021
From individual communication to social networks: evolution of a technical platform for the elderly
C Bothorel, C Lohr, A Thépaut, F Bonnaud, G Cabasse
Toward Useful Services for Elderly and People with Disabilities: 9th …, 2011
322011
Using language model to bootstrap human activity recognition ambient sensors based in smart homes
D Bouchabou, SM Nguyen, C Lohr, B LeDuc, I Kanellos
Electronics 10 (20), 2498, 2021
242021
Contribution à la conception de systèmes temps-réel s' appuyant sur la technique de description formelle RT-LOTOS
C Lohr
Institut National Polytechnique de Toulouse-INPT, 2002
202002
xaal: A distributed infrastructure for heterogeneous ambient devices
C Lohr, P Tanguy, J Kerdreux
Journal of intelligent systems 24 (3), 321-331, 2015
162015
A comparison between ambient assisted living systems
M Darwish, E Senn, C Lohr, Y Kermarrec
Smart Homes and Health Telematics: 12th International Conference, ICOST 2014 …, 2015
162015
From the specification to the scheduling of time-dependent systems
C Lohr, JP Courtiat
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
132002
An integrated environment for the presentation of consistent SMIL 2.0 documents
PNM Sampaio, C Lohr, JP Courtiat
Proceedings of the 2001 ACM Symposium on Document engineering, 115-124, 2001
132001
Policy-based QoS management for multimedia communication
SA Mushtaq, O Salem, C Lohr, A Gravey
14th Eunice Open European Summer School, september 8-10, Brest, France, ., 2008
122008
Verifying service continuity in a dynamic reconfiguration procedure: Application to a satellite system
L Apvrille, P de Saqui-Sannes, P Sénac, C Lohr
Automated software engineering 11, 167-191, 2004
122004
Dynamic segmentation of sensor events for real-time human activity recognition in a smart home context
H Najeh, C Lohr, B Leduc
Sensors 22 (14), 5458, 2022
112022
Plug and Play your Robot into your Smart Home: Illustration of a New Framework: A Communication Protocol to Plug and Play any Robot or Device of a Smart Home
SM Nguyen, C Lohr, P Tanguy, Y Chen
KI-Künstliche Intelligenz 31 (3), 283-289, 2017
112017
Survey on network interface selection in multihomed mobile networks
P Mitharwal, C Lohr, A Gravey
Meeting of the European Network of Universities and Companies in Information …, 2014
102014
Distributed call admission control in SIP based multimedia communication
SA Mushtaq, O Salem, C Lohr, A Gravey
NEM Summit 2008: international congress on Networked Electronic Media …, 2008
92008
Improvements of the xAAL home automation system
C Lohr, J Kerdreux
Future internet 12 (6), 104, 2020
82020
System design for coordinated multi-robot assistance deployment in smart spaces
P Papadakis, C Lohr, M Lujak, A Karami, I Kanellos, G Lozenguez, ...
2018 Second IEEE International Conference on Robotic Computing (IRC), 324-329, 2018
82018
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20