{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:53:29Z","timestamp":1760586809225,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"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":[[2016,5,14]]},"DOI":"10.1145\/2897829.2897833","type":"proceedings-article","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T22:58:31Z","timestamp":1464130711000},"page":"12-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Modeling and verification for different types of system of systems using PRISM"],"prefix":"10.1145","author":[{"given":"Dongwon","family":"Seo","sequence":"first","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donghwan","family":"Shin","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young-Min","family":"Baek","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiyoung","family":"Song","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wonkyung","family":"Yun","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junho","family":"Kim","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"565","volume-title":"Wiley Online Library","author":"Maier M. W.","year":"1996","unstructured":"M. W. Maier , \"Architecting principles for systems-of-systems,\" in INCOSE International Symposium, vol. 6, no. 1 . Wiley Online Library , 1996 , pp. 565 -- 573 . M. W. Maier, \"Architecting principles for systems-of-systems,\" in INCOSE International Symposium, vol. 6, no. 1. Wiley Online Library, 1996, pp. 565--573."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"2008 2nd Annual IEEE. IEEE","author":"Dahmann J. S.","year":"2008","unstructured":"J. S. Dahmann and K. J. Baldwin , \" Understanding the current state of us defense systems of systems and the implications for systems engineering,\" in Systems Conference , 2008 2nd Annual IEEE. IEEE , 2008 , pp. 1 -- 7 . J. S. Dahmann and K. J. Baldwin, \"Understanding the current state of us defense systems of systems and the implications for systems engineering,\" in Systems Conference, 2008 2nd Annual IEEE. IEEE, 2008, pp. 1--7."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489852"},{"key":"e_1_3_2_1_4_1","volume-title":"Maintaining emergence in systems of systems integration: a contractual approach using sysml,\" in Proceedings of INCOSE","author":"Bryans J.","year":"2014","unstructured":"J. Bryans , J. Fitzgerald , R. Payne , and K. Kristensen , \" Maintaining emergence in systems of systems integration: a contractual approach using sysml,\" in Proceedings of INCOSE , 2014 . J. Bryans, J. Fitzgerald, R. Payne, and K. Kristensen, \"Maintaining emergence in systems of systems integration: a contractual approach using sysml,\" in Proceedings of INCOSE, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1400067.1400069"},{"key":"e_1_3_2_1_6_1","first-page":"585","volume-title":"Prism 4.0: Verification of probabilistic real-time systems,\" in Computer aided verification","author":"Kwiatkowska M.","year":"2011","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker , \" Prism 4.0: Verification of probabilistic real-time systems,\" in Computer aided verification . Springer , 2011 , pp. 585 -- 591 . M. Kwiatkowska, G. Norman, and D. Parker, \"Prism 4.0: Verification of probabilistic real-time systems,\" in Computer aided verification. Springer, 2011, pp. 585--591."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.71"},{"key":"e_1_3_2_1_9_1","volume-title":"What is a system of systems and why should i care?","author":"Lane J. A.","year":"2013","unstructured":"J. A. Lane and D. Epstein , \" What is a system of systems and why should i care? \" 2013 . J. A. Lane and D. Epstein, \"What is a system of systems and why should i care?\" 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2846457.2846510"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88562-7_18"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220880.3220972"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39611-3_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0383-0"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032332"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_12"},{"key":"e_1_3_2_1_19_1","volume-title":"Uppaal-smc: Statistical model checking for priced timed automata,\" arXiv preprint arXiv:1207.1272","author":"Bulychev P.","year":"2012","unstructured":"P. Bulychev , A. David , K. G. Larsen , M. Miku\u010dionis , D. B. Poulsen , A. Legay , and Z. Wang , \" Uppaal-smc: Statistical model checking for priced timed automata,\" arXiv preprint arXiv:1207.1272 , 2012 . P. Bulychev, A. David, K. G. Larsen, M. Miku\u010dionis, D. B. Poulsen, A. Legay, and Z. Wang, \"Uppaal-smc: Statistical model checking for priced timed automata,\" arXiv preprint arXiv:1207.1272, 2012."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_43"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897829.2897833","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897829.2897833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:09Z","timestamp":1750222569000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897829.2897833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":20,"alternative-id":["10.1145\/2897829.2897833","10.1145\/2897829"],"URL":"https:\/\/doi.org\/10.1145\/2897829.2897833","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}