Publications HAL

2024

Journal articles

titre
Digital Twins for Supporting Ageing Well: Approaches in Current Research and Innovation in Europe and Japan
auteur
Jasmin Lehmann, Lorenz Granrath, Ryan Browne, Toshimi Ogawa, Keisuke Kokubun, Yasuyuki Taki, Kristiina Jokinen, Sarah Janboecke, Christophe Lohr, Rainer Wieching, Roberta Bevilacqua, Sara Casaccia, Gian Marco Revel
article
Sustainability, 2024, 16 (7), pp.3064. ⟨10.3390/su16073064⟩
Accès au bibtex
BibTex

Conference papers

titre
Privacy preserving personal assistant with on-device diarization and spoken dialogue system for home and beyond
auteur
Gérard Chollet, Hugues Sansen, Yannis Tevissen, Jérôme Boudy, Mossaab Hariz, Christophe Lohr, Fathy Yassa
article
IHIET-AI 2024 International Conference, Apr 2024, Lausanne, Switzerland. ⟨10.54941/ahfeXXXX⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04378982/file/2401.01146.pdf BibTex

2023

Journal articles

titre
A Smart Home Digital Twin to Support the Recognition of Activities of Daily Living
auteur
Damien Bouchabou, Juliette Grosset, Sao Mai Nguyen, Christophe Lohr, Xavier Puig
article
Sensors, 2023, 23 (17), pp.7586. ⟨10.3390/s23177586⟩
Accès au bibtex
BibTex
titre
Reconnaissance d’activités de la vie quotidienne au moyen de capteurs domotiques et d’apprentissage profond : lorsque syntaxe, sémantique et contexte se rencontrent
auteur
Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Benoit Leduc
article
Revue Ouverte d'Intelligence Artificielle, 2023, 4 (1), pp.129-156. ⟨10.5802/roia.53⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04401882/file/Bouchabou2023RODA.pdf BibTex
titre
Interaction with a virtual coach for active and healthy ageing
auteur
Michael Mctear, Kristiina Jokinen, Mirza Mohtashim Alam, Qasid Saleem, Giulio Napolitano, Florian Szczepaniak, Mossaab Hariz, Gérard Chollet, Christophe Lohr, Jérôme Boudy, Zohre Azimi, Sonja Dana Roelen, Rainer Wieching
article
Sensors, 2023, 23 (5), pp.2748. ⟨10.3390/s23052748⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04391675/file/sensors_23_02748_2_.pdf BibTex
titre
Convolutional Neural Network Bootstrapped by Dynamic Segmentation and Stigmergy-Based Encoding for Real-Time Human Activity Recognition in Smart Homes
auteur
Houda Najeh, Christophe Lohr, Benoit Leduc
article
Sensors, 2023, 23 (4), pp.1969. ⟨10.3390/s23041969⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03984715/file/sensors-23-01969-v2.pdf BibTex

Conference papers

titre
Representation of Irregularly Sampled Time Series with Generative Language Models for Classification and Transfer Learning
auteur
Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Benoit Leduc, Ioannis Kanellos
article
ML4ITS 2023 - Machine Learning for Irregular Time Series Workshop in ECML PKDD, Sep 2023, Turin (IT), Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04437409/file/Bouchabou2023MLITSWEP.pdf BibTex
titre
Considering the mutual information criterion for sensor configuration selection in human activity recognition in smart homes
auteur
Houda Najeh, Christophe Lohr, Benoit Leduc
article
BS 2023: 18th Conference of IBPSA, Building Simulation, Sep 2023, Shanghai, China. pp.469-476, ⟨10.26868/25222708.2023.1194⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04208937/file/1194_Najeh.pdf BibTex
titre
A virtual assistant dedicated to the accompaniment of the person informed of his life context thanks to the smartphone
auteur
Florian Szczepaniak, Jérôme Boudy, Gérard Chollet, Mossaab Hariz, Christophe Lohr
article
16th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA '23), University of Texas at Arlington, USA, Jul 2023, Corfou, Greece. pp.662-666, ⟨10.1145/3594806.3596594⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04181551/file/Petra_2023.pdf BibTex
titre
Un assistant virtuel dédié à l'accompagnement de la personne, averti de son contexte de vie, grâce au smartphone
auteur
Florian Szczepaniak, Jérôme Boudy, Gérard Chollet, Mossaab Hariz, Christophe Lohr
article
9ème Colloque sur la Télésanté : "Dispositifs biomédicaux et technologies numériques en santé: des besoins aux usages" (JETSAN 2023), Université Paris 8; Sorbonne Université, Jun 2023, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-04181543/file/JetSan_2023.pdf BibTex

