{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:24Z","timestamp":1759032984178,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"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":[[2018,5,27]]},"DOI":"10.1145\/3196478.3196485","type":"proceedings-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T16:16:43Z","timestamp":1531844203000},"page":"13-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["On early statistical requirements validation of cyber-physical space systems"],"prefix":"10.1145","author":[{"given":"Christos","family":"Tsigkanos","sequence":"first","affiliation":[{"name":"Informazione e Bioingegneria, Politecnico di Milano, Italy"}]},{"given":"Nianyu","family":"Li","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[{"name":"Graduate University for Advanced Studies, Japan"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"Informazione e Bioingegneria, Politecnico di Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. Accompanied specifications and models. 178.62.206.217\/sescps18. (2018).  2018. Accompanied specifications and models. 178.62.206.217\/sescps18. (2018)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/3021426.3021438"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Filip Biljecki Hugo Ledoux and Jantien Stoter. 2016. Generation of multi-LOD 3D city models in CityGML with the procedural modelling engine Random3Dcity. ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci. (2016) 51--59.  Filip Biljecki Hugo Ledoux and Jantien Stoter. 2016. Generation of multi-LOD 3D city models in CityGML with the procedural modelling engine Random3Dcity. ISPRS Ann. Photogramm. Remote Sens. Spatial Inf. Sci. (2016) 51--59.","DOI":"10.5194\/isprs-annals-IV-4-W1-51-2016"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_13"},{"key":"e_1_3_2_1_6_1","volume-title":"Marius Miku\u010dionis, Danny B\u00f8gsted Poulsen, Axel Legay, and Zheng Wang.","author":"Bulychev Peter","year":"2012","unstructured":"Peter Bulychev , Alexandre David , Kim Gulstrand Larsen , Marius Miku\u010dionis, Danny B\u00f8gsted Poulsen, Axel Legay, and Zheng Wang. 2012 . UPPAAL-SMC : Statistical model checking for priced timed automata. arXiv:1207.1272 (2012). Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Miku\u010dionis, Danny B\u00f8gsted Poulsen, Axel Legay, and Zheng Wang. 2012. UPPAAL-SMC: Statistical model checking for priced timed automata. arXiv:1207.1272 (2012)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3089649.3089656"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0483-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_46"},{"key":"e_1_3_2_1_10_1","unstructured":"Edmund M Clarke Orna Grumberg and Doron A Peled. 1999. Model Checking. MIT press.   Edmund M Clarke Orna Grumberg and Doron A Peled. 1999. Model Checking. MIT press."},{"key":"e_1_3_2_1_11_1","volume-title":"Jonas Van Vliet, and Zheng Wang","author":"David Alexandre","year":"2011","unstructured":"Alexandre David , Kim Larsen , Axel Legay , Marius Miku\u010dionis , Danny Poulsen , Jonas Van Vliet, and Zheng Wang . 2011 . Statistical model checking for networks of priced timed automata. Formal Modeling and Analysis of Timed Systems ( 2011). Alexandre David, Kim Larsen, Axel Legay, Marius Miku\u010dionis, Danny Poulsen, Jonas Van Vliet, and Zheng Wang. 2011. Statistical model checking for networks of priced timed automata. Formal Modeling and Analysis of Timed Systems (2011)."},{"key":"e_1_3_2_1_12_1","unstructured":"Chuck Eastman Charles M Eastman Paul Teicholz and Rafael Sacks. 2011. BIM Handbook: A Guide to Building Information Modeling for Owners Managers Designers Engineers and Contractors. J.W & S.   Chuck Eastman Charles M Eastman Paul Teicholz and Rafael Sacks. 2011. BIM Handbook: A Guide to Building Information Modeling for Owners Managers Designers Engineers and Contractors. J.W & S."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.21"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Timo Kehrer Christos Tsigkanos and Carlo Ghezzi. 2016. An EMOF-Compliant Abstract Syntax for Bigraphs. In Graphs as Models at ETAPS16.  Timo Kehrer Christos Tsigkanos and Carlo Ghezzi. 2016. An EMOF-Compliant Abstract Syntax for Bigraphs. In Graphs as Models at ETAPS16.","DOI":"10.4204\/EPTCS.231.2"},{"volume-title":"Geo-information for disaster management","author":"Kolbe Thomas","key":"e_1_3_2_1_15_1","unstructured":"Thomas Kolbe , Gerhard Gr\u00f6ger , and Lutz Pl\u00fcmer . 2005. CityGML: Interoperable access to 3D city models . In Geo-information for disaster management . Springer . Thomas Kolbe, Gerhard Gr\u00f6ger, and Lutz Pl\u00fcmer. 2005. CityGML: Interoperable access to 3D city models. In Geo-information for disaster management. Springer."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.09.013"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"6806","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems . In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS), Vol. 6806 . Springer, 585--591. M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS), Vol. 6806. Springer, 585--591."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_10"},{"key":"e_1_3_2_1_20_1","first-page":"122","article-title":"Statistical Model Checking","volume":"10","author":"Legay Axel","year":"2010","unstructured":"Axel Legay , Beno\u00eet Delahaye , and Saddek Bensalem . 2010 . Statistical Model Checking : An Overview. RV 10 (2010), 122 -- 135 . Axel Legay, Beno\u00eet Delahaye, and Saddek Bensalem. 2010. Statistical Model Checking: An Overview. RV 10 (2010), 122--135.","journal-title":"An Overview. RV"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.73"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_10"},{"key":"e_1_3_2_1_23_1","volume-title":"CAV","volume":"3114","author":"Sen Koushik","year":"2004","unstructured":"Koushik Sen , Mahesh Viswanathan , and Gul Agha . 2004 . Statistical model checking of black-box probabilistic systems . In CAV , Vol. 3114 . Springer, 202--215. Koushik Sen, Mahesh Viswanathan, and Gul Agha. 2004. Statistical model checking of black-box probabilistic systems. In CAV, Vol. 3114. Springer, 202--215."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-016-0509-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106299"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897035.2897042"},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"On the Interplay Between Cyber and Physical Spaces for Adaptive Security","volume":"99","author":"Tsigkanos Christos","year":"2016","unstructured":"Christos Tsigkanos , Liliana Pasquale , Carlo Ghezzi , and Bashar Nuseibeh . 2016 . On the Interplay Between Cyber and Physical Spaces for Adaptive Security . IEEE Transactions on Dependable and Secure Computing PP , 99 (2016), 1 -- 1 . Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, and Bashar Nuseibeh. 2016. On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Transactions on Dependable and Secure Computing PP, 99 (2016), 1--1.","journal-title":"IEEE Transactions on Dependable and Secure Computing PP"},{"key":"e_1_3_2_1_28_1","unstructured":"Junfei Xie Firas AI-Emrani Yixin Gu Yan Wan and Shengli Fu. 2016. UAV-Carried Long Distance Wi-Fi Communication Infrastructure. In AAA Infotech@Aerospace.  Junfei Xie Firas AI-Emrani Yixin Gu Yan Wan and Shengli Fu. 2016. UAV-Carried Long Distance Wi-Fi Communication Infrastructure. In AAA Infotech@Aerospace."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.44"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196478.3196485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:05Z","timestamp":1750210745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":28,"alternative-id":["10.1145\/3196478.3196485","10.1145\/3196478"],"URL":"https:\/\/doi.org\/10.1145\/3196478.3196485","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}