{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:04Z","timestamp":1750306204923,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,28]],"date-time":"2016-11-28T00:00:00Z","timestamp":1480291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11,28]]},"DOI":"10.1145\/2994374.2994398","type":"proceedings-article","created":{"date-parts":[[2016,11,22]],"date-time":"2016-11-22T19:49:28Z","timestamp":1479844168000},"page":"264-273","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments"],"prefix":"10.1145","author":[{"given":"G\u00e9rald","family":"Rocher","sequence":"first","affiliation":[{"name":"GFI Informatique, Groupe Innovation, Saint-Ouen, France and Universit\u00e9 C\u00f4te d'Azur, CNRS, UMR, France"}]},{"given":"Jean-Yves","family":"Tigli","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, UMR, France"}]},{"given":"St\u00e9phane","family":"Lavirotte","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, UMR, France"}]}],"member":"320","published-online":{"date-parts":[[2016,11,28]]},"reference":[{"volume-title":"http:\/\/www.iesna.org\/ {Online","year":"2016","key":"e_1_3_2_1_1_1","unstructured":"Illuminating engineering society. http:\/\/www.iesna.org\/ {Online ; accessed 3- Sept- 2016 }. Illuminating engineering society. http:\/\/www.iesna.org\/ {Online; accessed 3-Sept-2016}."},{"volume-title":"http:\/\/www.iea.org\/topics\/energyefficiency\/subtopics\/lighting\/ {Online","year":"2016","key":"e_1_3_2_1_2_1","unstructured":"International energy agency. http:\/\/www.iea.org\/topics\/energyefficiency\/subtopics\/lighting\/ {Online ; accessed 3- Sept- 2016 }. International energy agency. http:\/\/www.iea.org\/topics\/energyefficiency\/subtopics\/lighting\/ {Online; accessed 3-Sept-2016}."},{"key":"e_1_3_2_1_3_1","unstructured":"Qfsm the finite state machine designer. http:\/\/qfsm.sourceforge.net\/ {Online; accessed 3-Sept-2016}.  Qfsm the finite state machine designer. http:\/\/qfsm.sourceforge.net\/ {Online; accessed 3-Sept-2016}."},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of cyber-physical systems","author":"Alur R.","year":"2015","unstructured":"R. Alur . Principles of cyber-physical systems . MIT Press , 2015 . R. Alur. Principles of cyber-physical systems. MIT Press, 2015."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-16684-6","volume-title":"Viability Theory: New Directions","author":"Aubin J.-P.","year":"2011","unstructured":"J.-P. Aubin , A. Bayen , and P. Saint-Pierre . Viability Theory: New Directions . Springer , 2011 . J.-P. Aubin, A. Bayen, and P. Saint-Pierre. Viability Theory: New Directions. Springer, 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320429"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591118"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-08915-7","volume-title":"Models@runtime: foundations, applications, and roadmaps","author":"Bencomo N.","year":"2014","unstructured":"N. Bencomo , R. France , B. Cheng , and U. A\u00dfmann . Models@runtime: foundations, applications, and roadmaps , volume 8378 . Springer , 2014 . N. Bencomo, R. France, B. Cheng, and U. A\u00dfmann. Models@runtime: foundations, applications, and roadmaps, volume 8378. Springer, 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"e_1_3_2_1_10_1","volume-title":"GMM-Fachbericht-ZuE","author":"Chipman W.","year":"2015","unstructured":"W. Chipman , C. Grimm , and C. Radojicic . Coverage of uncertainties in cyber-physical systems . GMM-Fachbericht-ZuE , 2015 . W. Chipman, C. Grimm, and C. Radojicic. Coverage of uncertainties in cyber-physical systems. GMM-Fachbericht-ZuE, 2015."},{"key":"e_1_3_2_1_11_1","volume-title":"Lighting in schools","author":"de Bruin-Hordijk T.","year":"2012","unstructured":"T. de Bruin-Hordijk and E. de Groor . Lighting in schools , 2012 . http:\/\/lightinglab.fi\/IEAAnnex45\/publications\/Technical_reports\/lighting_in_schools.pdf {Online; accessed 3-Sept-2016}. T. de Bruin-Hordijk and E. de Groor. Lighting in schools, 2012. http:\/\/lightinglab.fi\/IEAAnnex45\/publications\/Technical_reports\/lighting_in_schools.pdf {Online; accessed 3-Sept-2016}."},{"key":"e_1_3_2_1_12_1","volume-title":"Software engineering for self-adaptive systems: Assurances (dagstuhl seminar 13511). Dagstuhl Reports, 3(12)","author":"de Lemos R.","year":"2014","unstructured":"R. de Lemos , D. Garlan , C. Ghezzi , and H. Giese . Software engineering for self-adaptive systems: Assurances (dagstuhl seminar 13511). Dagstuhl Reports, 3(12) , 2014 . R. de Lemos, D. Garlan, C. Ghezzi, and H. Giese. Software engineering for self-adaptive systems: Assurances (dagstuhl seminar 13511). Dagstuhl Reports, 3(12), 2014."},{"key":"e_1_3_2_1_13_1","first-page":"47","volume-title":"Models@runtime","author":"Giese H.","year":"2014","unstructured":"H. Giese , N. Bencomo , L. Pasquale , A. J. Ramirez , P. Inverardi , S. W\u00e4tzoldt , and S. Clarke . Living with uncertainty in the age of runtime models . In Models@runtime , pages 47 -- 100 . Springer , 2014 . H. Giese, N. Bencomo, L. Pasquale, A. J. Ramirez, P. Inverardi, S. W\u00e4tzoldt, and S. Clarke. Living with uncertainty in the age of runtime models. In Models@runtime, pages 47--100. Springer, 2014."},{"volume-title":"2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE'08)","author":"Hunkeler U.","key":"e_1_3_2_1_14_1","unstructured":"U. Hunkeler , H. L. Truong , and A. Stanford-Clark . MQTT-S A publish\/subscribe protocol for wireless sensor networks . In 2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE'08) . U. Hunkeler, H. L. Truong, and A. Stanford-Clark. MQTT-S A publish\/subscribe protocol for wireless sensor networks. In 2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE'08)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316471104"},{"key":"e_1_3_2_1_16_1","volume-title":"Ubiquitous computing fundamentals","author":"Krumm J.","year":"2016","unstructured":"J. Krumm . Ubiquitous computing fundamentals . CRC Press , 2016 . J. Krumm. Ubiquitous computing fundamentals. CRC Press, 2016."},{"key":"e_1_3_2_1_17_1","first-page":"42","volume-title":"International Colloquium on Theoretical Aspects of Computing","author":"Kwiatkowska M.","year":"2013","unstructured":"M. Kwiatkowska . Advances in quantitative verification for ubiquitous computing . In International Colloquium on Theoretical Aspects of Computing , pages 42 -- 58 . Springer , 2013 . M. Kwiatkowska. Advances in quantitative verification for ubiquitous computing. In International Colloquium on Theoretical Aspects of Computing, pages 42--58. Springer, 2013."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-013-0249-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134293"},{"key":"e_1_3_2_1_20_1","volume-title":"ICEH-3rd International Congress on Environmental Health","author":"Pinto M.","year":"2014","unstructured":"M. Pinto , R. Almeida , P. Pinho , and L. Lemos . Daylighting in classrooms-the daylight factor as a performance criterion . In ICEH-3rd International Congress on Environmental Health , 2014 . M. Pinto, R. Almeida, P. Pinho, and L. Lemos. Daylighting in classrooms-the daylight factor as a performance criterion. In ICEH-3rd International Congress on Environmental Health, 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"},{"key":"e_1_3_2_1_22_1","first-page":"117","volume-title":"International SDL Forum","author":"Sacha K.","year":"2007","unstructured":"K. Sacha . Translatable finite state time machine . In International SDL Forum , pages 117 -- 132 . Springer , 2007 . K. Sacha. Translatable finite state time machine. In International SDL Forum, pages 117--132. Springer, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2836127.2836131"},{"key":"e_1_3_2_1_24_1","volume-title":"Dec","author":"Souza C. R.","year":"2014","unstructured":"C. R. Souza . The accord.net framework , Dec 2014 . http:\/\/accord-framework.net. S\u00e3o Carlos , Brazil . C. R. Souza. The accord.net framework, Dec 2014. http:\/\/accord-framework.net. S\u00e3o Carlos, Brazil."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_15"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1208781"},{"key":"e_1_3_2_1_28_1","volume-title":"Assurances for Self-Adaptive Systems, Dagstuhl Seminar","volume":"13511","author":"Weyns D.","year":"2014","unstructured":"D. Weyns , N. Bencomo , R. Calinescu , J. Camara , C. Ghezzi , V. Grassi , L. Grunske , P. Inverardi , J.-M. Jezequel , S. Malek , Perpetual assurances in self-adaptive systems . In Assurances for Self-Adaptive Systems, Dagstuhl Seminar , volume 13511 , 2014 . D. Weyns, N. Bencomo, R. Calinescu, J. Camara, C. Ghezzi, V. Grassi, L. Grunske, P. Inverardi, J.-M. Jezequel, S. Malek, et al. Perpetual assurances in self-adaptive systems. In Assurances for Self-Adaptive Systems, Dagstuhl Seminar, volume 13511, 2014."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.11.011"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42061-5_16"}],"event":{"name":"MOBIQUITOUS 2016: Computing, Networking and Services","sponsor":["EAI The European Alliance for Innovation","SIGAPP ACM Special Interest Group on Applied Computing","SIGBED ACM Special Interest Group on Embedded Systems","KDDI R&D Laboratories Inc."],"location":"Hiroshima Japan","acronym":"MOBIQUITOUS 2016"},"container-title":["Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2994374.2994398","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2994374.2994398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:33Z","timestamp":1750218633000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2994374.2994398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,28]]},"references-count":30,"alternative-id":["10.1145\/2994374.2994398","10.1145\/2994374"],"URL":"https:\/\/doi.org\/10.1145\/2994374.2994398","relation":{},"subject":[],"published":{"date-parts":[[2016,11,28]]},"assertion":[{"value":"2016-11-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}