乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:18:21Z","timestamp":1730319501911,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,5]],"date-time":"2017-12-05T00:00:00Z","timestamp":1512432000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,5]]},"DOI":"10.1145\/3150928.3150947","type":"proceedings-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T16:28:33Z","timestamp":1533054513000},"page":"36-43","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Perturbation of CTMC Trapping Probabilities with Application to Model Repair"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Gouberman","sequence":"first","affiliation":[{"name":"Informatik III, Universit\u00e4t der, Bundeswehr M\u00fcnchen, Germany"}]},{"given":"Markus","family":"Siegle","sequence":"additional","affiliation":[{"name":"Informatik III, Universit\u00e4t der, Bundeswehr M\u00fcnchen, Germany"}]},{"given":"Bharath Siva Kumar","family":"Tati","sequence":"additional","affiliation":[{"name":"Informatik III, Universit\u00e4t der, Bundeswehr M\u00fcnchen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"e_1_3_2_1_2_1","first-page":"326","article-title":"Model Repair for Probabilistic Systems. In TACAS'11","volume":"6605","author":"Bartocci E.","year":"2011","unstructured":"E. Bartocci , R. Grosu , P. Katsaros , C.R. Ramakrishnan , and S.A. Smolka . 2011 . Model Repair for Probabilistic Systems. In TACAS'11 . Springer LNCS 6605 , 326 -- 340 . E. Bartocci, R. Grosu, P. Katsaros, C.R. Ramakrishnan, and S.A. Smolka. 2011. Model Repair for Probabilistic Systems. In TACAS'11. Springer LNCS 6605, 326--340.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Berman and R.J. Plemmons. 1979. Nonnegative matrices in the mathematical sciences. Academic Press. A. Berman and R.J. Plemmons. 1979. Nonnegative matrices in the mathematical sciences. Academic Press.","DOI":"10.1016\/B978-0-12-092250-5.50009-6"},{"key":"e_1_3_2_1_4_1","volume-title":"et al. Bobbio","author":"A.","year":"2005","unstructured":"A. et al. Bobbio . 2005 . Matching Three Moments with Minimal Acyclic Phase Type Distributions. Stochastic Models 2--3, 21 (2005), 303--326. A. et al. Bobbio. 2005. Matching Three Moments with Minimal Acyclic Phase Type Distributions. Stochastic Models 2--3, 21 (2005), 303--326."},{"volume-title":"Singular systems of differential equations","author":"Campbell S. L.","key":"e_1_3_2_1_5_1","unstructured":"S. L. Campbell . 1980. Singular systems of differential equations . Pitman , London . S. L. Campbell. 1980. Singular systems of differential equations. Pitman, London."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"M. Ceska F. Dannenberg M. Z. Kwiatkowska and N. Paoletti. 2014. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Computational Methods in Systems Biology - 12th International Conference CMSB. 86--98. M. Ceska F. Dannenberg M. Z. Kwiatkowska and N. Paoletti. 2014. Precise Parameter Synthesis for Stochastic Biochemical Systems. In Computational Methods in Systems Biology - 12th International Conference CMSB. 86--98.","DOI":"10.1007\/978-3-319-12982-2_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.20"},{"volume-title":"Quasi-Stationary Distributions -- Markov Chains, Diffusion and Dynamical Systems","author":"Collet P.","key":"e_1_3_2_1_8_1","unstructured":"P. Collet , S. Martinez , and J. San Martin . 2013. Quasi-Stationary Distributions -- Markov Chains, Diffusion and Dynamical Systems . Springer . P. Collet, S. Martinez, and J. San Martin. 2013. Quasi-Stationary Distributions -- Markov Chains, Diffusion and Dynamical Systems. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2307\/3212311"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.11.001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(00)00257-3"},{"key":"e_1_3_2_1_13_1","volume-title":"PhFit: A General Phase-Type Fitting Tool. In TOOLS","author":"Horvath A.","year":"2002","unstructured":"A. Horvath and M. Telek . 2002 . PhFit: A General Phase-Type Fitting Tool. In TOOLS 2002 , T. Field et al. (Ed.). Springer LNCS 2324, 82--91. A. Horvath and M. Telek. 2002. PhFit: A General Phase-Type Fitting Tool. In TOOLS 2002, T. Field et al. (Ed.). Springer LNCS 2324, 82--91."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2008.11.002"},{"key":"e_1_3_2_1_15_1","first-page":"585","article-title":"PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"6806","author":"Kwiatkowska M.","year":"2011","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011 . PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) . Springer LNCS 6806 , 585 -- 591 . M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11). Springer LNCS 6806, 585--591.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"G. Latouche and V. Ramaswami. 1999. Introduction to Matrix Analytic Methods in Stochastic Modeling. Society for Industrial and Applied Mathematics. G. Latouche and V. Ramaswami. 1999. Introduction to Matrix Analytic Methods in Stochastic Modeling. Society for Industrial and Applied Mathematics.","DOI":"10.1137\/1.9780898719734"},{"key":"e_1_3_2_1_17_1","first-page":"1","article-title":"Characterization of Phase-Type Distributions","volume":"1","author":"O'Cinneide C. A.","year":"1967","unstructured":"C. A. et al. O'Cinneide . 1967 . Characterization of Phase-Type Distributions . Communications in Statistics: Stochastic Models 1 , 6 (1967), 1 -- 57 . C. A. et al. O'Cinneide. 1967. Characterization of Phase-Type Distributions. Communications in Statistics: Stochastic Models 1, 6 (1967), 1--57.","journal-title":"Communications in Statistics: Stochastic Models"},{"key":"e_1_3_2_1_18_1","volume-title":"Symposium. 295--309","author":"Pathak S.","year":"2015","unstructured":"S. Pathak , E. \u00c1brah\u00e1m , N. Jansen , A. Tacchella , and J.-P. Katoen . 2015 . A Greedy Approach for the Efficient Repair of Stochastic Models. In NASA Formal Methods - 7th Int . Symposium. 295--309 . S. Pathak, E. \u00c1brah\u00e1m, N. Jansen, A. Tacchella, and J.-P. Katoen. 2015. A Greedy Approach for the Efficient Repair of Stochastic Models. In NASA Formal Methods - 7th Int. Symposium. 295--309."},{"key":"e_1_3_2_1_19_1","first-page":"50","article-title":"Parameter Synthesis for Markov Models: Faster Than Ever. In ATVA 2016","volume":"9938","author":"Quatmann T.","year":"2016","unstructured":"T. Quatmann , C. Dehnert , N. Jansen , S. Junges , and J.-P. Katoen . 2016 . Parameter Synthesis for Markov Models: Faster Than Ever. In ATVA 2016 . Springer LNCS 9938 , 50 -- 67 . T. Quatmann, C. Dehnert, N. Jansen, S. Junges, and J.-P. Katoen. 2016. Parameter Synthesis for Markov Models: Faster Than Ever. In ATVA 2016. Springer LNCS 9938, 50--67.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_20_1","volume-title":"Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)","volume":"44","author":"Tati B.","unstructured":"B. Tati and M. Siegle . 2015 . Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (OpenAccess Series in Informatics (OASIcs)), \u00c9. Andr\u00e9 and G. Frehse (Eds.) , Vol. 44 . Dagstuhl, Germany, 63--76. B. Tati and M. Siegle. 2015. Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (OpenAccess Series in Informatics (OASIcs)), \u00c9. Andr\u00e9 and G. Frehse (Eds.), Vol. 44. Dagstuhl, Germany, 63--76."},{"key":"e_1_3_2_1_21_1","unstructured":"B. Tati and M. Siegle. 2016. Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. In Proc. Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd Int. Workshop on Synthesis of Complex Parameters Eindhoven NL April 2-3 2016 T. Brihaye B. Delahaye L. Jezequel N. Markey and J. Srba (Eds.). Open Publishing Assoc El. Proc. in Theoret. Computer Science Vol. 220 77--89. B. Tati and M. Siegle. 2016. Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. In Proc. Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd Int. Workshop on Synthesis of Complex Parameters Eindhoven NL April 2-3 2016 T. Brihaye B. Delahaye L. Jezequel N. Markey and J. Srba (Eds.). Open Publishing Assoc El. Proc. in Theoret. Computer Science Vol. 220 77--89."}],"event":{"name":"VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools","sponsor":["EAI The European Alliance for Innovation"],"location":"Venice Italy","acronym":"VALUETOOLS 2017"},"container-title":["Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3150928.3150947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T09:21:16Z","timestamp":1673601676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,5]]},"references-count":21,"alternative-id":["10.1145\/3150928.3150947","10.1145\/3150928"],"URL":"https:\/\/doi.org\/10.1145\/3150928.3150947","relation":{},"subject":[],"published":{"date-parts":[[2017,12,5]]},"assertion":[{"value":"2017-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}