A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments. - Christian Hoareau; Ichiro Satoh (OTM Workshops (2), 2007)

Design of a Ubiquitous System for Affective Bonding and Support within the Family. - Sébastien Duval; Christian Hoareau; Hiromichi Hashizume (AINA Workshops, 2008)

Fundamental Needs in Intelligent Environments: Specificities for Older Adults. - Sébastien Duval; Christian Hoareau; Hiromichi Hashizume (AINA Workshops, 2008)

Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments. - Christian Hoareau; Ichiro Satoh (AINA, 2008)

Human Universality in Ubiquitous Computing: Maslow, Where Are You? - Sébastien Duval; Christian Hoareau; Hiromichi Hashizume (EUC (1), 2008)

Query Language for Location-Based Services: A Model Checking Approach. - Christian Hoareau; Ichiro Satoh (IEICE Trans. Inf. Syst., 2008)

Considering Personal Profiles for Comfortable and Efficient Interactions with Smart Clothes. - Sébastien Duval; Christian Hoareau; Gilsoo Cho (HCI (3), 2009)

From model checking to data management in pervasive computing: a location-based query-processing framework. - Christian Hoareau; Ichiro Satoh (ICPS, 2009)

Modeling and Processing Information for Context-Aware Computing: A Survey. - Christian Hoareau; Ichiro Satoh (New Gener. Comput., 2009)

A model checking based framework for building correct context-aware systems. - Christian Hoareau (2009)