2022

Journal articles

titre
Dynamic Segmentation of Sensor Events for Real-Time Human Activity Recognition in a Smart Home Context
auteur
Houda Najeh, Christophe Lohr, Benoit Leduc
article
Sensors, 2022, 22 (14), pp.5458. ⟨10.3390/s22145458⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03782526/file/Dynamic_Segmentation_of_Sensor_Events_for_Real-Tim.pdf BibTex

Conference papers

titre
Real-Time Human Activity Recognition in Smart Home on Embedded Equipment: New Challenges
auteur
Houda Najeh, Christophe Lohr, Benoit Leduc
article
ICOST 2022: 19th International Conference on Smart Homes and Health Telematics, Jun 2022, Paris, France. pp.125-138, ⟨10.1007/978-3-031-09593-1_10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03782651/file/978-3-031-09593-1.pdf BibTex
titre
Empowering well-being through conversational coaching for active and healthy ageing
auteur
Michael Mctear, Kristiina Jokinen, Gérard Chollet, Christophe Lohr, Jérôme Boudy, Mohnish Dubey, Sonja Dana Roelen, Wanja Mössing, Rainer Wieching
article
International Conference on Smart Homes and Health Telematics (ICOST), Jun 2022, PARIS, France. ⟨10.1007/978-3-031-09593-1_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03955899/file/ICOST22_paper_8179.pdf BibTex
titre
Towards supervised real-time human activity recognition on embedded equipment
auteur
Houda Najeh, Christophe Lohr, Benoit Leduc
article
MetroLivEn 2022: IEEE International Workshop on Metrology for Living Environment, May 2022, Cosenza, Italy. pp.54-59, ⟨10.1109/MetroLivEnv54405.2022.9826937⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03783217/file/Towards_new_architectures_for_real_time_human_activity_recognition_in_smart_home_on_embedded_equipments%20%284%29.pdf BibTex
titre
Digital Twin Driven Smart Home: A Feasibility Study
auteur
Alireza Asvadi, Andrei Mitriakov, Christophe Lohr, Panagiotis Papadakis
article
9th International Conference On Smart Living and Public Health (ICOST 2022), 2022, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-03691144/file/ICOST22_camReady_Asvadi.pdf BibTex

Poster communications

titre
Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case study
auteur
Alireza Asvadi, Gaëlic Bechu, Antoine Beugnard, Caroline G. L. Cao, Christophe Lohr, Panagiotis Papadakis, Quentin Perez, Christelle Urtado, Sylvain Vauttier
article
Journées nationales du GDR GPL 2022, Jun 2022, Vannes, France. , 13, 2022, Actes des journées du GDR GPL 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03701748/file/PosterHUT_GDRGPL_22.pdf BibTex

2021

Journal articles

titre
Using Language Model to Bootstrap Human Activity Recognition Ambient Sensors Based in Smart Homes
auteur
Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Benoit Leduc, Ioannis Kanellos
article
Electronics, 2021, 10 (20), pp.2498. ⟨10.3390/electronics10202498⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03381762/file/Bouchabou2021E.pdf BibTex
titre
A Survey of Human Activity Recognition in Smart Homes Based on IoT Sensors Algorithms: Taxonomies, Challenges, and Opportunities with Deep Learning
auteur
Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Benoit Leduc, Ioannis Kanellos
article
Sensors, 2021, 21, ⟨10.3390/s21186037⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03343114/file/main.pdf BibTex

Conference papers

titre
Gestion d'interaction Humain-Cobot pour l'exécution de tâches en cuisine
auteur
Samia Benferhat, Florent Frizon de Lamotte, Christophe Lohr, Jean-Luc Philippe
article
JETSAN 2021 - Colloque en Télésanté et dispositifs biomédicaux - 8ème édition, Université Toulouse III - Paul Sabatier [UPS], May 2021, Toulouse, Blagnac, France
Accès au texte intégral et bibtex
https://hal.science/hal-03501202/file/Jetsan_der_version_3.pdf BibTex
titre
Fully Convolutional Network Bootstrapped by Word Encoding and Embedding for Activity Recognition in Smart Homes
auteur
Damien Bouchabou, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Benoit Leduc
article
DL-HAR 2021: 2nd International Workshop on Deep Learning for Human Activity Recognition, Jan 2021, Yokohama, Japan. pp.111-125, ⟨10.1007/978-981-16-0575-8_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03032449/file/samplepaper.pdf BibTex

