{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:52:20Z","timestamp":1761929540373},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/splc.2011.33","type":"proceedings-article","created":{"date-parts":[[2011,10,5]],"date-time":"2011-10-05T14:22:15Z","timestamp":1317824535000},"page":"170-174","source":"Crossref","is-referenced-by-count":19,"title":["Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking"],"prefix":"10.1109","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir Molzam","family":"Sharifloo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"490","article-title":"Integrating performance analysis in the model driven development of software product lines","author":"tawhid","year":"2008","journal-title":"MoDELS"},{"key":"14","first-page":"129","article-title":"Towards a uml profile for software product lines","author":"ziadi","year":"2003","journal-title":"LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2010.5707120"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.020"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.59"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"7","article-title":"Quantitative verification of non-functional requirements with uncertainty","author":"ghezzi","year":"0","journal-title":"Sixth International Conference on Dependability and Computer Systems 2011"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.14"},{"journal-title":"Software Product Lines Practices and Patterns","year":"2001","author":"clements","key":"4"},{"key":"9","first-page":"660","article-title":"Param: A model checker for parametric markov models","author":"hahn","year":"2010","journal-title":"CAV"},{"journal-title":"Designing Software Product Lines with UML From Use Cases to Pattern-Based Software Architectures","year":"2004","author":"gomaa","key":"8"}],"event":{"name":"2011 15th International Software Product Line Conference (SPLC)","start":{"date-parts":[[2011,8,22]]},"location":"Munich, Germany","end":{"date-parts":[[2011,8,26]]}},"container-title":["2011 15th International Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6030002\/6030038\/06030058.pdf?arnumber=6030058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:55:18Z","timestamp":1490064918000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6030058\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":14,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/splc.2011.33","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}