{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:30Z","timestamp":1750220970853,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"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":[[2019,9,9]]},"DOI":"10.1145\/3344948.3344990","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"139-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?"],"prefix":"10.1145","author":[{"given":"Lorenzo","family":"Pagliari","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute, Italy"}]},{"given":"Mirko","family":"D'Angelo","sequence":"additional","affiliation":[{"name":"Linnaeus University, Sweden"}]},{"given":"Mauro","family":"Caporuscio","sequence":"additional","affiliation":[{"name":"Linnaeus University, Sweden"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, Italy"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582201"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2010.01.106"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185768.3186306"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596981_100"},{"key":"e_1_3_2_1_6_1","volume-title":"Francesco Lo Presti, and Raffaela Mirandola","author":"Cardellini Valeria","year":"2017","unstructured":"Valeria Cardellini , Emiliano Casalicchio , Vincenzo Grassi , Stefano Iannucci , Francesco Lo Presti, and Raffaela Mirandola . 2017 . MOSES : A Platform for Eperimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems. In Assurances on Software Engineering for Self-Adaptive Systems III. Springer , 409--433. Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, and Raffaela Mirandola. 2017. MOSES: A Platform for Eperimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems. In Assurances on Software Engineering for Self-Adaptive Systems III. Springer, 409--433."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1958746.1958813"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh086"},{"key":"e_1_3_2_1_9_1","volume-title":"Performance Evaluation of Cyber-Physical Systems","author":"Silva Freitas Allan Edgard","year":"2016","unstructured":"Allan Edgard Silva Freitas and Romildo Martins da Silva Bezerra . 2016. Performance Evaluation of Cyber-Physical Systems . ICIC Express Letters 10 ( 2016 ). Allan Edgard Silva Freitas and Romildo Martins da Silva Bezerra. 2016. Performance Evaluation of Cyber-Physical Systems. ICIC Express Letters 10 (2016)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622057"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.41"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2009.090403"},{"key":"e_1_3_2_1_13_1","volume-title":"Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 46--61","author":"Kalajdzic Kenan","year":"2016","unstructured":"Kenan Kalajdzic , Cyrille J\u00e9gourel , Anna Lukina , Ezio Bartocci , Axel Legay , Scott A. Smolka , and Radu Grosu . 2016 . Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 46--61 . Kenan Kalajdzic, Cyrille J\u00e9gourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, and Radu Grosu. 2016. Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. 46--61."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.3141\/1999-10"},{"key":"e_1_3_2_1_15_1","volume-title":"Mathematical, physical, and engineering sciences 368","author":"Kesting Arne","year":"2010","unstructured":"Arne Kesting , Martin Treiber , and Dirk Helbing . 2010. Enhanced Intelligent Driver Model to Access the Impact of Driving Strategies on Traffic Capacity. Philosophical transactions. Series A , Mathematical, physical, and engineering sciences 368 ( 2010 ), 4585--605. Arne Kesting, Martin Treiber, and Dirk Helbing. 2010. Enhanced Intelligent Driver Model to Access the Impact of Driving Strategies on Traffic Capacity. Philosophical transactions. Series A, Mathematical, physical, and engineering sciences 368 (2010), 4585--605."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1979.1094270"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_13"},{"key":"e_1_3_2_1_18_1","unstructured":"E. D. Lazowska J. Zahorjan G. Scott Graham and K. C. Sevcik. 1984. Computer System Analysis Using Queueing Network Models. Prentice-Hall.   E. D. Lazowska J. Zahorjan G. Scott Graham and K. C. Sevcik. 1984. Computer System Analysis Using Queueing Network Models . Prentice-Hall."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/330560.330564"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243216"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2017.22"},{"key":"e_1_3_2_1_24_1","volume-title":"Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In International Conference on Software Architecture. 121--130","author":"Paterson Colin","year":"2017","unstructured":"Colin Paterson and Radu Calinescu . 2017 . Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In International Conference on Software Architecture. 121--130 . Colin Paterson and Radu Calinescu. 2017. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In International Conference on Software Architecture. 121--130."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196458"},{"key":"e_1_3_2_1_26_1","first-page":"142","article-title":"Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads","volume":"2","author":"Sharma Hemant Kumar","year":"2012","unstructured":"Hemant Kumar Sharma , Mansha Swami , and Bajrang Lal Swami . 2012 . Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads . International Journal for Traffic and Transport Engineering 2 , 2 (2012), 142 -- 152 . Hemant Kumar Sharma, Mansha Swami, and Bajrang Lal Swami. 2012. Speed-flow analysis for interrupted oversaturated traffic flow with heterogeneous structure for urban roads. International Journal for Traffic and Transport Engineering 2, 2 (2012), 142--152.","journal-title":"International Journal for Traffic and Transport Engineering"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87891-9_3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2676679"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625211"},{"key":"e_1_3_2_1_32_1","unstructured":"Muhammad Umer Tariq Jacques Florence and Marilyn Wolf. 2014. Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink Eclipse Modeling Framework and Giotto.. In ACESMB@ MoDELS. 6--15.  Muhammad Umer Tariq Jacques Florence and Marilyn Wolf. 2014. Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink Eclipse Modeling Framework and Giotto.. In ACESMB@ MoDELS . 6--15."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2002.1049606"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2010.939208"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED.2015.7273478"},{"key":"e_1_3_2_1_36_1","volume-title":"Modeling connected and autonomous vehicles in heterogeneous traffic flow. Physica A: Statistical Mechanics and its Applications 490","author":"Ye Lanhang","year":"2018","unstructured":"Lanhang Ye and Toshiyuki Yamamoto . 2018. Modeling connected and autonomous vehicles in heterogeneous traffic flow. Physica A: Statistical Mechanics and its Applications 490 ( 2018 ), 269--277. Lanhang Ye and Toshiyuki Yamamoto. 2018. Modeling connected and autonomous vehicles in heterogeneous traffic flow. Physica A: Statistical Mechanics and its Applications 490 (2018), 269--277."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trb.2007.08.005"}],"event":{"name":"ECSA: European Conference on Software Architecture","acronym":"ECSA","location":"Paris France"},"container-title":["Proceedings of the 13th European Conference on Software Architecture - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3344948.3344990","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3344948.3344990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:28Z","timestamp":1750204468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3344948.3344990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":36,"alternative-id":["10.1145\/3344948.3344990","10.1145\/3344948"],"URL":"https:\/\/doi.org\/10.1145\/3344948.3344990","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}