Dictionary entry

titre
Human Activity Recognition (HAR) in Smart Homes
auteur
Damien Bouchabou, Christophe Lohr, Ioannis Kanellos, Sao Mai Nguyen
article
2021, https://encyclopedia.pub/17108
Accès au texte intégral et bibtex
https://hal.science/hal-03436948/file/har-in-smart-homes.pdf BibTex

2020

Journal articles

titre
Improvements of the xAAL Home Automation System
auteur
Christophe Lohr, Jérôme Kerdreux
article
Future internet, 2020, 12 (6), pp.104. ⟨10.3390/fi12060104⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02884559/file/futureinternet-12-00104-v2.pdf BibTex
titre
Building An Automated Gesture Imitation Game For Teenagers with ASD
auteur
Linda Nanan N Vallée, Christophe Lohr, Sao Mai Nguyen, Ioannis Kanellos, O. Asseu
article
Far East Journal of Electronics and Communications, 2020, 23 (1), pp.1 - 10. ⟨10.17654/EC023010001⟩
Accès au texte intégral et bibtex
https://imt-atlantique.hal.science/hal-02894314/file/Vallee2020EJEC.pdf BibTex
titre
Human Skeleton Detection, Modeling and Gesture Imitation Learning for a Social Purpose
auteur
Linda Nanan Vallée, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Olivier Asseu
article
Engineering, 2020, 12 (02), pp.90-98. ⟨10.4236/eng.2020.122009⟩
Accès au texte intégral et bibtex
https://imt-atlantique.hal.science/hal-02894323/file/2020ValleeEngineering.pdf BibTex

Conference papers

titre
How An Automated Gesture Imitation Game Can Improve Social Interactions With Teenagers With ASD
auteur
Linda Nanan Vallée, Sao Mai Nguyen, Christophe Lohr, Ioannis Kanellos, Olivier Asseu
article
IEEE ICRA Workshop on Social Robotics for Neurodevelopmental Disorders, Jun 2020, Paris, France. ⟨10.13140/RG.2.2.10961.25444⟩
Accès au texte intégral et bibtex
https://imt-atlantique.hal.science/hal-02894330/file/20200418_ICRA%202020_Social%20Robotics%20WP_smallSize_Letter.pdf BibTex

2019

Poster communications

titre
An implementation of an imitation game with ASD children to learn nursery rhymes
auteur
Sao Mai Nguyen, Nathalie Collot-Lavenne, Christophe Lohr, Sébastien Guillon, Patricio Tula, Alvaro Paez, Mouad Bouaida, Arthus Anin, Saad El Qacemi
article
HAI 2019 Workshop on Clinical Use of Technology for Individuals with Autism Spectrum Disorder, Oct 2019, Kyoto, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-02499990/file/Nguyen2019WCTIWASD.pdf BibTex

2018

Conference papers

titre
System Design for Coordinated Multi-Robot Assistance Deployment in Smart Spaces
auteur
Panagiotis Papadakis, Christophe Lohr, Marin Lujak, Abir B Karami, Ioannis Kanellos, Guillaume Lozenguez, Anthony Fleury
article
IRC 2018 : Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, United States. ⟨10.1109/IRC.2018.00068⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01699838/file/CHARMS_2018_paper_5.pdf BibTex

2017

Journal articles

titre
Plug and play your robot into your smart home: Illustration of a new framework
auteur
Sao Mai Nguyen, Christophe Lohr, Philippe Tanguy, Yiqiao Chen
article
KI - Künstliche Intelligenz, 2017, 31 (3), pp.283 - 289. ⟨10.1007/s13218-017-0494-8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01584437/file/paper.pdf BibTex
titre
Télé-rééducation fonctionnelle dans le cadre du projet VITAAL
auteur
André Thépaut, Sao Mai Nguyen, Christophe Lohr
article
Actualités en médecine physique et de réadaptation, 2017, 1, pp.18-19
Accès au texte intégral et bibtex
https://hal.science/hal-01514898/file/vitaal-V3.pdf BibTex
titre
A Transparent home Sensors/Actuators layer for Health &Well-being services
auteur
Philippe Tanguy, Mathieu Simonnet, Christophe Lohr, Jérôme Kerdreux
article
EAI endorsed transactions on pervasive health and technology, 2017, 3 (11), pp.1 - 7. ⟨10.4108/eai.18-7-2017.152900⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01598666/file/eai.18-7-2017.152900.pdf BibTex

