{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:34:27Z","timestamp":1774456467113,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3278122.3278134","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"66-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Implementing a semi-causal domain-specific language for context detection over binary sensors"],"prefix":"10.1145","author":[{"given":"Nic","family":"Volanschi","sequence":"first","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Serpette","sequence":"additional","affiliation":[{"name":"Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Consel","sequence":"additional","affiliation":[{"name":"Bordeaux INP, France \/ Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.02.010"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_3_1","volume-title":"Technologies for Aging Gracefully. interactions 19, 3 (May","author":"Baecker Ronald M.","year":"2012","unstructured":"Ronald M. Baecker , Karyn Moffatt , and Michael Massimi . 2012. Technologies for Aging Gracefully. interactions 19, 3 (May 2012 ), 32-36. Ronald M. Baecker, Karyn Moffatt, and Michael Massimi. 2012. Technologies for Aging Gracefully. interactions 19, 3 (May 2012), 32-36."},{"key":"e_1_3_2_1_4_1","volume-title":"Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter.","author":"Bainomugisha Engineer","year":"2013","unstructured":"Engineer Bainomugisha , Andoni Lombide Carreton , Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter. 2013 . A Survey on Reactive Programming. ACM Comput. Surv. 45, 4, Article 52 (Aug. 2013), 34 pages. Engineer Bainomugisha, Andoni Lombide Carreton, Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter. 2013. A Survey on Reactive Programming. ACM Comput. Surv. 45, 4, Article 52 (Aug. 2013), 34 pages."},{"key":"e_1_3_2_1_5_1","unstructured":"T. Bourke and A. Sowmya. 2010. Delays in Esterel. In SYNCHRON 2009 (Dagstuhl Seminar Proceedings) Albert Benveniste Stephen A. Edwards Edward Lee Klaus Schneider and Reinhard von Hanxleden (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Germany Dagstuhl Germany. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2434.  T. Bourke and A. Sowmya. 2010. Delays in Esterel. In SYNCHRON 2009 (Dagstuhl Seminar Proceedings) Albert Benveniste Stephen A. Edwards Edward Lee Klaus Schneider and Reinhard von Hanxleden (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Germany Dagstuhl Germany. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2434."},{"key":"e_1_3_2_1_6_1","volume-title":"Analysis of Deterministic Tracking of Multiple Objects using a Binary Sensor Network. ACM Transactions on Sensor Networks 8","author":"Busnel Yann","year":"2011","unstructured":"Yann Busnel , Leonardo Querzoni , Roberto Baldoni , Marin Bertier , and Anne-Marie Kermarrec . 2011. Analysis of Deterministic Tracking of Multiple Objects using a Binary Sensor Network. ACM Transactions on Sensor Networks 8 ( 2011 ). https:\/\/hal.inria.fr\/inria-00590873. Yann Busnel, Leonardo Querzoni, Roberto Baldoni, Marin Bertier, and Anne-Marie Kermarrec. 2011. Analysis of Deterministic Tracking of Multiple Objects using a Binary Sensor Network. ACM Transactions on Sensor Networks 8 (2011). https:\/\/hal.inria.fr\/inria-00590873."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 8th International Conference on Applied Human Factors and Ergonomics (AHFE","author":"Consel Charles","year":"2017","unstructured":"Charles Consel , Lucile Dupuy , and H\u00e9l\u00e8ne Sauz\u00e9on . 2017 . HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach . In Proceedings of the 8th International Conference on Applied Human Factors and Ergonomics (AHFE 2017). Springer. Charles Consel, Lucile Dupuy, and H\u00e9l\u00e8ne Sauz\u00e9on. 2017. HomeAssist: An Assisted Living Platform for Aging in Place Based on an Interdisciplinary Approach. In Proceedings of the 8th International Conference on Applied Human Factors and Ergonomics (AHFE 2017). Springer."},{"key":"e_1_3_2_1_8_1","volume-title":"A First-Person Experience with End-User Development for Smart Homes","author":"Coutaz Jo\u00eblle","year":"2016","unstructured":"Jo\u00eblle Coutaz and James L Crowley . 2016. A First-Person Experience with End-User Development for Smart Homes . IEEE Pervasive Computing 15 ( May 2016 ), 26-39. Jo\u00eblle Coutaz and James L Crowley. 2016. A First-Person Experience with End-User Development for Smart Homes. IEEE Pervasive Computing 15 (May 2016), 26-39."},{"key":"e_1_3_2_1_9_1","volume-title":"Article 15 (June","author":"Cugola Gianpaolo","year":"2012","unstructured":"Gianpaolo Cugola and Alessandro Margara . 2012. Processing Flows of Information: From Data Stream to Complex Event Processing. ACM Comput. Surv. 44, 3 , Article 15 (June 2012 ), 62 pages. Gianpaolo Cugola and Alessandro Margara. 2012. Processing Flows of Information: From Data Stream to Complex Event Processing. ACM Comput. Surv. 44, 3, Article 15 (June 2012), 62 pages."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351276"},{"key":"e_1_3_2_1_11_1","volume-title":"Reactive Specification","author":"Gamati\u00e9 Abdoulaye","unstructured":"Abdoulaye Gamati\u00e9 . 2010. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous , Reactive Specification . Springer New York , New York, NY , Chapter Synchronous Programming: Overview, 21-39. Abdoulaye Gamati\u00e9. 2010. Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification. Springer New York, New York, NY, Chapter Synchronous Programming: Overview, 21-39."},{"key":"e_1_3_2_1_12_1","first-page":"1297","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence-Volume 2 (IJCAI'89)","author":"Ghallab Malik","year":"1989","unstructured":"Malik Ghallab and Amine Mounir Alaoui . 1989 . Managing Efficiently Temporal Relations Through Indexed Spanning Trees . In Proceedings of the 11th International Joint Conference on Artificial Intelligence-Volume 2 (IJCAI'89) . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA , 1297 - 1303 . http:\/\/dl.acm.org\/citation.cfm?id=1623891.1623963. Malik Ghallab and Amine Mounir Alaoui. 1989. Managing Efficiently Temporal Relations Through Indexed Spanning Trees. In Proceedings of the 11th International Joint Conference on Artificial Intelligence-Volume 2 (IJCAI'89). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1297-1303. http:\/\/dl.acm.org\/citation.cfm?id=1623891.1623963."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"e_1_3_2_1_14_1","unstructured":"David Janin and Bernard Paul Serpette. 2016. Timed Denotational Semantics for Causal Functions over Timed Streams. Research Report. LaBRI-Laboratoire Bordelais de Recherche en Informatique. https:\/\/hal.archives-ouvertes.fr\/hal-01402209.  David Janin and Bernard Paul Serpette. 2016. Timed Denotational Semantics for Causal Functions over Timed Streams . Research Report. LaBRI-Laboratoire Bordelais de Recherche en Informatique. https:\/\/hal.archives-ouvertes.fr\/hal-01402209."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2012.07.003"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3390\/s130505460"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.042313.00197"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2471842"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3099584"},{"key":"e_1_3_2_1_20_1","first-page":"82","article-title":"CCBL: A new language for End User Development in the Smart Homes","volume":"2017","author":"Terrier Lena\u00efc","year":"2017","unstructured":"Lena\u00efc Terrier , Alexandre Demeure , and Sybille Caffiau . 2017 . CCBL: A new language for End User Development in the Smart Homes . In Proceedings of IS-EUD 2017. 82 - 87 . https:\/\/pure.tue.nl\/ws\/files\/69763287\/IS_EUD2017_extended_abstracts.pdf#page=83. Lena\u00efc Terrier, Alexandre Demeure, and Sybille Caffiau. 2017. CCBL: A new language for End User Development in the Smart Homes. In Proceedings of IS-EUD 2017. 82-87. https:\/\/pure.tue.nl\/ws\/files\/69763287\/IS_EUD2017_extended_abstracts.pdf#page=83.","journal-title":"Proceedings of IS-EUD"},{"key":"e_1_3_2_1_21_1","first-page":"803","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14)","author":"Ur Blase","unstructured":"Blase Ur , Elyse McManus , Melwyn Pak Yong Ho , and Michael L. Littman . 2014. Practical Trigger-action Programming in the Smart Home . In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14) . ACM, New York, NY, USA , 803 - 812 . Blase Ur, Elyse McManus, Melwyn Pak Yong Ho, and Michael L. Littman. 2014. Practical Trigger-action Programming in the Smart Home. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '14). ACM, New York, NY, USA, 803-812."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TAC.2003.819073","article-title":"System identification using binary sensors","volume":"48","author":"Wang Le Yi","year":"2003","unstructured":"Le Yi Wang , Ji-Feng Zhang , and G. G. Yin . 2003 . System identification using binary sensors . IEEE Trans. Automat. Control 48 , 11 (Nov 2003), 1892-1907. Le Yi Wang, Ji-Feng Zhang, and G. G. Yin. 2003. System identification using binary sensors. IEEE Trans. Automat. Control 48, 11 (Nov 2003), 1892-1907.","journal-title":"IEEE Trans. Automat. Control"}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278134","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":22,"alternative-id":["10.1145\/3278122.3278134","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278134","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278134","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}