{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:16Z","timestamp":1762459516277,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation (NSF)","doi-asserted-by":"publisher","award":["CNS 1464311, EPCN 1509804, SHF 1527398"],"award-info":[{"award-number":["CNS 1464311, EPCN 1509804, SHF 1527398"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Air Force Office of Scientific Research (AFOSR)","award":["FA9550-15-1-0258, FA9550-16-1-0246"],"award-info":[{"award-number":["FA9550-15-1-0258, FA9550-16-1-0246"]}]},{"name":"Air Force Research Laboratory (AFRL)","award":["FA8750-15-1-0105, FA8650-12-3-7255, WBSC 7255 SOI VU 0001"],"award-info":[{"award-number":["FA8750-15-1-0105, FA8650-12-3-7255, WBSC 7255 SOI VU 0001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127058","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"104-113","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Hyperproperties of real-valued signals"],"prefix":"10.1145","author":[{"given":"Luan Viet","family":"Nguyen","sequence":"first","affiliation":[{"name":"University of Texas at Arlington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[{"name":"Toyota Motor North America R&D"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqing","family":"Jin","sequence":"additional","affiliation":[{"name":"Toyota Motor North America R&D"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"Toyota Motor North America R&D"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2014 IEEE 4th Annual International Conference on. IEEE, 1--6.","author":"Abbas Houssam","year":"2014","unstructured":"Houssam Abbas , Bardh Hoxha , Georgios Fainekos , and Koichi Ueda . 2014 . Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems. In Cyber Technology in Automation, Control, and Intelligent Systems (CYBER) , 2014 IEEE 4th Annual International Conference on. IEEE, 1--6. Houssam Abbas, Bardh Hoxha, Georgios Fainekos, and Koichi Ueda. 2014. Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems. In Cyber Technology in Automation, Control, and Intelligent Systems (CYBER), 2014 IEEE 4th Annual International Conference on. IEEE, 1--6."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773563.2773639"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.24"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2830840.2830844"},{"volume-title":"Distributed systems: methods and tools for specification. An advanced course","author":"Alford Mack W","key":"e_1_3_2_1_6_1","unstructured":"Mack W Alford , Jean-Pierre Ansart , G\u00fcnter Hommel , Leslie Lamport , Barbara Liskov , Geoff P Mullery , and Fred B Schneider . 1985. Distributed systems: methods and tools for specification. An advanced course . Springer-Verlag New York, Inc. Mack W Alford, Jean-Pierre Ansart, G\u00fcnter Hommel, Leslie Lamport, Barbara Liskov, Geoff P Mullery, and Fred B Schneider. 1985. Distributed systems: methods and tools for specification. An advanced course. Springer-Verlag New York, Inc."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009669"},{"key":"e_1_3_2_1_8_1","volume-title":"Detection of False-data Injection Attacks in Cyber-Physical DC Microgrids","author":"Beg Omar","year":"2017","unstructured":"Omar Beg , Taylor Johnson , and Ali Davoudi . 2017. Detection of False-data Injection Attacks in Cyber-Physical DC Microgrids . IEEE Transactions on Industrial Informatics ( 2017 ). Omar Beg, Taylor Johnson, and Ali Davoudi. 2017. Detection of False-data Injection Attacks in Cyber-Physical DC Microgrids. IEEE Transactions on Industrial Informatics (2017)."},{"volume-title":"Stability theory of dynamical systems","author":"Bhatia Nam Parshad","key":"e_1_3_2_1_9_1","unstructured":"Nam Parshad Bhatia and Giorgio P Szeg\u00f6 . 2002. Stability theory of dynamical systems . Springer Science & Business Media . Nam Parshad Bhatia and Giorgio P Szeg\u00f6. 2002. Stability theory of dynamical systems. Springer Science & Business Media."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646762.706179"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-008-0058-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"volume-title":"Computer Aided Verification","author":"Donz\u00e9 Alexandre","key":"e_1_3_2_1_17_1","unstructured":"Alexandre Donz\u00e9 , Thomas Ferrere , and Oded Maler . 2013. Efficient robust monitoring for STL . In Computer Aided Verification . Springer , 264--279. Alexandre Donz\u00e9, Thomas Ferrere, and Oded Maler. 2013. Efficient robust monitoring for STL. In Computer Aided Verification. Springer, 264--279."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_13"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2010.36"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2010.36"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_22"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_12"},{"key":"e_1_3_2_1_24_1","unstructured":"Bardh Hoxha Adel Dokhanchi and Georgios Fainekos. {n. d.}. Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer ({n. d.}) 1--15.  Bardh Hoxha Adel Dokhanchi and Georgios Fainekos. {n. d.}. Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer ({n. d.}) 1--15."},{"key":"e_1_3_2_1_25_1","first-page":"1704","article-title":"Mining requirements from closed-loop control models. Computer-Aided Design of Integrated Circuits and Systems","volume":"34","author":"Jin Xiaoqing","year":"2015","unstructured":"Xiaoqing Jin , Alexandre Donz\u00e9 , Jyotirmoy V Deshmukh , and Sanjit A Seshia . 2015 . Mining requirements from closed-loop control models. Computer-Aided Design of Integrated Circuits and Systems , IEEE Transactions on 34 , 11 (2015), 1704 -- 1717 . Xiaoqing Jin, Alexandre Donz\u00e9, Jyotirmoy V Deshmukh, and Sanjit A Seshia. 2015. Mining requirements from closed-loop control models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 34, 11 (2015), 1704--1717.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646647.699203"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/646764.703989"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996771"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646761.706156"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_1_31_1","volume-title":"2011 13th IEEE International Conference on. IEEE, 150--156","author":"Li Chunxiao","year":"2011","unstructured":"Chunxiao Li , Anand Raghunathan , and Niraj K Jha . 2011 . Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system. In e-Health Networking Applications and Services (Healthcom) , 2011 13th IEEE International Conference on. IEEE, 150--156 . Chunxiao Li, Anand Raghunathan, and Niraj K Jha. 2011. Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system. In e-Health Networking Applications and Services (Healthcom), 2011 13th IEEE International Conference on. IEEE, 150--156."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2284438"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_33_1","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152--166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152--166."},{"key":"e_1_3_2_1_34_1","volume-title":"Detection of faults and attacks including false data injection attack in smart grid using kalman filter","author":"Manandhar Kebina","year":"2014","unstructured":"Kebina Manandhar , Xiaojun Cao , Fei Hu , and Yao Liu . 2014. Detection of faults and attacks including false data injection attack in smart grid using kalman filter . IEEE transactions on control of network systems 1, 4 ( 2014 ), 370--379. Kebina Manandhar, Xiaojun Cao, Fei Hu, and Yao Liu. 2014. Detection of faults and attacks including false data injection attack in smart grid using kalman filter. IEEE transactions on control of network systems 1, 4 (2014), 370--379."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1987.10009"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63849"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/882490.884224"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2015.7282993"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161428"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"e_1_3_2_1_41_1","unstructured":"Markus N Rabe. 2016. A temporal logic approach to information-flow control. (2016).  Markus N Rabe. 2016. A temporal logic approach to information-flow control. (2016)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/962758.963491"},{"volume-title":"Cryptographic Engineering","author":"Rohatgi Pankaj","key":"e_1_3_2_1_43_1","unstructured":"Pankaj Rohatgi . 2009. Electromagnetic attacks and countermeasures . In Cryptographic Engineering . Springer , 407--430. Pankaj Rohatgi. 2009. Electromagnetic attacks and countermeasures. In Cryptographic Engineering. Springer, 407--430."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.15"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485398"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00596-1_21"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301644"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63846"},{"key":"e_1_3_2_1_50_1","volume-title":"Census signal temporal logic inference for multiagent group behavior analysis","author":"Xu Zhe","year":"2016","unstructured":"Zhe Xu and A Agung Julius . 2016. Census signal temporal logic inference for multiagent group behavior analysis . IEEE Transactions on Automation Science and Engineering ( 2016 ). Zhe Xu and A Agung Julius. 2016. Census signal temporal logic inference for multiagent group behavior analysis. IEEE Transactions on Automation Science and Engineering (2016)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2003.1212703"},{"volume-title":"Automated Technology for Verification and Analysis - 13th International Symposium, Shanghai, China. 464--481.","author":"Zou Liang","key":"e_1_3_2_1_52_1","unstructured":"Liang Zou , Naijun Zhan , Shuling Wang , and Martin Fr\u00e4nzle . 2015. Formal Verification of Simulink\/Stateflow Diagrams . In Automated Technology for Verification and Analysis - 13th International Symposium, Shanghai, China. 464--481. Liang Zou, Naijun Zhan, Shuling Wang, and Martin Fr\u00e4nzle. 2015. Formal Verification of Simulink\/Stateflow Diagrams. In Automated Technology for Verification and Analysis - 13th International Symposium, Shanghai, China. 464--481."}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127058","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127058","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:07Z","timestamp":1750212667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":52,"alternative-id":["10.1145\/3127041.3127058","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127058","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}