{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:35Z","timestamp":1760586575150},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223051"},{"type":"electronic","value":"9783642223068"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22306-8_13","type":"book-chapter","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T07:25:05Z","timestamp":1309764305000},"page":"183-187","source":"Crossref","is-referenced-by-count":14,"title":["DiPro - A Tool for Probabilistic Counterexample Generation"],"prefix":"10.1007","author":[{"given":"Husain","family":"Aljazzar","sequence":"first","affiliation":[]},{"given":"Florian","family":"Leitner-Fischer","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[]},{"given":"Dimitar","family":"Simeonov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","first-page":"299","volume-title":"Proc. QEST 2009","author":"H. Aljazzar","year":"2009","unstructured":"Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples. In: Proc. QEST 2009, pp. 299\u2013308. IEEE Computer Society, Los Alamitos (2009)"},{"key":"13_CR2","first-page":"25","volume-title":"Proc. QUOVADIS 2010","author":"H. Aljazzar","year":"2010","unstructured":"Aljazzar, H., Kuntz, M., Leitner-Fischer, F., Leue, S.: Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. In: Proc. QUOVADIS 2010, pp. 25\u201332. ACM, New York (2010)"},{"key":"13_CR3","volume-title":"Proc. QEST 2008","author":"H. Aljazzar","year":"2008","unstructured":"Aljazzar, H., Leue, S.: Debugging of dependability models using interactive visualization of counterexamples. In: Proc. QEST 2008. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"13_CR4","first-page":"197","volume-title":"Proc. QEST 2009","author":"H. Aljazzar","year":"2009","unstructured":"Aljazzar, H., Leue, S.: Generation of counterexamples for model checking of markov decision processes. In: Proc. QEST 2009, pp. 197\u2013206. IEEE Computer Society, Los Alamitos (2009)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/TSE.2009.57","volume":"36","author":"H. Aljazzar","year":"2010","unstructured":"Aljazzar, H., Leue, S.: Directed explicit state-space search in the generation of counterexamples for stochastic model checking. IEEE Transactions on Software Engineering\u00a036(1), 37\u201360 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Aljazzar, H., Leue, S.: K*: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence (2011) (accepted for publication)","DOI":"10.1016\/j.artint.2011.07.003"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, M., D\u2019Argenio, P., van Rossum, P.: Significant diagnostic counterexamples in probabilistic model checking. Hardware and Software: Verification and Testing, 129\u2013148 (2009)","DOI":"10.1007\/978-3-642-01702-5_15"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering\u00a029(7) (2003)","DOI":"10.1109\/TSE.2003.1205180"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Han, T., Katoen, J., Berteun, D.: Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 241\u2013257 (2009)","DOI":"10.1109\/TSE.2009.5"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"13_CR11","first-page":"243","volume-title":"QEST 2005: Proceedings of the Second International Conference on Quantitative Evaluation of Systems","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov Reward Model Checker. In: QEST 2005: Proceedings of the Second International Conference on Quantitative Evaluation of Systems, pp. 243\u2013244. IEEE Computer Society, Los Alamitos (2005)"},{"key":"13_CR12","unstructured":"Kuntz, M., Leitner-Fischer, F., Leue, S.: From probabilistic counterexamples via causality to fault trees. Technical Report soft-11-02, Chair for Software Engineering, University of Konstanz (2011), http:\/\/www.inf.uni-konstanz.de\/soft\/research\/publications\/pdf\/soft-11-02.pdf"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Leitner-Fischer, F., Leue, S.: QuantUM: Quantitative safety analysis of UML models. In: Proc. QAPL (2011)","DOI":"10.4204\/EPTCS.57.2"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22306-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T13:34:37Z","timestamp":1560346477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22306-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223051","9783642223068"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22306-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}