{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:52Z","timestamp":1725627292750},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","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-24580-0_9","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:21:42Z","timestamp":1320214902000},"page":"115-130","source":"Crossref","is-referenced-by-count":3,"title":["Monitoring Dynamical Signals While Testing Timed Aspects of a System"],"prefix":"10.1007","author":[{"given":"Goran","family":"Frehse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J. Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal \u2014 a Tool Suite for Automatic Verification of Real\u2013Time Systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Frehse, G., Ray, R.: Design principles for an extendable verification tool for hybrid systems. In: ADHS 2009: 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009)","DOI":"10.3182\/20090916-3-ES-3003.00043"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-60045-0_53","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A., Ho, P.-H.: Algorithmic analysis of nonlinear hybrid systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 225\u2013238. Springer, Heidelberg (1995)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using uppaal. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/1086228.1086283","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM International Conference on Embedded Software","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B., Skou, A.: Testing real-time embedded software using uppaal-tron: an industrial case study. In: EMSOFT 2005: Proceedings of the 5th ACM International Conference on Embedded Software, pp. 299\u2013306. ACM, New York (2005)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/1291151.1291172","volume-title":"Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming - ICFP 2007","author":"S. Sims","year":"2007","unstructured":"Sims, S., DuVarney, D.C.: Experience Report: The Reactis Validation Tool. In: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming - ICFP 2007, vol.\u00a042, p. 137. ACM Press, New York (2007)"},{"key":"9_CR10","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: EuroSTAR 1999: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8-12 (1999); EuroStar Conferences, Galway, Ireland"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11940197_5","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"M. Osch van","year":"2006","unstructured":"van Osch, M.: Hybrid input-output conformance and test generation. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 70\u201384. Springer, Heidelberg (2006)"},{"key":"9_CR12","unstructured":"van Osch, M.: Automated Model-based Testing of Hybrid Systems. PhD thesis, Technische Universiteit Eindhoven (2009)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:23:34Z","timestamp":1558297414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}