{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:46:50Z","timestamp":1750308410167,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"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":[[2021,8,9]]},"DOI":"10.1145\/3458744.3473349","type":"proceedings-article","created":{"date-parts":[[2021,9,23]],"date-time":"2021-09-23T16:38:30Z","timestamp":1632415110000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["ArchViMP \u2013 a Framework for Automatic Extraction of Concurrency-related Software Architectural Properties"],"prefix":"10.1145","author":[{"given":"Monireh","family":"Pourjafarian","sequence":"first","affiliation":[{"name":"Technical University of Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasmin","family":"Jahic","sequence":"additional","affiliation":[{"name":"University of Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,23]]},"reference":[{"volume-title":"The elements of UML (TM) 2.0 style","author":"Ambler W.","key":"e_1_3_2_1_1_1","unstructured":"Scott\u00a0 W. Ambler . 2005. The elements of UML (TM) 2.0 style . Cambridge University Press , New York, NY , United States. Scott\u00a0W. Ambler. 2005. The elements of UML (TM) 2.0 style. Cambridge University Press, New York, NY, United States."},{"key":"e_1_3_2_1_2_1","volume-title":"16th International Workshop on Worst-Case Execution Time Analysis (WCET)(OpenAccess Series in Informatics (OASIcs), Vol.\u00a055)","author":"Heiko","year":"2016","unstructured":"Heiko Falk and et al.2016. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research . In 16th International Workshop on Worst-Case Execution Time Analysis (WCET)(OpenAccess Series in Informatics (OASIcs), Vol.\u00a055) , Martin Schoeberl (Ed.). COST (European Cooperation in Science and Technology) Action IC1202 Timing Analysis on Code-Level (TACLe), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 1\u201310. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/ 2016 \/6895 Heiko Falk and et al.2016. TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. In 16th International Workshop on Worst-Case Execution Time Analysis (WCET)(OpenAccess Series in Informatics (OASIcs), Vol.\u00a055), Martin Schoeberl (Ed.). COST (European Cooperation in Science and Technology) Action IC1202 Timing Analysis on Code-Level (TACLe), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 1\u201310. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2016\/6895"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.14"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282307"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688905"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3339186.3339191"},{"key":"e_1_3_2_1_7_1","volume-title":"BOSMI: A Framework for Non-intrusive Monitoring and Testing of Embedded Multithreaded Software on the Logical Level. In Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation","author":"Jahi\u0107 Jasmin","year":"2018","unstructured":"Jasmin Jahi\u0107 , Thomas Kuhn , Matthias Jung , and Norbert Wehn . 2018 . BOSMI: A Framework for Non-intrusive Monitoring and Testing of Embedded Multithreaded Software on the Logical Level. In Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation ( Pythagorion, Greece) (SAMOS \u201918). ACM, New York, NY, USA, 131\u2013138. Jasmin Jahi\u0107, Thomas Kuhn, Matthias Jung, and Norbert Wehn. 2018. BOSMI: A Framework for Non-intrusive Monitoring and Testing of Embedded Multithreaded Software on the Logical Level. In Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (Pythagorion, Greece) (SAMOS \u201918). ACM, New York, NY, USA, 131\u2013138."},{"key":"e_1_3_2_1_8_1","volume-title":"Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions. In 2019 IEEE International Conference on Software Architecture (ICSA). 171\u2013180","author":"Jahi\u0107 Jasmin","year":"2019","unstructured":"Jasmin Jahi\u0107 , Varun Kumar , Pablo\u00a0Oliveira Antonino , and Gerhard Wirrer . 2019 . Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions. In 2019 IEEE International Conference on Software Architecture (ICSA). 171\u2013180 . Jasmin Jahi\u0107, Varun Kumar, Pablo\u00a0Oliveira Antonino, and Gerhard Wirrer. 2019. Testing the Implementation of Concurrent AUTOSAR Drivers Against Architecture Decisions. In 2019 IEEE International Conference on Software Architecture (ICSA). 171\u2013180."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442992.2442998"},{"volume-title":"First IEEE Working Conference on Software Visualization (VISSOFT). IEEE","author":"Karran B.","key":"e_1_3_2_1_10_1","unstructured":"B. Karran , J. Tr\u00fcmper , and J. D\u00f6llner . 2013. Synctrace: Visual thread-interplay analysis . In First IEEE Working Conference on Software Visualization (VISSOFT). IEEE , Eindhoven, Netherlands, 1\u201310. B. Karran, J. Tr\u00fcmper, and J. D\u00f6llner. 2013. Synctrace: Visual thread-interplay analysis. In First IEEE Working Conference on Software Visualization (VISSOFT). IEEE, Eindhoven, Netherlands, 1\u201310."},{"key":"e_1_3_2_1_12_1","volume-title":"6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). IEEE, Lund Sweden.","author":"Kramer Simon","year":"2015","unstructured":"Simon Kramer , Dirk Ziegenbein , and Arne Hamann . 2015 . Real world automotive benchmarks for free . In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). IEEE, Lund Sweden. Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). IEEE, Lund Sweden."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2002.1015489"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.127"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273650"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SHPCC.1994.296727"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3129790.3129814"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"volume-title":"Model-based engineering of embedded systems: The SPES 2020 methodology","author":"Pohl Klaus","key":"e_1_3_2_1_20_1","unstructured":"Klaus Pohl , Harald H\u00f6nninger , Reinhold Achatz , and Manfred Broy . 2012. Model-based engineering of embedded systems: The SPES 2020 methodology . Springer Science & Business Media , Berlin Heidelberg . Klaus Pohl, Harald H\u00f6nninger, Reinhold Achatz, and Manfred Broy. 2012. Model-based engineering of embedded systems: The SPES 2020 methodology. Springer Science & Business Media, Berlin Heidelberg."},{"volume-title":"Software systems architecture: working with stakeholders using viewpoints and perspectives (2 ed.)","author":"Rozanski Nick","key":"e_1_3_2_1_21_1","unstructured":"Nick Rozanski and E\u00f3in Woods . 2012. Software systems architecture: working with stakeholders using viewpoints and perspectives (2 ed.) . Addison-Wesley , Upper Saddle River, NJ. Nick Rozanski and E\u00f3in Woods. 2012. Software systems architecture: working with stakeholders using viewpoints and perspectives (2 ed.). Addison-Wesley, Upper Saddle River, NJ."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"volume-title":"CONPAR 90 \u2014 VAPP IV","author":"Sharma Sanjay","key":"e_1_3_2_1_23_1","unstructured":"Sanjay Sharma . 1990. Real-time visualization of concurrent processes . In CONPAR 90 \u2014 VAPP IV , Helmar Burkhart (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 852\u2013862. Sanjay Sharma. 1990. Real-time visualization of concurrent processes. In CONPAR 90 \u2014 VAPP IV, Helmar Burkhart (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 852\u2013862."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1993.1062"},{"key":"e_1_3_2_1_25_1","volume-title":"The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb\u2019s journal 30, 3","author":"Sutter Herb","year":"2005","unstructured":"Herb Sutter . 2005. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb\u2019s journal 30, 3 ( 2005 ), 202\u2013210. Herb Sutter. 2005. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb\u2019s journal 30, 3 (2005), 202\u2013210."},{"key":"e_1_3_2_1_26_1","volume-title":"Last accessed","author":"Le","year":"2020","unstructured":"TAC Le benchmark collection. Last accessed 14 April 2020 . powerwindow app. https:\/\/github.com\/tacle\/tacle-bench\/tree\/master\/bench\/app\/powerwindow. TACLe benchmark collection. Last accessed 14 April 2020. powerwindow app. https:\/\/github.com\/tacle\/tacle-bench\/tree\/master\/bench\/app\/powerwindow."},{"key":"e_1_3_2_1_27_1","unstructured":"UML. Last accessed 14 April 2020. Unified Modeling Language specification version 2.0. https:\/\/www.omg.org\/spec\/UML\/2.0\/About-UML\/  UML. Last accessed 14 April 2020. Unified Modeling Language specification version 2.0. https:\/\/www.omg.org\/spec\/UML\/2.0\/About-UML\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183555"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/VISSOFT.2016.35"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/PCODA.2015.7067176"},{"key":"e_1_3_2_1_31_1","volume-title":"15th IEEE International Conference on Program Comprehension (ICPC). IEEE, Banff, Alberta, BC, Canada, 123\u2013134","author":"Xie Shaohua","year":"2007","unstructured":"Shaohua Xie , Eileen Kraemer , and R E\u00a0Kurt Stirewalt . 2007 . Empirical evaluation of a UML sequence diagram with adornments to support understanding of thread interactions . In 15th IEEE International Conference on Program Comprehension (ICPC). IEEE, Banff, Alberta, BC, Canada, 123\u2013134 . Shaohua Xie, Eileen Kraemer, and RE\u00a0Kurt Stirewalt. 2007. Empirical evaluation of a UML sequence diagram with adornments to support understanding of thread interactions. In 15th IEEE International Conference on Program Comprehension (ICPC). IEEE, Banff, Alberta, BC, Canada, 123\u2013134."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.136185"}],"event":{"name":"ICPP 2021: 50th International Conference on Parallel Processing","acronym":"ICPP 2021","location":"Lemont IL USA"},"container-title":["50th International Conference on Parallel Processing Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3458744.3473349","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3458744.3473349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:06Z","timestamp":1750268946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3458744.3473349"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":31,"alternative-id":["10.1145\/3458744.3473349","10.1145\/3458744"],"URL":"https:\/\/doi.org\/10.1145\/3458744.3473349","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}