{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T23:53:52Z","timestamp":1775087632007,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005856","name":"Universidade Nova de Lisboa","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005856","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3196478.3196482","type":"proceedings-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T16:16:43Z","timestamp":1531844203000},"page":"41-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A building automation case study setup and challenges"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Cambeiro","sequence":"first","affiliation":[{"name":"Universidade NOVA de Lisboa, Portugal and University of Antwerp, Belgium"}]},{"given":"Cl\u00e1udio","family":"Gomes","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Portugal and University of Antwerp, Belgium"}]},{"given":"Vasco","family":"Amaral","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Portugal and University of Antwerp, Belgium"}]},{"given":"Armanda","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Portugal and University of Antwerp, Belgium"}]},{"given":"J\u00e1come","family":"Cunha","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, Portugal and University of Antwerp, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2769493.2769527"},{"key":"e_1_3_2_1_2_1","volume-title":"Software Quality Week Conference. 296--300","author":"Apfelbaum Larry","year":"1997","unstructured":"Larry Apfelbaum and John Doyle . 1997 . Model based testing . In Software Quality Week Conference. 296--300 . Larry Apfelbaum and John Doyle. 1997. Model based testing. In Software Quality Week Conference. 296--300."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2017.06.005"},{"key":"e_1_3_2_1_4_1","volume-title":"Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In 11th International Modelica Conference","author":"Bogomolov Sergiy","year":"2015","unstructured":"Sergiy Bogomolov , Marius Greitschus , Peter G. Jensen , Kim G. Larsen , Marius Miku\u010dionis , Thomas Strump , and Stavros Tripakis . 2015 . Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In 11th International Modelica Conference . Link\u00f6ping University Electronic Press, Paris, France, 159--169. Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Miku\u010dionis, Thomas Strump, and Stavros Tripakis. 2015. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In 11th International Modelica Conference. Link\u00f6ping University Electronic Press, Paris, France, 159--169."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/09613210802028428"},{"key":"e_1_3_2_1_6_1","unstructured":"Anna Carolina Kossmann de Menezes Richard Tetlow C Philip Beaman Dino Bouchlaghem Andrew Cripps and Richard A Buswell. 2012. Assessing the impact of occupant behaviour on electricity consumption for lighting and small power in office buildings. (2012).  Anna Carolina Kossmann de Menezes Richard Tetlow C Philip Beaman Dino Bouchlaghem Andrew Cripps and Richard A Buswell. 2012. Assessing the impact of occupant behaviour on electricity consumption for lighting and small power in office buildings. (2012)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2181037.2181040"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12273-016-0279-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2008.09.015"},{"key":"e_1_3_2_1_10_1","volume-title":"Behavioral aspects of lighting and occupancy sensors in private offices: a case study of a university office building. Summer Study on Energy Efficiency in Buildings","author":"Eilers Mark","year":"1996","unstructured":"Mark Eilers , John Reed , and Tec MRKT Works . 1996. Behavioral aspects of lighting and occupancy sensors in private offices: a case study of a university office building. Summer Study on Energy Efficiency in Buildings ( 1996 ). Mark Eilers, John Reed, and TecMRKT Works. 1996. Behavioral aspects of lighting and occupancy sensors in private offices: a case study of a university office building. Summer Study on Energy Efficiency in Buildings (1996)."},{"key":"e_1_3_2_1_11_1","volume-title":"Stefano Corgnati, and Bjarne W. Olesen.","author":"Fabi Valentina","year":"2012","unstructured":"Valentina Fabi , Rune Vinther Andersen , Stefano Corgnati, and Bjarne W. Olesen. 2012 . Occupants' window opening behaviour: A literature review of factors influencing occupant behaviour and models. Building and Environment 58 (dec 2012), 188--198. Valentina Fabi, Rune Vinther Andersen, Stefano Corgnati, and Bjarne W. Olesen. 2012. Occupants' window opening behaviour: A literature review of factors influencing occupant behaviour and models. Building and Environment 58 (dec 2012), 188--198."},{"key":"e_1_3_2_1_12_1","volume-title":"Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems","author":"Gomes Cl\u00e1udio","year":"2017","unstructured":"Cl\u00e1udio Gomes , Paschalis Karalis , Eva M. Navarro-L\u00f3pez , and Hans Vangheluwe . 2017 . Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems . Trento, Italy, to appear. Cl\u00e1udio Gomes, Paschalis Karalis, Eva M. Navarro-L\u00f3pez, and Hans Vangheluwe. 2017. Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems. Trento, Italy, to appear."},{"key":"e_1_3_2_1_13_1","volume-title":"IUTAM Symposium on Co-Simulation and Solver Coupling","author":"Gomes Cl\u00e1udio","year":"2017","unstructured":"Cl\u00e1udio Gomes , Beno\u00eet Legat , Rapha\u00ebl M. Jungers , and Hans Vangheluwe . 2017 . Stable Adaptive Co-simulation : A Switched Systems Approach . In IUTAM Symposium on Co-Simulation and Solver Coupling . Darmstadt, Germany, to appear. Cl\u00e1udio Gomes, Beno\u00eet Legat, Rapha\u00ebl M. Jungers, and Hans Vangheluwe. 2017. Stable Adaptive Co-simulation : A Switched Systems Approach. In IUTAM Symposium on Co-Simulation and Solver Coupling. Darmstadt, Germany, to appear."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '17)","author":"Gomes Cl\u00e1udio","year":"2017","unstructured":"Cl\u00e1udio Gomes , Yentl Van Tendeloo , Joachim Denil , Paul De Meulenaere , and Hans Vangheluwe . 2017 . Hybrid System Modelling and Simulation with Dirac Deltas . In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '17) . Virginia Beach, Virginia, USA, to appear. Cl\u00e1udio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. 2017. Hybrid System Modelling and Simulation with Dirac Deltas. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '17). Virginia Beach, Virginia, USA, to appear."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20050211"},{"key":"e_1_3_2_1_18_1","volume-title":"Gamification and serious games within the domain of domestic energy consumption: A systematic review. Renewable and Sustainable Energy Reviews 73 (jun","author":"Johnson Daniel","year":"2017","unstructured":"Daniel Johnson , Ella Horton , Rory Mulcahy , and Marcus Foth . 2017. Gamification and serious games within the domain of domestic energy consumption: A systematic review. Renewable and Sustainable Energy Reviews 73 (jun 2017 ), 249--264. Daniel Johnson, Ella Horton, Rory Mulcahy, and Marcus Foth. 2017. Gamification and serious games within the domain of domestic energy consumption: A systematic review. Renewable and Sustainable Energy Reviews 73 (jun 2017), 249--264."},{"key":"e_1_3_2_1_19_1","first-page":"11","article-title":"A Survey on Application Layer Protocols for the Internet of Things","volume":"3","author":"Karagiannis Vasileios","year":"2015","unstructured":"Vasileios Karagiannis , Periklis Chatzimisios , Francisco Vazquez-Gallego , and Jesus Alonso-Zarate . 2015 . A Survey on Application Layer Protocols for the Internet of Things . Transaction on IoT and Cloud Computing 3 , 1 (2015), 11 -- 17 . Vasileios Karagiannis, Periklis Chatzimisios, Francisco Vazquez-Gallego, and Jesus Alonso-Zarate. 2015. A Survey on Application Layer Protocols for the Internet of Things. Transaction on IoT and Cloud Computing 3, 1 (2015), 11--17.","journal-title":"Transaction on IoT and Cloud Computing"},{"key":"e_1_3_2_1_20_1","volume-title":"Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium","author":"Lawrence David P. Y.","year":"2016","unstructured":"David P. Y. Lawrence , Claudio Gomes , Joachim Denil , Hans Vangheluwe , and Didier Buchs . 2016 . Coupling Petri nets with Deterministic Formalisms Using Co-simulation . In Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium . Pasadena, CA, USA, 6:1--6:8. David P. Y. Lawrence, Claudio Gomes, Joachim Denil, Hans Vangheluwe, and Didier Buchs. 2016. Coupling Petri nets with Deterministic Formalisms Using Co-simulation. In Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Pasadena, CA, USA, 6:1--6:8."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_22_1","volume-title":"Modeling and Simulating Cyber-physical Systems Using CyPhySim. In 12th International Conference on Embedded Software (EMSOFT '15)","author":"Lee Edward A","year":"2015","unstructured":"Edward A Lee , Mehrdad Niknami , Thierry S Nouidui , and Michael Wetter . 2015 . Modeling and Simulating Cyber-physical Systems Using CyPhySim. In 12th International Conference on Embedded Software (EMSOFT '15) . IEEE Press, Piscataway, NJ, USA, 115--124. Edward A Lee, Mehrdad Niknami, Thierry S Nouidui, and Michael Wetter. 2015. Modeling and Simulating Cyber-physical Systems Using CyPhySim. In 12th International Conference on Embedded Software (EMSOFT '15). IEEE Press, Piscataway, NJ, USA, 115--124."},{"key":"e_1_3_2_1_23_1","unstructured":"Libelium. 2018. Open Aquarium Platform Description. (2018). https:\/\/www.cooking-hacks.com\/documentation\/tutorials\/open-aquarium-aquaponics-fish-tank-monitoring-arduino  Libelium. 2018. Open Aquarium Platform Description. (2018). https:\/\/www.cooking-hacks.com\/documentation\/tutorials\/open-aquarium-aquaponics-fish-tank-monitoring-arduino"},{"key":"e_1_3_2_1_24_1","volume-title":"SyVOLT: Full Model Transformation Verification Using Contracts. In 8th International Conference on Model Driven Engineering Languages and Systems","author":"L\u00facio Levi","year":"2015","unstructured":"Levi L\u00facio , Bentley James Oakes , Cl\u00e1udio Gomes , Gehan Selim , Juergen Dingel , James R. Cordy , and Hans Vangheluwe . 2015 . SyVOLT: Full Model Transformation Verification Using Contracts. In 8th International Conference on Model Driven Engineering Languages and Systems . Ottawa, Canada. Levi L\u00facio, Bentley James Oakes, Cl\u00e1udio Gomes, Gehan Selim, Juergen Dingel, James R. Cordy, andHans Vangheluwe. 2015. SyVOLT: Full Model Transformation Verification Using Contracts. In 8th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Canada."},{"key":"e_1_3_2_1_25_1","series-title":"Lecture Notes in Computer Science","volume-title":"System Level Formal Verification via Model Checking Driven Simulation","author":"Mancini Toni","unstructured":"Toni Mancini , Federico Mari , Annalisa Massini , Igor Melatti , Fabio Merli , and Enrico Tronci . 2013. System Level Formal Verification via Model Checking Driven Simulation . In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Lecture Notes in Computer Science , Vol. 8044 . Springer Berlin Heidelberg , 296--312. Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci. 2013. System Level Formal Verification via Model Checking Driven Simulation. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Lecture Notes in Computer Science, Vol. 8044. Springer Berlin Heidelberg, 296--312."},{"key":"e_1_3_2_1_26_1","volume-title":"Gaming for Earth: Serious games and gamification to engage consumers in pro-environmental behaviours for energy efficiency. Energy Research & Social Science 29 (jul","author":"Morganti Luca","year":"2017","unstructured":"Luca Morganti , Federica Pallavicini , Elena Cadel , Antonio Candelieri , Francesco Archetti , and Fabrizia Mantovani . 2017. Gaming for Earth: Serious games and gamification to engage consumers in pro-environmental behaviours for energy efficiency. Energy Research & Social Science 29 (jul 2017 ), 95--102. Luca Morganti, Federica Pallavicini, Elena Cadel, Antonio Candelieri, Francesco Archetti, and Fabrizia Mantovani. 2017. Gaming for Earth: Serious games and gamification to engage consumers in pro-environmental behaviours for energy efficiency. Energy Research & Social Science 29 (jul 2017), 95--102."},{"key":"e_1_3_2_1_27_1","volume-title":"Cyber Physical System Challenges for Human-in-the-Loop Control. The 8th International Workshop on Feedback Computing","author":"Munir Sirajum","year":"2013","unstructured":"Sirajum Munir , John a. Stankovic , Chieh-Jan Mike Liang , and Shan Lin . 2013 . Cyber Physical System Challenges for Human-in-the-Loop Control. The 8th International Workshop on Feedback Computing (2013). Sirajum Munir, John a. Stankovic, Chieh-Jan Mike Liang, and Shan Lin. 2013. Cyber Physical System Challenges for Human-in-the-Loop Control. The 8th International Workshop on Feedback Computing (2013)."},{"key":"e_1_3_2_1_28_1","volume-title":"The design of everyday things: Revised and expanded edition","author":"Norman Don","unstructured":"Don Norman . 2013. The design of everyday things: Revised and expanded edition . Basic Books (AZ) . Don Norman. 2013. The design of everyday things: Revised and expanded edition. Basic Books (AZ)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"T G Papaioannou D Kotsopoulos C Bardaki and S Lounis. 2017. \" IoT-Enabled Gamification for Energy Conservation in Public Buildings \". (2017).  T G Papaioannou D Kotsopoulos C Bardaki and S Lounis. 2017. \" IoT-Enabled Gamification for Energy Conservation in Public Buildings \". (2017).","DOI":"10.1109\/GIOTS.2017.8016269"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2010.524711"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611286.2611331"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.01397"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMAP.2015.7370087"},{"key":"e_1_3_2_1_34_1","volume-title":"Perumal Nallagownden, Irraivan Elamvazuthi, and Taib Ibrahim.","author":"Shaikh Pervez Hameed","year":"2014","unstructured":"Pervez Hameed Shaikh , Nursyarizal Bin Mohd Nor , Perumal Nallagownden, Irraivan Elamvazuthi, and Taib Ibrahim. 2014 . A review on optimized control systems for building energy and comfort management of smart sustainable buildings. Renewable and Sustainable Energy Reviews 34 (jun 2014), 409--429. Pervez Hameed Shaikh, Nursyarizal Bin Mohd Nor, Perumal Nallagownden, Irraivan Elamvazuthi, and Taib Ibrahim. 2014. A review on optimized control systems for building energy and comfort management of smart sustainable buildings. Renewable and Sustainable Energy Reviews 34 (jun 2014), 409--429."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2398816"},{"key":"e_1_3_2_1_36_1","volume-title":"Identifying behavioural predictors of small power electricity consumption in office buildings. Building and Environment 92 (oct","author":"Tetlow Richard M.","year":"2015","unstructured":"Richard M. Tetlow , Chris van Dronkelaar , C. Philip Beaman , Abbas A. Elmualim , and Kevin Couling . 2015. Identifying behavioural predictors of small power electricity consumption in office buildings. Building and Environment 92 (oct 2015 ), 75--85. Richard M. Tetlow, Chris van Dronkelaar, C. Philip Beaman, Abbas A. Elmualim, and Kevin Couling. 2015. Identifying behavioural predictors of small power electricity consumption in office buildings. Building and Environment 92 (oct 2015), 75--85."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_38_1","volume-title":"Personalized conditioning and its impact on thermal comfort and energy performance - A review. Renewable and Sustainable Energy Reviews 34 (jun","author":"Vesel\u00fd Michal","year":"2014","unstructured":"Michal Vesel\u00fd and Wim Zeiler . 2014. Personalized conditioning and its impact on thermal comfort and energy performance - A review. Renewable and Sustainable Energy Reviews 34 (jun 2014 ), 401--408. Michal Vesel\u00fd and Wim Zeiler. 2014. Personalized conditioning and its impact on thermal comfort and energy performance - A review. Renewable and Sustainable Energy Reviews 34 (jun 2014), 401--408."},{"key":"e_1_3_2_1_40_1","volume-title":"IEEE International Conference on Control Applications","volume":"2","author":"Yamada F.","unstructured":"F. Yamada , K. Yonezawa , S. Sugawara , and N. Nishimura . 1999. Development of air-conditioning control algorithm for building energy saving . In IEEE International Conference on Control Applications , Vol. 2 . IEEE, 1579--1584. F. Yamada, K. Yonezawa, S. Sugawara, and N. Nishimura. 1999. Development of air-conditioning control algorithm for building energy saving. In IEEE International Conference on Control Applications, Vol. 2. IEEE, 1579--1584."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/17452007.2013.837252"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196482","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196478.3196482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:05Z","timestamp":1750210745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":38,"alternative-id":["10.1145\/3196478.3196482","10.1145\/3196478"],"URL":"https:\/\/doi.org\/10.1145\/3196478.3196482","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}