{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:13Z","timestamp":1725702553189},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_38","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"508-523","source":"Crossref","is-referenced-by-count":6,"title":["Learning Stochastic Timed Automata from Sample Executions"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"de Matos Pedro","sequence":"first","affiliation":[]},{"given":"Paul Andrew","family":"Crocker","sequence":"additional","affiliation":[]},{"given":"Sim\u00e3o Melo","family":"de Sousa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Bollig, B., Habermehl, P., Kern, C., Leucker, M.: Angluin-style learning of nfa. In: Proceedings of the 21st International Joint Conference on Artifical Intelligence, IJCAI 2009, San Francisco, CA, USA, pp. 1004\u20131009. Morgan Kaufmann Publishers Inc. (2009)"},{"key":"38_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-14295-6_32","volume-title":"Computer Aided Verification","author":"B. Bollig","year":"2010","unstructured":"Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.R.: libalf: The Automata Learning Framework. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 360\u2013364. Springer, Heidelberg (2010)"},{"key":"38_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1051\/ita:1999102","volume":"33","author":"R.C. Carrasco","year":"1999","unstructured":"Carrasco, R.C., Oncina, J.: Learning deterministic regular grammars from stochastic samples in polynomial time. RAIRO (Theoretical Informatics and Applications)\u00a033, 1\u201320 (1999)","journal-title":"RAIRO (Theoretical Informatics and Applications)"},{"key":"38_CR4","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2006","unstructured":"Cassandras, C.G., Lafortune, S.: Cassandras and Stephane Lafortune. In: Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus (2006)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","volume-title":"Computer Aided Verification","author":"A. David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Wang, Z.: Time for Statistical Model Checking of Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 349\u2013355. Springer, Heidelberg (2011)"},{"key":"38_CR6","unstructured":"de Matos Pedro, A.: Learning and testing stochastic discrete event systems. Master\u2019s thesis, Universidade do Minho, Portugal (December 2011)"},{"key":"38_CR7","unstructured":"de Matos Pedro, A., de Sousa, S.M.: Learning generalized semi-markov processes: From stochastic discrete event systems to testing and verification. Technical Report DCC-2012-01, Department of Computer Science, University of Porto (2012)"},{"key":"38_CR8","unstructured":"DeGroot, M.H.: Probability and Statistics, 2nd edn. Addison Wesley (1989)"},{"issue":"3","key":"38_CR9","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1109\/TR.2009.2019494","volume":"58","author":"A.K. Dey","year":"2009","unstructured":"Dey, A.K., Kundu, D.: Discriminating among the log-normal, weibull, and generalized exponential distributions. IEEE Transactions on Reliability\u00a058(3), 416\u2013424 (2009)","journal-title":"IEEE Transactions on Reliability"},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/5.21067","volume":"77","author":"P.W. Glynn","year":"1989","unstructured":"Glynn, P.W.: A gsmp formalism for discrete event systems. Proceedings of The IEEE\u00a077, 14\u201323 (1989)","journal-title":"Proceedings of The IEEE"},{"issue":"5","key":"38_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Mark Gold","year":"1967","unstructured":"Mark Gold, E.: Language identification in the limit. Information and Control\u00a010(5), 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"38_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/263326.263344","volume":"15","author":"M. Harchol-Balter","year":"1997","unstructured":"Harchol-Balter, M., Downey, A.B.: Exploiting process lifetime distributions for dynamic load balancing. ACM Trans. Comput. Syst.\u00a015, 253\u2013285 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"38_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-45790-9_12","volume-title":"Grammatical Inference: Algorithms and Applications","author":"C. Kermorvant","year":"2002","unstructured":"Kermorvant, C., Dupont, P.: Stochastic Grammatical Inference with Multinomial Tests. In: Adriaans, P.W., Fernau, H., van Zaanen, M. (eds.) ICGI 2002. LNCS (LNAI), vol.\u00a02484, pp. 149\u2013160. Springer, Heidelberg (2002)"},{"issue":"319","key":"38_CR14","doi-asserted-by":"publisher","first-page":"932","DOI":"10.1080\/01621459.1967.10500904","volume":"62","author":"J. Klotz","year":"1967","unstructured":"Klotz, J.: Asymptotic efficiency of the two sample Kolmogorov-Smirnov test. Journal of the American Statistical Association\u00a062(319), 932\u2013938 (1967)","journal-title":"Journal of the American Statistical Association"},{"key":"38_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A. Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical Model Checking: An Overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"key":"38_CR16","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-1-84800-113-8_8","volume-title":"Recent Advances in Reliability and Quality in Design","author":"M.-W. Lu","year":"2008","unstructured":"Lu, M.-W., Wang, C.J.: Weibull data analysis with few or no failures. In: Pham, H. (ed.) Recent Advances in Reliability and Quality in Design, pp. 201\u2013210. Springer, London (2008)"},{"issue":"1\/2","key":"38_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010822518073","volume":"44","author":"R. Parekh","year":"2001","unstructured":"Parekh, R., Honavar, V.: Learning dfa from simple examples. Machine Learning\u00a044(1\/2), 9\u201335 (2001)","journal-title":"Machine Learning"},{"key":"38_CR18","unstructured":"Pinedo, M.L.: Scheduling: Theory, Algorithms, and Systems, 3rd edn. Springer Publishing Company, Incorporated (2008)"},{"key":"38_CR19","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/QEST.2004.1348029","volume-title":"Proceedings of the The Quantitative Evaluation of Systems, First International Conference","author":"K. Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Learning continuous time markov chains from sample executions. In: Proceedings of the The Quantitative Evaluation of Systems, First International Conference, pp. 146\u2013155. IEEE Computer Society Press, Washington, DC (2004)"},{"key":"38_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0166-5316(02)00122-0","volume":"49","author":"W. Wei","year":"2002","unstructured":"Wei, W., Wang, B., Towsley, D.: Continuous-time hidden Markov models for network performance evaluation. Perform. Eval.\u00a049, 129\u2013146 (2002)","journal-title":"Perform. Eval."},{"key":"38_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11513988_43","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2005","unstructured":"Younes, H.L.S.: Ymer: A Statistical Model Checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 429\u2013433. Springer, Heidelberg (2005)"},{"key":"38_CR22","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Clarke, E.M., Zuliani, P.: Statistical verification of probabilistic properties with unbounded until. In: SBMF, pp. 144\u2013160 (2010)","DOI":"10.1007\/978-3-642-19829-8_10"},{"key":"38_CR23","unstructured":"Lorens, H., Younes, S.: Verification and planning for stochastic processes with asynchronous events. PhD thesis, Pittsburgh, PA, USA (2004)"},{"issue":"5","key":"38_CR24","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.1214\/aoms\/1177693158","volume":"42","author":"C.S. Yu","year":"1971","unstructured":"Yu, C.S.: Pitman efficiencies of Kolmogorov-Smirnov test. The Annals of Mathematical Statistics\u00a042(5), 1595\u20131605 (1971)","journal-title":"The Annals of Mathematical Statistics"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T06:02:22Z","timestamp":1562220142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}