{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:55Z","timestamp":1750219975899,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"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":[[2023,4,15]]},"DOI":"10.1145\/3578245.3584357","type":"proceedings-article","created":{"date-parts":[[2023,4,3]],"date-time":"2023-04-03T22:14:44Z","timestamp":1680560084000},"page":"341-344","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Quantitative Analysis of Software Designs: Teaching Design and Experiences"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9899-0062","authenticated-orcid":false,"given":"Alireza","family":"Hakamian","sequence":"first","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4532-1460","authenticated-orcid":false,"given":"Steffen","family":"Becker","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"e_1_3_2_1_2_1","volume-title":"Third International Conference on the Quantitative Evaluation of Systems (QEST 2006","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John H\u00e5kansson, Paul Pettersson, Wang Yi, and Martijn Hendriks. 2006. UPPAAL 4.0. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11--14 September 2006, Riverside, California, USA. IEEE Computer Society, 125--126. https:\/\/doi.org\/10.1109\/QEST.2006.59"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530877"},{"key":"e_1_3_2_1_4_1","volume-title":"Trivedi","author":"Bolch Gunter","year":"2006","unstructured":"Gunter Bolch, Stefan Greiner, Hermann de Meer, and Kishor S. Trivedi. 2006. Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition. Wiley. http:\/\/eu.wiley.com\/WileyCDA\/WileyTitle\/productCd-0471565253.html"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--13621--4"},{"key":"e_1_3_2_1_6_1","unstructured":"GNU Octave. 2023. GNU Octave Scientific Programming Language. https:\/\/octave.org\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14--17, 2002, Proceedings (Lecture Notes in Computer Science","volume":"204","author":"Kwiatkowska Marta Z.","year":"2002","unstructured":"Marta Z. Kwiatkowska, Gethin Norman, and David Parker. 2002. PRISM: Probabilistic Symbolic Model Checker. In Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14--17, 2002, Proceedings (Lecture Notes in Computer Science, Vol. 2324), Tony Field, Peter G. Harrison, Jeremy T. Bradley, and Uli Harder (Eds.). Springer, 200--204. https:\/\/doi.org\/10.1007\/3--540--46029--2_13"},{"key":"e_1_3_2_1_8_1","unstructured":"OMG Standards Development Organization. 2023. Unified Modeling Language Specification. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/About-UML\/"},{"key":"e_1_3_2_1_9_1","unstructured":"Papyrus. 2023. Eclipse Papyrus Modeling Environment. https:\/\/www.eclipse.org\/papyrus\/"},{"volume-title":"Modeling and simulating software architectures: The Palladio approach","author":"Reussner Ralf H","key":"e_1_3_2_1_10_1","unstructured":"Ralf H Reussner, Steffen Becker, Jens Happe, Robert Heinrich, and Anne Koziolek. 2016. Modeling and simulating software architectures: The Palladio approach. MIT Press."}],"event":{"name":"ICPE '23: ACM\/SPEC International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Coimbra Portugal","acronym":"ICPE '23"},"container-title":["Companion of the 2023 ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584357","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578245.3584357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:20Z","timestamp":1750182560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,15]]},"references-count":10,"alternative-id":["10.1145\/3578245.3584357","10.1145\/3578245"],"URL":"https:\/\/doi.org\/10.1145\/3578245.3584357","relation":{},"subject":[],"published":{"date-parts":[[2023,4,15]]},"assertion":[{"value":"2023-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}