{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:13:37Z","timestamp":1767046417412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":83,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC","award":["CRDPJ\/515254-2017"],"award-info":[{"award-number":["CRDPJ\/515254-2017"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416559","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:38:56Z","timestamp":1611790736000},"page":"299-311","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Hybrid deep neural networks to infer state models of black-box systems"],"prefix":"10.1145","author":[{"given":"Mohammad Jafar","family":"Mashhadi","sequence":"first","affiliation":[{"name":"University of Calgary, Calgary, Canada"}]},{"given":"Hadi","family":"Hemmati","sequence":"additional","affiliation":[{"name":"University of Calgary, Calgary, Canada"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Bayesian Online Changepoint Detection. stat 1050","author":"Adams Ryan Prescott","year":"2007","unstructured":"Ryan Prescott Adams and David JC MacKay. 2007. Bayesian Online Changepoint Detection. stat 1050 (2007), 19."},{"key":"e_1_3_2_1_3_1","volume-title":"A survey of methods for time series change point detection. Knowledge and information systems 51, 2","author":"Aminikhanghahi Samaneh","year":"2017","unstructured":"Samaneh Aminikhanghahi and Diane J Cook. 2017. A survey of methods for time series change point detection. Knowledge and information systems 51, 2 (2017), 339--367."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1186\/1687-6180-2012-70"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1162\/003465397557132"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-937X.00051"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1993.10594323"},{"key":"e_1_3_2_1_8_1","unstructured":"Mich\u00e8le Basseville Igor V Nikiforov et al. 1993. Detection of abrupt changes: theory and application. Vol. 104. prentice Hall Englewood Cliffs."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Ivan Beschastnikh Yuriy Brun Michael D Ernst Arvind Krishnamurthy and Thomas E Anderson. 2011. Mining temporal invariants from partially ordered logs. In Managing Large-scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques. 1--10.","DOI":"10.1145\/2038633.2038636"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2012.2185811"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-018-24271-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3131-6"},{"key":"e_1_3_2_1_16_1","volume-title":"Caglar Gulcehre, Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk, and Yoshua Bengio.","author":"Cho Kyunghyun","year":"2014","unstructured":"Kyunghyun Cho, Bart Van Merri\u00ebnboer, Caglar Gulcehre, Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk, and Yoshua Bengio. 2014. Learning phrase representations using RNN encoder-decoder for statistical machine translation. arXiv preprint arXiv:1406.1078 (2014)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10772-011-9116-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.105"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138912.1138918"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2005.851098"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.224"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn404"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2004.823819"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1214\/14-AOS1245"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194733.3194736"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1080\/07474946.2014.961842"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68125-0_15"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1982.10477763"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 2007 SIAM International Conference on Data Mining. SIAM, 515--520","author":"Id\u00e9 Tsuyoshi","year":"2007","unstructured":"Tsuyoshi Id\u00e9 and Koji Tsuda. 2007. Change-point detection using krylov subspace learning. In Proceedings of the 2007 SIAM International Conference on Data Mining. SIAM, 515--520."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1890\/ES11-00347.1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/645496.657889"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jspi.2017.09.003"},{"key":"e_1_3_2_1_36_1","unstructured":"Haidar Khan Lara Marcuse and B\u00fclent Yener. 2019. Deep density ratio estimation for change point detection. (2019). arXiv:1905.09876 [cs.LG]"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2012.737745"},{"key":"e_1_3_2_1_38_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma Diederik P","year":"2014","unstructured":"Diederik P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635890"},{"volume-title":"International Colloquium on Grammatical Inference","author":"Lang Kevin J","key":"e_1_3_2_1_40_1","unstructured":"Kevin J Lang, Barak A Pearlmutter, and Rodney A Price. 1998. Results of the abbadingo one DFA learning competition and a new evidence-driven state merging algorithm. In International Colloquium on Grammatical Inference. Springer, 1--12."},{"key":"e_1_3_2_1_41_1","volume-title":"Detection of multiple changes in a sequence of dependent variables. Stochastic Processes and their Applications 83, 1 (sep","author":"Lavielle Marc","year":"1999","unstructured":"Marc Lavielle. 1999. Detection of multiple changes in a sequence of dependent variables. Stochastic Processes and their Applications 83, 1 (sep 1999), 79--102. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S030441499900023X"},{"key":"e_1_3_2_1_42_1","volume-title":"Using penalized contrasts for the change-point problem. Signal processing 85, 8","author":"Lavielle Marc","year":"2005","unstructured":"Marc Lavielle. 2005. Using penalized contrasts for the change-point problem. Signal processing 85, 8 (2005), 1501--1510."},{"key":"e_1_3_2_1_43_1","volume-title":"Deep learning. nature 521, 7553","author":"LeCun Yann","year":"2015","unstructured":"Yann LeCun, Yoshua Bengio, and Geoffrey Hinton. 2015. Deep learning. nature 521, 7553 (2015), 436--444."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.24"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972771.59"},{"volume-title":"Mining software specifications: methodologies and applications","author":"Lo David","key":"e_1_3_2_1_47_1","unstructured":"David Lo, Siau-Cheng Khoo, Jiawei Han, and Chao Liu. 2011. Mining software specifications: methodologies and applications. CRC Press."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321710"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_50_1","volume-title":"Proc. icml","volume":"30","author":"Maas Andrew L","year":"2013","unstructured":"Andrew L Maas, Awni Y Hannun, and Andrew Y Ng. 2013. Rectifier nonlinearities improve neural network acoustic models. In Proc. icml, Vol. 30. 3."},{"key":"e_1_3_2_1_51_1","volume-title":"Interactive Semi-automated Specification Mining for Debugging: An Experience Report. arXiv preprint arXiv:1905.02245","author":"Mashhadi Mohammad Jafar","year":"2019","unstructured":"Mohammad Jafar Mashhadi, Taha R Siddiqui, Hadi Hemmati, and Howard Loewen. 2019. Interactive Semi-automated Specification Mining for Debugging: An Experience Report. arXiv preprint arXiv:1905.02245 (2019)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/3DV.2016.79"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2971763.2971764"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.3390\/s17112556"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0957-4174(01)00058-6"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.3390\/s16010115"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAISE.2015.11"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1111\/rssb.12202"},{"key":"e_1_3_2_1_59_1","volume-title":"Poul J\u00f8rgen Jennum, and Christian Igel","author":"Perslev Mathias","year":"2019","unstructured":"Mathias Perslev, Michael Jensen, Sune Darkner, Poul J\u00f8rgen Jennum, and Christian Igel. 2019. U-Time: A Fully Convolutional Network for Time Series Segmentation Applied to Sleep Staging. In Advances in Neural Information Processing Systems. 4417--4428."},{"key":"e_1_3_2_1_60_1","volume-title":"Anomalies Detection in Wireless Sensor Networks Using Bayesian Change-points. In 2016 IEEE 13th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). IEEE, 384--385","author":"Ramos Rychelly Glenneson","year":"2016","unstructured":"Rychelly Glenneson da S Ramos, Paulo Ribeiro, and Jos\u00e9 Vin\u00edcius de M Cardoso. 2016. Anomalies Detection in Wireless Sensor Networks Using Bayesian Change-points. In 2016 IEEE 13th International Conference on Mobile Ad Hoc and Sensor Systems (MASS). IEEE, 384--385."},{"volume-title":"Feedback systems : an introduction for scientists and engineers","author":"Karl Karl J","key":"e_1_3_2_1_61_1","unstructured":"Karl J (Karl Johan) \u00c5str\u00f6m. 2008. Feedback systems : an introduction for scientists and engineers. Princeton University Press, Princeton."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9892.00286"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1175\/JAM2493.1"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24574-4_28"},{"key":"e_1_3_2_1_65_1","volume-title":"Change point analysis for longitudinal physiological data: detection of cardio-respiratory changes preceding panic attacks. Biological psychology 84, 1","author":"Rosenfield David","year":"2010","unstructured":"David Rosenfield, Enlu Zhou, Frank H Wilhelm, Ansgar Conrad, Walton T Roth, and Alicia E Meuret. 2010. Change point analysis for longitudinal physiological data: detection of cardio-respiratory changes preceding panic attacks. Biological psychology 84, 1 (2010), 112--120."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2012.13"},{"key":"e_1_3_2_1_67_1","volume-title":"A cluster analysis method for grouping means in the analysis of variance. Biometrics","author":"Scott Andrew Jhon","year":"1974","unstructured":"Andrew Jhon Scott and M Knott. 1974. A cluster analysis method for grouping means in the analysis of variance. Biometrics (1974), 507--512."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606586"},{"key":"e_1_3_2_1_69_1","volume-title":"Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556","author":"Simonyan Karen","year":"2014","unstructured":"Karen Simonyan and Andrew Zisserman. 2014. Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556 (2014)."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966182"},{"volume-title":"Deep learning in medical image analysis and multimodal learning for clinical decision support","author":"Sudre Carole H","key":"e_1_3_2_1_71_1","unstructured":"Carole H Sudre, Wenqi Li, Tom Vercauteren, Sebastien Ourselin, and M Jorge Cardoso. 2017. Generalised dice overlap as a deep learning loss function for highly unbalanced segmentations. In Deep learning in medical image analysis and multimodal learning for clinical decision support. Springer, 240--248."},{"key":"e_1_3_2_1_72_1","volume-title":"A unifying framework for detecting outliers and change points from time series","author":"Kenji Yamanishi Takeuchi","year":"2006","unstructured":"Jun-ichi Takeuchi and Kenji Yamanishi. 2006. A unifying framework for detecting outliers and change points from time series. IEEE transactions on Knowledge and Data Engineering 18, 4 (2006), 482--492."},{"key":"e_1_3_2_1_73_1","volume-title":"Selective review of offline change point detection methods. (jan","author":"Truong Charles","year":"2018","unstructured":"Charles Truong, Laurent Oudre, and Nicolas Vayatis. 2018. Selective review of offline change point detection methods. (jan 2018). arXiv:1801.00718 http:\/\/arxiv.org\/abs\/1801.00718"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.5555\/645838.670720"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96562-8_4"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.patrec.2018.02.010"},{"key":"e_1_3_2_1_78_1","volume-title":"Non-parametric change-point method for differential gene expression detection. PloS one 6, 5","author":"Wang Yao","year":"2011","unstructured":"Yao Wang, Chunguo Wu, Zhaohua Ji, Binghong Wang, and Yanchun Liang. 2011. Non-parametric change-point method for differential gene expression detection. PloS one 6, 5 (2011)."},{"volume-title":"Time series classification from scratch with deep neural networks: A strong baseline. In 2017 International joint conference on neural networks (IJCNN)","author":"Wang Zhiguang","key":"e_1_3_2_1_79_1","unstructured":"Zhiguang Wang, Weizhong Yan, and Tim Oates. 2017. Time series classification from scratch with deep neural networks: A strong baseline. In 2017 International joint conference on neural networks (IJCNN). IEEE, 1578--1585."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITA.2013.6502987"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAMI.0000023676.72185.7c"},{"key":"e_1_3_2_1_82_1","volume-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence.","author":"Yang Jianbo","year":"2015","unstructured":"Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiao Li Li, and Shonali Krishnaswamy. 2015. Deep convolutional neural networks on multichannel time series for human activity recognition. In Twenty-Fourth International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","unstructured":"Shuochao Yao Shaohan Hu Yiran Zhao Aston Zhang and Tarek Abdelzaher. 2017. DeepSense: a Unified Deep Learning Framework for Time-Series Mobile Sensing Data Processing. (2017). 10.1145\/3038912.3052577","DOI":"10.1145\/3038912.3052577"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10590-1_53"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.mobicase.2014.257786"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1088\/0256-307X\/17\/2\/004"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4478-2"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416559","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:38Z","timestamp":1750197698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":83,"alternative-id":["10.1145\/3324884.3416559","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416559","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}