2016

Conference papers

titre
Performance Analysis of NEMO augmented with MPTCP
auteur
Pratibha Mitharwal, Christophe Lohr, Annie Gravey
article
NTMS 2016 : International Conference on New Technologies, Mobility and Security , Nov 2016, Larnaca, Cyprus. pp.1 - 5, ⟨10.1109/NTMS.2016.7792468⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01510740/file/NTMS2016.pdf BibTex
titre
Choosing security elements for the xAAL home automation system
auteur
Christophe Lohr, Philippe Tanguy, Jérôme Kerdreux
article
ATC 2016 : 13th IEEE International Conference on Advanced and Trusted Computing, Jul 2016, Toulouse, France. pp.534 - 541, ⟨10.1109/uic-atc-scalcom-cbdcom-iop-smartworld.2016.0093⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01354837/file/article.pdf BibTex
titre
A Transparent home Sensors/Actuators layer for Health & Well-being services
auteur
Philippe Tanguy, Christophe Lohr, Jérôme Kerdreux
article
IoTCare 2016 : EAI (European Alliance for Innovation) International Conference on IoT and Big Data Technologies for HealthCare, Jun 2016, Budapest, Hungary. pp.29 - 35, ⟨10.1007/978-3-319-49655-9_5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01354817/file/article.pdf BibTex

2015

Journal articles

titre
xAAL: A Distributed Infrastructure for Heterogeneous Ambient Devices
auteur
Christophe Lohr, Philippe Tanguy, Jérôme Kerdreux
article
Journal of intelligent systems, 2015, 24 (3), pp.321 - 331. ⟨10.1515/jisys-2014-0144⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01187869/file/article-2.pdf BibTex

Conference papers

titre
Boosting NEMO with Multi-Path TCP
auteur
Pratibha Mitharwal, Christophe Lohr, Annie Gravey
article
NoF 2015 : 6th International Conference On Network of the Future, Sep 2015, Montreal, Canada. pp.1 - 7, ⟨10.1109/NOF.2015.7333299⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01247509/file/2015_final_NOF_NEMO_1570187381.pdf BibTex
titre
MPTCP Solution for Seamless Local SIPTO Mobility
auteur
Souheir Eido, Pratibha Mitharwal, Annie Gravey, Christophe Lohr
article
HPSR 2015 : 16th International Conference on High Performance Switching and Routing , Jul 2015, Budapest, Hungary. pp.1 - 6, ⟨10.1109/HPSR.2015.7483099⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01337291/file/2015_HPSR_MPTCP-Based%20SIPTO_COMBO_Format%20-%20copie.pdf BibTex

2014

Journal articles

titre
The software option
auteur
André Thépaut, Maria-Teresa Segarra, Christophe Lohr
article
International Innovation, 2014, 157
Accès au bibtex
BibTex

Conference papers

titre
Survey on Network Interface Selection in Multihomed Mobile Networks
auteur
Pratibha Mitharwal, Christophe Lohr, Annie Gravey
article
20th EUNICE/IFIP EG 6.2, 6.6 International Workshop (EUNICE 2014), Sep 2014, Rennes, France. pp.134-146, ⟨10.1007/978-3-319-13488-8_13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01167136/file/2014_eunice2014_pratibha.pdf BibTex
titre
A comparison between Ambient Assisted Living Systems
auteur
Molham Darwish, Eric Senn, Christophe Lohr, Yvon Kermarrec
article
ICOST 2014 : 12th International Conference on Smart Homes and Health Telematics, Jun 2014, Denver, United States. pp.231 - 237, ⟨10.1007/978-3-319-14424-5_26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01186325/file/icost2014_submission_23.pdf BibTex

2013

Journal articles

titre
AMALYS : Services multimedias pour l'Aide au MAintien du Lien Social
auteur
André Thépaut, Jérôme Kerdreux, Christophe Lohr, Maria-Teresa Segarra, Guillaume Yclon, Jean-Jacques Hennin, Tahar Boussaha
article
La Revue francophone de gériatrie et de gérontologie, 2013, 38 (4), pp.267 - 272
Accès au texte intégral et bibtex
https://hal.science/hal-00860502/file/AMALYS-revise97.pdf BibTex

