{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T16:40:04Z","timestamp":1744044004610,"version":"3.40.3"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10270-012-0277-5","type":"journal-article","created":{"date-parts":[[2012,8,31]],"date-time":"2012-08-31T08:34:05Z","timestamp":1346402045000},"page":"1395-1415","source":"Crossref","is-referenced-by-count":16,"title":["Evaluating probabilistic models with uncertain model parameters"],"prefix":"10.1007","volume":"13","author":[{"given":"Indika","family":"Meedeniya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Moser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aldeida","family":"Aleti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,1]]},"reference":[{"issue":"1","key":"277_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Ardagna, D., Ghezzi, C., Mirandola, R.: Rethinking the use of models in software architecture. In: Quality of Software Architectures. Models and Architectures, pp. 1\u201327. Springer, Berlin (2008)","key":"277_CR2","DOI":"10.1007\/978-3-540-87879-7_1"},{"doi-asserted-by":"crossref","unstructured":"Assayad, I., Girault, A., Kalla, H.: A bi-criteria scheduling heuristic for distributed embedded systems under reliability and real-time constraints. In: Dependable Systems and Networks, pp. 347\u2013356. IEEE (2004)","key":"277_CR3","DOI":"10.1109\/DSN.2004.1311904"},{"doi-asserted-by":"crossref","unstructured":"Axelsson, J.: Cost models with explicit uncertainties for electronic architecture trade-off and risk analysis. In: Current Practice (2006)","key":"277_CR4","DOI":"10.1002\/j.2334-5837.2006.tb02844.x"},{"doi-asserted-by":"crossref","unstructured":"Aziz, A., Singhal, V., Balarin, F.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) Proceedings of 7th International Conference on Computer Aided Verification, CAV 95. LNCS, vol 939, pp. 155\u2013165. Springer, Berlin (1995)","key":"277_CR5","DOI":"10.1007\/3-540-60045-0_48"},{"doi-asserted-by":"crossref","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H.: Approximate symbolic model checking of continuous-time markov chains. In: Baeten, J.C.M., Mauw, S. (eds.) Proceedings of 10th International Conference on Concurrency Theory, CONCUR 99. LNCS, vol. 1664, pp. 146\u2013161. Springer, Berlin (1999)","key":"277_CR6","DOI":"10.1007\/3-540-48320-9_12"},{"issue":"5","key":"277_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Basseur, M., Zitzler, E.: A preliminary study on handling uncertainty in indicator-based multiobjective optimization. In: Appl. of Evol. Computing, pp. 727\u2013739. Springer, Berlin (2006)","key":"277_CR8","DOI":"10.1007\/11732242_71"},{"doi-asserted-by":"crossref","unstructured":"Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance prediction of component-based systems\u2014a survey from an engineering perspective. In: Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 169\u2013192. Springer, Berlin (2006)","key":"277_CR9","DOI":"10.1007\/11786160_10"},{"issue":"33\u201334","key":"277_CR10","doi-asserted-by":"crossref","first-page":"3190","DOI":"10.1016\/j.cma.2007.03.003","volume":"196","author":"H Beyer","year":"2007","unstructured":"Beyer, H., Sendhoff, B.: Robust optimization: a comprehensive survey. Comput. Methods Appl. Mech. Eng. 196(33\u201334), 3190\u20133218 (2007)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"issue":"3","key":"277_CR11","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1016\/j.amc.2010.01.106","volume":"216","author":"A Bhunia","year":"2010","unstructured":"Bhunia, A., Sahoo, L., Roy, D.: Reliability stochastic optimization for a series system with interval component reliability via genetic algorithm. Appl. Math. Comput. 216(3), 929\u2013939 (2010)","journal-title":"Appl. Math. Comput."},{"key":"277_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14952-8","volume-title":"Reliability Engineering: Theory and Practice","author":"A Birolini","year":"2010","unstructured":"Birolini, A.: Reliability Engineering: Theory and Practice. Springer, Berlin (2010)"},{"doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queuing Network and Markov Chains. Wiley, New York (1998)","key":"277_CR13","DOI":"10.1002\/0471200581"},{"issue":"2","key":"277_CR14","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R Cheung","year":"1980","unstructured":"Cheung, R.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118\u2013125 (1980)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"277_CR15","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-24611-4_5","volume-title":"Validation of Stochastic Systems: A Guide to Current Research. LNCS, vol. 2925","author":"F Ciesinski","year":"2004","unstructured":"Ciesinski, F., Gr\u00f6\u00dfer, M.: On probabilistic computation tree logic. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems: A Guide to Current Research. LNCS, vol. 2925, pp. 147\u2013188. Springer, Berlin (2004)"},{"issue":"3","key":"277_CR16","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TR.2004.833312","volume":"53","author":"D Coit","year":"2004","unstructured":"Coit, D., Jin, T., Wattanapongsakorn, N.: System optimization with component reliability estimation uncertainty: a multi-criteria approach. IEEE Trans. Reliab. 53(3), 369\u2013380 (2004)","journal-title":"IEEE Trans. Reliab."},{"doi-asserted-by":"crossref","unstructured":"Coit, D.W., Smith, A.E.: Genetic algorithm to maximize a lower-bound for system time-to-failure with uncertain component Weibull parameters. Comput. Ind. Eng. 41 (2002)","key":"277_CR17","DOI":"10.1016\/S0360-8352(01)00066-3"},{"doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Grassi, V.: A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: Component-Based Software Engineering, pp. 140\u2013156. Springer, Berlin (2007)","key":"277_CR18","DOI":"10.1007\/978-3-540-73551-9_10"},{"unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, May 21\u201328, 2011, pp. 341\u2013350. ACM, New York (2011)","key":"277_CR19"},{"doi-asserted-by":"crossref","unstructured":"Fiondella, L., Gokhale, S.S.: Software reliability with architectural uncertainties. In: Parallel and Distributed Processing, pp. 1\u20135. IEEE (2008)","key":"277_CR20","DOI":"10.1109\/IPDPS.2008.4536436"},{"doi-asserted-by":"crossref","unstructured":"F\u00f6rster, M., Trapp, M.: Fault tree analysis of software-controlled component systems based on second-order probabilities. In: International Symposium on Software Reliability Engineering, pp. 146\u2013154. IEEE, Nov 2009","key":"277_CR21","DOI":"10.1109\/ISSRE.2009.22"},{"issue":"4","key":"277_CR22","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1088\/0967-1846\/5\/4\/005","volume":"5","author":"S Frolund","year":"1998","unstructured":"Frolund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Distrib. Syst. Eng. J. 5(4), 179\u2013202 (1998)","journal-title":"Distrib. Syst. Eng. J."},{"doi-asserted-by":"crossref","unstructured":"Goeva-Popstojanova, K., Trivedi, K.: Architecture-based approach to reliability assessment of software systems. Perform. Eval. 45(2\u20133), 179\u2013204 (2001)","key":"277_CR23","DOI":"10.1016\/S0166-5316(01)00034-7"},{"unstructured":"Goseva-Popstojanova, K., Hamill, M.: Architecture-based software reliability: why only a few parameters matter?. In: Computer Software and Applications Conference, 2007, vol. 1, pp. 423\u2013430. IEEE (2007)","key":"277_CR24"},{"doi-asserted-by":"crossref","unstructured":"Goseva-Popstojanova, K., Hamill, M., Perugupalli, R.: Large empirical case study of architecture-based software reliability. In: International Symposium on Software Reliability Engineering, vol. 54, pp. 10\u201352. IEEE (2005)","key":"277_CR25","DOI":"10.1109\/ISSRE.2005.25"},{"doi-asserted-by":"crossref","unstructured":"Goseva-Popstojanova, K., Hamill, M., Wang, X.: Adequacy, accuracy, scalability, and uncertainty of architecture-based software reliability: lessons learned from large empirical case studies. In: International Symposium on Software Reliability Engineering, pp. 197\u2013203. IEEE (2006)","key":"277_CR26","DOI":"10.1109\/ISSRE.2006.11"},{"doi-asserted-by":"crossref","unstructured":"Goseva-Popstojanova, K., Kamavaram, S.: Assessing uncertainty in reliability of component-based software systems. In: ISSRE 2003, pp. 307\u2013320. IEEE (2003)","key":"277_CR27","DOI":"10.1109\/ISSRE.2003.1251052"},{"key":"277_CR28","first-page":"209","volume":"2004","author":"K Goseva-Popstojanova","year":"2004","unstructured":"Goseva-Popstojanova, K., Kamavaram, S.: Software reliability estimation under uncertainty:generalization of the method of moments. High Assur. Syst. Eng. 2004, 209\u2013218 (2004)","journal-title":"High Assur. Syst. Eng."},{"doi-asserted-by":"crossref","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: Proceedings of the 13th International Conference on Software Engineering, ICSE \u201908 61(0), 31 (2008)","key":"277_CR29","DOI":"10.1145\/1368088.1368094"},{"doi-asserted-by":"crossref","unstructured":"Grunske, L., Han, J.: A comparative study into architecture-based safety evaluation methodologies using AADL\u2019s error annex and failure propagation models. High Assurance Systems Engineering, Symposium, pp. 283\u2013292 (2008)","key":"277_CR30","DOI":"10.1109\/HASE.2008.32"},{"issue":"5","key":"277_CR31","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"277_CR32","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-45739-9_9","volume":"2469","author":"A Jhumka","year":"2002","unstructured":"Jhumka, A., Hiller, M., Suri, N.: Component-based synthesis of dependable embedded software. Lect. Notes Comput. Sci. 2469, 111\u2013128 (2002)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"4","key":"277_CR33","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"issue":"2","key":"277_CR34","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transfer 6(2), 128\u2013142 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"4","key":"277_CR35","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1059816.1059820","volume":"32","author":"M Kwiatkowska","year":"2005","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking in practice: case studies with PRISM. ACM SIGMETRICS Perform. Eval. Rev. 32(4), 16\u201321 (2005)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"issue":"1","key":"277_CR36","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1), 33\u201378 (2006)","journal-title":"Formal Methods Syst. Des."},{"issue":"6","key":"277_CR37","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1016\/j.ress.2007.03.032","volume":"93","author":"P Limbourg","year":"2008","unstructured":"Limbourg, P.: Multi-objective optimization of generalized reliability design problems using feature models: a concept for early design stages. Reliab. Eng. Syst. Saf. 93(6), 815\u2013828 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"2","key":"277_CR38","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1109\/TR.2005.847279","volume":"54","author":"M Marseguerra","year":"2005","unstructured":"Marseguerra, M., Zio, E., Podofillini, L., Coit, D.: Optimal design of reliable network systems in presence of uncertainty. IEEE Trans. Reliab. 54(2), 243\u2013253 (2005)","journal-title":"IEEE Trans. Reliab."},{"doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Buhnova, B., Aleti, A., Grunske, L.: Architecture-driven reliability and energy optimization for complex embedded systems. In: Quality of Software Architectures, QoSA 2010. LNCS, vol. 6093, pp. 52\u201367. Springer, Berlin (2010)","key":"277_CR39","DOI":"10.1007\/978-3-642-13821-8_6"},{"issue":"5","key":"277_CR40","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1016\/j.jss.2011.01.004","volume":"84","author":"I Meedeniya","year":"2011","unstructured":"Meedeniya, I., B\u00fchnova, B., Aleti, A., Grunske, L.: Reliability-driven deployment optimization for embedded systems. J. Syst. Softw. 84(5), 835\u2013846 (2011)","journal-title":"J. Syst. Softw."},{"doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Moser, I., Aleti, A., Grunske, L.: Architecture-based reliability evaluation under uncertainty. In: 7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011, pp. 85\u201394 (2011)","key":"277_CR41","DOI":"10.1145\/2000259.2000275"},{"key":"277_CR42","volume-title":"Applied Statistics and Probability for Engineers","author":"D Montgomery","year":"2007","unstructured":"Montgomery, D., Runger, G.: Applied Statistics and Probability for Engineers. Wiley, India (2007)"},{"issue":"1\u20133","key":"277_CR43","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.ress.2004.03.002","volume":"85","author":"W Oberkampf","year":"2004","unstructured":"Oberkampf, W., Helton, J., Joslyn, C., Wojtkiewicz, S., Ferson, S.: Challenge problems: uncertainty in system response given uncertain parameters. Reliab. Eng. Syst. Saf. 85(1\u20133), 11\u201319 (2004)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"277_CR44","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes. Wiley, New York (1994)"},{"doi-asserted-by":"crossref","unstructured":"Roshandel, R., Banerjee, S., Cheung, L., Medvidovic, N., Golubchik, L.: Estimating software component reliability by leveraging architectural models. In: International Conference on Software Engineering, p. 853. ACM, New York (2006)","key":"277_CR45","DOI":"10.1145\/1134285.1134432"},{"key":"277_CR46","first-page":"108","volume":"4880","author":"R Roshandel","year":"2007","unstructured":"Roshandel, R., Medvidovic, N., Golubchik, L.: A Bayesian model for predicting reliability of software systems at the architectural level. LNCS 4880, 108\u2013126 (2007)","journal-title":"LNCS"},{"key":"277_CR47","volume-title":"Simulation and the Monte Carlo Method","author":"R Rubinstein","year":"2008","unstructured":"Rubinstein, R., Kroese, D.: Simulation and the Monte Carlo Method. Wiley-Interscience, New York (2008)"},{"issue":"1","key":"277_CR48","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.ress.2007.03.022","volume":"94","author":"A Sanchez","year":"2009","unstructured":"Sanchez, A., Carlos, S., Martorell, S., Villanueva, J.: Addressing imperfect maintenance modelling uncertainty in unavailability and cost based optimization. Reliab. Eng. Syst. Saf. 94(1), 22\u201332 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"277_CR49","volume-title":"Probability& Statistics with Reliability. Queuing and Computer Science Applications","author":"K Trivedi","year":"2009","unstructured":"Trivedi, K.: Probability& Statistics with Reliability. Queuing and Computer Science Applications. Wiley, India (2009)"},{"unstructured":"Wang, W., Wu, Y., Chen, M.: An architecture-based software reliability model. In: Proceedings of 1999 Pacific Rim International Symposium on Dependable Computing, pp. 143\u2013150. IEEE (2002)","key":"277_CR50"},{"key":"277_CR51","first-page":"395","volume":"92","author":"N Wattanapongskorn","year":"2007","unstructured":"Wattanapongskorn, N., Coit, D.W.: Fault-tolerant embedded system design and optimization considering reliability estimation uncertainty. Rel. Eng. 92, 395\u2013407 (2007)","journal-title":"Rel. Eng."},{"unstructured":"Yin, L., Smith, M., Trivedi, K.: Uncertainty analysis in reliability modeling. In: Symposium on Reliability and Maintainability, pp. 229\u2013234 (2001)","key":"277_CR52"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0277-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0277-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0277-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T16:16:39Z","timestamp":1744042599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0277-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,1]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["277"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0277-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,9,1]]}}}