{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:47:40Z","timestamp":1759229260334,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,23]],"date-time":"2019-11-23T00:00:00Z","timestamp":1574467200000},"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":[[2019,11,23]]},"DOI":"10.1145\/3372422.3372437","type":"proceedings-article","created":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T23:20:13Z","timestamp":1581117613000},"page":"161-167","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Service Development of Smart Home Automation System"],"prefix":"10.1145","author":[{"given":"Jonayet","family":"Miah","sequence":"first","affiliation":[{"name":"Dept. of ECE, NSU, Bashundhara, Dhaka, Bangladesh"}]},{"given":"Razib Hayat","family":"Khan","sequence":"additional","affiliation":[{"name":"Dept. of CS, AIUB, Kuratoli, Dhaka, Bangladesh"}]}],"member":"320","published-online":{"date-parts":[[2020,2,7]]},"reference":[{"volume-title":"What is Home Automation System & how does it work. https:\/\/www.safewise.com\/home-security-faq\/how-does-home-automation-work. Accessed","year":"2019","key":"e_1_3_2_1_1_1","unstructured":"safewise. 2019. What is Home Automation System & how does it work. https:\/\/www.safewise.com\/home-security-faq\/how-does-home-automation-work. Accessed August 2019 . safewise. 2019. What is Home Automation System & how does it work. https:\/\/www.safewise.com\/home-security-faq\/how-does-home-automation-work. Accessed August 2019."},{"key":"e_1_3_2_1_2_1","first-page":"5","article-title":"Software performance evaluation utilizing UML specification and SRN model and their formal representation","volume":"10","author":"Khan R. H.","year":"2014","unstructured":"Khan , R. H. and Heegaard , P. E. 2014 . Software performance evaluation utilizing UML specification and SRN model and their formal representation . Journal of Software. 10 , 5 (Oct. 2014), 499--523. DOI = 10.17706\/jsw.10.5.499-523 Khan, R. H. and Heegaard, P. E. 2014. Software performance evaluation utilizing UML specification and SRN model and their formal representation. Journal of Software. 10, 5 (Oct. 2014), 499--523. DOI = 10.17706\/jsw.10.5.499-523","journal-title":"Journal of Software."},{"volume-title":"Intelligent Application in Heterogenous System Modeling and Design","author":"Khan R. H.","key":"e_1_3_2_1_3_1","unstructured":"Khan , R. H. 2014. Utilizing UML , cTLA, and SRN: Application to distributed system performance evaluation . In Intelligent Application in Heterogenous System Modeling and Design , K. Sharma, Ed. IGI Press. USA , 23--50. DOI = 10.4018\/978-1-4666-8493-5.ch002 Khan, R. H. 2014. Utilizing UML, cTLA, and SRN: Application to distributed system performance evaluation. In Intelligent Application in Heterogenous System Modeling and Design, K. Sharma, Ed. IGI Press. USA, 23--50. DOI = 10.4018\/978-1-4666-8493-5.ch002"},{"volume-title":"What are the benefits of automation. https:\/\/www.safewise.com\/faq\/home-automation\/home-auto mation-benefits\/. Retrieved","year":"2019","key":"e_1_3_2_1_4_1","unstructured":"safewise. 2019. What are the benefits of automation. https:\/\/www.safewise.com\/faq\/home-automation\/home-auto mation-benefits\/. Retrieved August 2019 . safewise. 2019. What are the benefits of automation. https:\/\/www.safewise.com\/faq\/home-automation\/home-auto mation-benefits\/. Retrieved August 2019."},{"key":"e_1_3_2_1_5_1","first-page":"9","article-title":"GSM Based Home Automation System Using App-Inventor for Android Mobile Phone","volume":"3","author":"Jivani M. N.","year":"2015","unstructured":"Jivani , M. N. 2015 . GSM Based Home Automation System Using App-Inventor for Android Mobile Phone . International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering. 3 , 9 (Aug. 2015). 12121--12128. Jivani, M. N. 2015. GSM Based Home Automation System Using App-Inventor for Android Mobile Phone. International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering. 3, 9 (Aug. 2015). 12121--12128.","journal-title":"International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering."},{"key":"e_1_3_2_1_6_1","first-page":"17","article-title":"Controlling home appliance remotely through voice command","volume":"48","author":"Baig F.","year":"2012","unstructured":"Baig , F. , Baig , S. and Khan , F. 2012 . Controlling home appliance remotely through voice command . International Journal of Computer Application. 48 , 17 (Dec. 20120). 1--4. DOI = 10.5120\/7437-0133 Baig, F., Baig, S. and Khan, F. 2012. Controlling home appliance remotely through voice command. International Journal of Computer Application. 48, 17 (Dec. 20120). 1--4. DOI = 10.5120\/7437-0133","journal-title":"International Journal of Computer Application."},{"key":"e_1_3_2_1_7_1","first-page":"4","article-title":"IoT Based Smart Security and Smart Home Automation","volume":"7","author":"Kousalya S.","year":"2018","unstructured":"Kousalya , S. Reddi , S. G. , Va Santhi , R. and Venkatesh , B. 2018 . IoT Based Smart Security and Smart Home Automation . International Journal of Engineering Research & Technology. 7 , 4 (Apr. 2018). 43--46. DOI = 10.1109\/CCAA.2016.7813916 Kousalya, S. Reddi, S. G., Va Santhi, R. and Venkatesh, B. 2018. IoT Based Smart Security and Smart Home Automation. International Journal of Engineering Research & Technology. 7, 4 (Apr. 2018). 43--46. DOI = 10.1109\/CCAA.2016.7813916","journal-title":"International Journal of Engineering Research & Technology."},{"volume-title":"Proceedings of IEEE International Symposium on Consumer Electronics","author":"Piyare R.","key":"e_1_3_2_1_8_1","unstructured":"Piyare , R. and Tazil , M . 2011. Bluetooth based home automation system using cell phone , In Proceedings of IEEE International Symposium on Consumer Electronics . Singapore, IEEE computer society. 192--195. Piyare, R. and Tazil, M. 2011. Bluetooth based home automation system using cell phone, In Proceedings of IEEE International Symposium on Consumer Electronics. Singapore, IEEE computer society. 192--195."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of International Conference on Mechatronics. Malaysia.","author":"AlShu'eili H.","year":"2011","unstructured":"AlShu'eili , H. , Gupta , G. S. and Mukhopadhyay , S . 2011. Voice recognition based wireless home automation system . In Proceedings of International Conference on Mechatronics. Malaysia. July 2011 . IEEE computer society. 1--6. AlShu'eili, H., Gupta, G. S. and Mukhopadhyay, S. 2011. Voice recognition based wireless home automation system. In Proceedings of International Conference on Mechatronics. Malaysia. July 2011. IEEE computer society. 1--6."},{"key":"e_1_3_2_1_10_1","first-page":"4","article-title":"The constructive research approach in project management research","volume":"4","author":"Oyegok A.","year":"2011","unstructured":"Oyegok , A. 2011 . The constructive research approach in project management research . International Journal of Managing Projects in Business. 4 , 4 (Jan. 2011), 573--595. DOI = 10.1108\/17538371111164029 Oyegok, A. 2011. The constructive research approach in project management research. International Journal of Managing Projects in Business. 4, 4 (Jan. 2011), 573--595. DOI = 10.1108\/17538371111164029","journal-title":"International Journal of Managing Projects in Business."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of Wireless Communication Society, Vehicular Technology, Information Theory and Electronics Systems Technology","author":"Mamun S.","year":"2009","unstructured":"Mamun , S. , Sultanul M. , Hossen S. and Khan , R. H . 2009. Policy based intrusion detection and response system in hierarchical WSN architecture . In Proceedings of Wireless Communication Society, Vehicular Technology, Information Theory and Electronics Systems Technology . Aalborg, Denmark , December 2009 . IEEE computer society. 303--307. Mamun, S., Sultanul M., Hossen S. and Khan, R. H. 2009. Policy based intrusion detection and response system in hierarchical WSN architecture. In Proceedings of Wireless Communication Society, Vehicular Technology, Information Theory and Electronics Systems Technology. Aalborg, Denmark, December 2009. IEEE computer society. 303--307."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Conference on the Late Advances in Networks","author":"Sultanul M.","year":"2007","unstructured":"Sultanul , M. , Khan , R. H. , Haque , M. and Mamun , S. I . 2007. Wi-Fi Vs WiMax: The best suited candidate technology for developing the future wireless infrastructure . In Proceedings of the International Conference on the Late Advances in Networks . Paris, France , August 2007 .IEEE computer society. Sultanul, M., Khan, R. H., Haque, M. and Mamun, S. I. 2007. Wi-Fi Vs WiMax: The best suited candidate technology for developing the future wireless infrastructure. In Proceedings of the International Conference on the Late Advances in Networks. Paris, France, August 2007.IEEE computer society."},{"key":"e_1_3_2_1_13_1","first-page":"3","article-title":"A smart and cost-effective fire detection system for developing country: An IoT based approach","volume":"11","author":"Khan R. H.","year":"2019","unstructured":"Khan , R. H. , Bhuiyan , Z. A. , Rahman S. S. and Khondaker , S. 2019 . A smart and cost-effective fire detection system for developing country: An IoT based approach . International Journal of Information Engineering and Electronic Business , 11 , 3 (May 2019), 16--24. DOI = 10.5815\/ijieeb.2019.03.03 Khan, R. H., Bhuiyan, Z. A., Rahman S. S. and Khondaker, S. 2019. A smart and cost-effective fire detection system for developing country: An IoT based approach. International Journal of Information Engineering and Electronic Business, 11, 3 (May 2019), 16--24. DOI = 10.5815\/ijieeb.2019.03.03","journal-title":"International Journal of Information Engineering and Electronic Business"}],"event":{"name":"CIIS 2019: 2019 The 2nd International Conference on Computational Intelligence and Intelligent Systems","sponsor":["Queensland University of Technology","City University of Hong Kong City University of Hong Kong"],"location":"Bangkok Thailand","acronym":"CIIS 2019"},"container-title":["Proceedings of the 2019 2nd International Conference on Computational Intelligence and Intelligent Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372422.3372437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372422.3372437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:21Z","timestamp":1750197741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372422.3372437"}},"subtitle":["A Formal Method Approach"],"short-title":[],"issued":{"date-parts":[[2019,11,23]]},"references-count":13,"alternative-id":["10.1145\/3372422.3372437","10.1145\/3372422"],"URL":"https:\/\/doi.org\/10.1145\/3372422.3372437","relation":{},"subject":[],"published":{"date-parts":[[2019,11,23]]},"assertion":[{"value":"2020-02-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}