2012

Conference papers

titre
A Framework for Unified Traffic Dynamic Routing at Private-Public Network Border
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
ICC 2012 : 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies, Jun 2012, Ottawa, Canada
Accès au bibtex
BibTex

2011

Journal articles

titre
Network management and control framework for hybrid converged environment
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
Cyber Journals: Multidisciplinary Journals in Science and Technology, 2011, pp.45-55
Accès au texte intégral et bibtex
https://hal.science/hal-00704161/file/CyberJournal_Aug2011.pdf BibTex

Conference papers

titre
MCDM method and semantics integration for unified communication management and control
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
FIT 2011: Frontiers of Information Technology, Dec 2011, Islamabad, Pakistan. pp.263-269, ⟨10.1109/FIT.2011.56⟩
Accès au bibtex
BibTex
titre
An integration of semantics in multi criteria decision making for converged multimedia network management
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
IEEE GLOBECOM 2011: Enabling Green Wireless Multimedia Communications, Dec 2011, Houston, Texas, United States. pp.712-717
Accès au texte intégral et bibtex
https://hal.science/hal-00725498/file/GlobeCom_2011.pdf BibTex
titre
Dynamic decision engine for unified communication
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
14th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems , Oct 2011, Miami Beach, Fl, United States. pp.31 - 40, ⟨10.1145/2069117.2069125⟩
Accès au bibtex
BibTex
titre
From individual communication to social networks: evolution of a technical platform for the elderly
auteur
Cécile Bothorel, Christophe Lohr, André Thépaut, Fabrice Bonnaud, Gilbert Cabasse
article
ICOST 2011: International Conference On Smart homes and health Telematics, Jun 2011, Montréal, Canada. pp.145-152, ⟨10.1007/978-3-642-21535-3_19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00609517/file/67190145.pdf BibTex
titre
Dynamic decision engine for data connections routing
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
INTERNET 2011: Third International Conference on Evolving Internet, Jun 2011, Luxembourg, Luxembourg
Accès au bibtex
BibTex
titre
Decision engine for SIP based dynamic call routing
auteur
Sajjad Ali Mushtaq, Christophe Lohr, Annie Gravey
article
5th International Conference on Autonomous Infrastructure, Management and Security, Jun 2011, Nancy France
Accès au bibtex
BibTex
titre
Decision Engine for SIP Based Dynamic Call Routing
auteur
Sajjad Ali Musthaq, Christophe Lohr, Annie Gravey
article
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.86-99, ⟨10.1007/978-3-642-21484-4_12⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01585858/file/978-3-642-21484-4_12_Chapter.pdf BibTex

2010

Conference papers

titre
Adaptation and customization of services for the elderly
auteur
André Thépaut, Maria-Teresa Segarra, Christophe Lohr, Pierre-Marie Chapon
article
7th world conference ISG10: International Society for Gerontechnology , May 2010, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01759102/file/Abstract-AIPA-SIGAAL.pdf BibTex

Books

titre
Contribution à la conception de systèmes temps-réel : utilisation de la technique de description formelle RT-Lotos
auteur
Christophe Lohr
article
Éditions universitaires européennes, pp.204, 2010, 978-613-1-534
Accès au bibtex
BibTex

2008

Conference papers

titre
Distributed call admission control in SIP based multimedia communication
auteur
Sajjad Ali Mushtaq, Osman Salem, Christophe Lohr, Annie Gravey
article
NEM Summit 2008 : international congress on Networked Electronic Media, october 13-15, Saint Malo, France, Oct 2008, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.science/hal-01809673/file/2008_mushtaq_nem-summit_paper_Distributed_Call-1.pdf BibTex
titre
Policy-based QoS management for multimedia communication
auteur
Sajjad Ali Mushtaq, Osman Salem, Christophe Lohr, Annie Gravey
article
14th Eunice Open European Summer School, september 8-10 Brest, France, Sep 2008, Brest, France
Accès au texte intégral et bibtex
https://hal.science/hal-01699774/file/2008_Eunice_final.pdf BibTex

2007

Conference papers

titre
M@LIS : un cahier de vie pour les enfants souffrant d'IMC
auteur
Sylvie Pronost, Jérôme Kerdreux, Christophe Lohr, Maria-Teresa Segarra, André Thépaut
article
ASSISTH'2007 : 1ère Conférence Internationale sur l'accessibilité et les systèmes de suppléance aux personnes en situation de handicap,, Dec 2007, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01765358/file/ENSTBr_INFO_RR_2007.051.pdf BibTex

