{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:37:40Z","timestamp":1742402260199},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_22","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"335-350","source":"Crossref","is-referenced-by-count":16,"title":["Towards Testing Stochastic Timed Systems"],"prefix":"10.1007","author":[{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M. Ajmone Marsan","year":"1994","unstructured":"Ajmone Marsan, M., Bianco, A., Ciminiera, L., Sisto, R., Valenzano, A.: A LOTOS extension for the performance analysis of distributed systems. IEEE\/ACM Transactions on Networking\u00a02(2), 151\u2013165 (1994)","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"5","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems\u00a05(2), 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-44618-4_23","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Bernardo","year":"2000","unstructured":"Bernardo, M., Cleaveland, W.R.: A theory of testing for markovian processes. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 305\u2013319. Springer, Heidelberg (2000)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202, 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems\u00a022, 7\u201333 (1991)","journal-title":"Computer Networks & ISDN Systems"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theoretical Computer Science\u00a0282(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (1997)","DOI":"10.1109\/WORDS.1997.609955"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"de Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"11","key":"22_CR10","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A. En-Nouaary","year":"2002","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: Testing real time systems. IEEE Transactions on Software Engineering\u00a028(11), 1024\u20131039 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 121\u2013146. Springer, Heidelberg (1993)"},{"issue":"1","key":"22_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES \u2013 a process algebra for discrete event simulation. Journal of Logic Computation\u00a010(1), 3\u201342 (2000)","journal-title":"Journal of Logic Computation"},{"key":"22_CR13","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"issue":"1-2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-0-387-35567-2_13","volume-title":"12th Workshop on Testing of Communicating Systems","author":"T. Higashino","year":"1999","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating test cases for a timed I\/O automaton model. In: 12th Workshop on Testing of Communicating Systems, pp. 197\u2013214. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"22_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R. Lai","year":"2002","unstructured":"Lai, R.: A survey of communication protocol testing. Journal of Systems and Software\u00a062, 21\u201346 (2002)","journal-title":"Journal of Systems and Software"},{"issue":"8","key":"22_CR18","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-44685-0_22","volume-title":"CONCUR 2001 - Concurrency Theory","author":"N. L\u00f3pez","year":"2001","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: A testing theory for generally distributed stochastic processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 321\u2013335. Springer, Heidelberg (2001)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-47884-1_3","volume-title":"Integrated Formal Methods","author":"N. L\u00f3pez","year":"2002","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rubio, F.: Stochastic process algebras meet Eden. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 29\u201348. Springer, Heidelberg (2002)"},{"issue":"4","key":"22_CR21","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real time systems from logic specifications. ACM Transactions on Computer Systems\u00a013(4), 356\u2013398 (1995)","journal-title":"ACM Transactions on Computer Systems"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"M. N\u00fa\u00f1ez and I. Rodr\u00edguez. Encoding PAMR into (timed) EFSMs. In FORTE 2002, LNCS 2529, pages 1\u201316. Springer, 2002.","DOI":"10.1007\/3-540-36135-9_1"},{"issue":"1-2","key":"22_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.R.: Testing timed automata. Theoretical Computer Science\u00a0254(1-2), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:36:23Z","timestamp":1559208983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}