{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:56:58Z","timestamp":1764997018544,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,25]],"date-time":"2014-08-25T00:00:00Z","timestamp":1408924800000},"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":[[2014,8,25]]},"DOI":"10.1145\/2642803.2642807","type":"proceedings-article","created":{"date-parts":[[2014,8,21]],"date-time":"2014-08-21T12:19:23Z","timestamp":1408623563000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Towards Run-Time Verification of Adaptive Security for IoT in eHealth"],"prefix":"10.1145","author":[{"given":"Arild B.","family":"Torjusen","sequence":"first","affiliation":[{"name":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 54"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habtamu","family":"Abie","sequence":"additional","affiliation":[{"name":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 25 95"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ebenezer","family":"Paintsil","sequence":"additional","affiliation":[{"name":"Point Transaction Systems AS, \u00d8stre Aker vei 24, Pb 73 \u00d8kern, N-0508 Oslo, +47 815 02 200"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Trcek","sequence":"additional","affiliation":[{"name":"University of Ljubljana, Tr\u017ea\u0161ka c. 25, 1000 Ljubljana, Slovenia, +386 1 241 85 00"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c5smund","family":"Skomedal","sequence":"additional","affiliation":[{"name":"Norwegian Computing Center, P.O.Box 114, Blindern, NO-0314 Oslo, Norway, +47 22 85 26 06"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.286"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4018\/jismd.2012040102"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2008.25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380422.1380425"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1636665.1636670"},{"key":"e_1_3_2_1_8_1","unstructured":"Dahm W.J.A. 2010. Technology Horizons a Vision for Air Force Science & Technology During 2010-2030. Technical report U.S. Air Force (2010)  Dahm W.J.A. 2010. Technology Horizons a Vision for Air Force Science & Technology During 2010-2030. Technical report U.S. Air Force (2010)"},{"key":"e_1_3_2_1_9_1","unstructured":"Schumann J. and Gupta P. 2006. Bayesian Verification & Validation Tools for Adaptive Systems: Report on Principle of Operation and Prototypical Implementation of Bayesian Envelope Tool for Neural Networks. Technical report National Aeronautics and Space Administration NASA (2006)  Schumann J. and Gupta P. 2006. Bayesian Verification & Validation Tools for Adaptive Systems: Report on Principle of Operation and Prototypical Implementation of Bayesian Envelope Tool for Neural Networks. Technical report National Aeronautics and Space Administration NASA (2006)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2347583.2347592"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.2.9.37-49"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168260.2168268"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287688"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336803"},{"key":"e_1_3_2_1_18_1","first-page":"122","article-title":"2011. Formal methods@ runtime. Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems","volume":"6662","author":"Calinescu R.","year":"2011","journal-title":"LNCS"},{"key":"e_1_3_2_1_19_1","unstructured":"Clarke E.M. Grumberg O. and Peled D.A. 2000. Model Checking. MIT Press Cambridge (2000)  Clarke E.M. Grumberg O. and Peled D.A. 2000. Model Checking. MIT Press Cambridge (2000)"},{"key":"e_1_3_2_1_20_1","first-page":"194","volume-title":"WADS","author":"Zhang J.","year":"2004"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2347583.2347600"},{"volume-title":"Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '13)","author":"Fredericks E. M.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137684"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Tamura G. et al. Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II Springer 108--132 2012.  Tamura G. et al. Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II Springer 108--132 2012.","DOI":"10.1007\/978-3-642-35813-5_5"},{"key":"e_1_3_2_1_25_1","first-page":"112","volume-title":"Proceedings FOCLASA","author":"Merelli E.","year":"2012"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593944"},{"volume-title":"7th International Conference on Body Area Networks (BODYNETS 2012), Workshop on Security Tools and Techniques for Internet of Things (SeTTIT 2012","year":"2012","author":"Abie H.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","first-page":"30","article-title":"2013. Probabilistic verification at runtime for self-adaptive systems. In J. C\u00e1mara et al. (Eds.): Assurances for Self-Adaptive Systems","volume":"7740","author":"Filieri A.","year":"2013","journal-title":"LNCS"},{"key":"e_1_3_2_1_29_1","first-page":"1","volume-title":"Hershey, PA: Information Science Reference. doi:10.4018\/978-1-60960-845-3.ch001","author":"Calinescu R.","year":"2012"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523501.2523507"},{"volume-title":"Software Abstractions: Logic, Language, and Analysis","year":"2006","author":"Jackson D.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"volume-title":"CAISE","year":"2013","author":"Ingl\u00e9s-Romero J. F.","key":"e_1_3_2_1_33_1"},{"volume-title":"Int. J. on Advances in Security, 3, 1&2, (September 5","year":"2010","author":"Abie H.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","unstructured":"Jensen K. and Kristiansen L. M. 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag Berlin Heidelberg (2009) ISBN:978-3-642-00283-0.   Jensen K. and Kristiansen L. M. 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag Berlin Heidelberg (2009) ISBN:978-3-642-00283-0."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988020"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"}],"event":{"name":"ECSAW '14: European Conference on Software Architecture Workshops","acronym":"ECSAW '14","location":"Vienna Austria"},"container-title":["Proceedings of the 2014 European Conference on Software Architecture Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642803.2642807","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642803.2642807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:31Z","timestamp":1750231171000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642803.2642807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,25]]},"references-count":37,"alternative-id":["10.1145\/2642803.2642807","10.1145\/2642803"],"URL":"https:\/\/doi.org\/10.1145\/2642803.2642807","relation":{},"subject":[],"published":{"date-parts":[[2014,8,25]]},"assertion":[{"value":"2014-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}