2006

Journal articles

titre
Évolution d'une application orientée services vers les Services Web
auteur
André Thépaut, Jérôme Kerdreux, Yvon Kermarrec, Christophe Lohr, Philippe Normand
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2006, 76, pp.35 - 41
Accès au texte intégral et bibtex
https://hal.science/hal-01759101/file/TaPA_genieLogiciel-V2.pdf BibTex

2005

Book sections

titre
Early Validation of Deployment and Scheduling Constraints for MSC Specifications
auteur
Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng
article
Amyot, Danieland Williams, Alan W. System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1‐4, 2004, Revised Selected Papers, Springer Berlin Heidelberg, pp.106--121, 2005, 978‐3‐540‐31810‐1. ⟨10.1007/978-3-540-31810-1_8⟩
Accès au bibtex
BibTex

2004

Journal articles

titre
TURTLE: a real‐time UML profile supported by a formal validation toolkit
auteur
Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
article
IEEE Transactions on Software Engineering, 2004, 30 (7), pp.473--487
Accès au bibtex
BibTex
titre
Verifying service continuity in a satellite reconfiguration procedure
auteur
Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
article
Automated Software Engineering, 2004, 11, pp.167--192
Accès au bibtex
BibTex

Conference papers

titre
Derniers développements autour du profil UML temps réel TURTLE
auteur
Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
article
Journées "Formalisation des Activités Concurrentes" (FAC'2004), 2004, Unknown, Région indéterminée. pp.--12
Accès au bibtex
BibTex
titre
TURTLE : un pont entre UML et RT‐LOTOS
auteur
Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
article
Conference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, 2004, Unknown, Région indéterminée. pp.--4
Accès au bibtex
BibTex

2003

Conference papers

titre
New operators for the TURTLE real‐time UML profile
auteur
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
article
6th IFIP WG 6.1 International Conference on Formal Methods for Open Object‐Based Distributed Systems (FMOODS'2003), 2003, Unknown, Unknown Region
Accès au bibtex
BibTex

2002

Journal articles

titre
UML and RT‐LOTOS. An integration for real‐time system validation
auteur
Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
article
Journal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.1029--1042
Accès au bibtex
BibTex

Conference papers

titre
De la spécification à l'ordonnancement de systèmes contraints par le temps
auteur
Christophe Lohr, Jean-Pierre Courtiat
article
9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.209--222
Accès au bibtex
BibTex
titre
From the specification to the scheduling of time‐dependent systems
auteur
Christophe Lohr, Jean-Pierre Courtiat
article
7th International Symposium on Formal Techniques in Real‐Time and Fault‐Tolerant Systems (FTRTFT'2002), 2002, Unknown, Unknown Region
Accès au bibtex
BibTex
titre
Reconfiguration dynamique de protocoles embarqués à bord de satellites
auteur
Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
article
9ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2002), 2002, Unknown, Région indéterminée. pp.441--454
Accès au bibtex
BibTex

Theses

titre
Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos
auteur
Christophe Lohr
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2002. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00005228/file/tel-00005228.pdf BibTex

2001

Conference papers

titre
A new UML profile for real‐time system formal design and validation
auteur
Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat
article
4th International Conference on the Unified Modeling Language (UML'2001), 2001, Unknown, Unknown Region
Accès au bibtex
BibTex
titre
An integrated environment for the presentation of consistent SMIL 2.0 documents
auteur
Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat
article
ACM Symposium on Document Engineering (DocEng'01), 2001, Unknown, Unknown Region. pp.115--124
Accès au bibtex
BibTex
titre
UML et RT‐LOTOS. Vers une intégration informel/formel au service de la validation de systèmes temps réel
auteur
Pierre de Saqui-Sannes, Ludovic Apvrille, Christophe Lohr, Jean-Pierre Courtiat
article
Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001, Unknown, Région indéterminée. pp.513--528
Accès au bibtex
BibTex

2000

Journal articles

titre
Expérience with RT‐LOTOS, a temporal extension of the LOTOS formal description technique
auteur
Jean-Pierre Courtiat, Celso Santos, Christophe Lohr, Benaceur Outtaj
article
Computer Communications, 2000, 23 (12), pp.1104--1123
Accès au bibtex
BibTex