{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:02:42Z","timestamp":1725552162582},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317807"},{"type":"electronic","value":"9783540317814"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663430_8","type":"book-chapter","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T06:28:22Z","timestamp":1137565702000},"page":"67-78","source":"Crossref","is-referenced-by-count":12,"title":["Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"8_CR1","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/274946.274958","volume":"41","author":"J. Sztipanovits","year":"1998","unstructured":"Sztipanovits, J., Karsai, G., Bapty, T.: Self-adaptive software for signal processing. Commun. ACM\u00a041(5), 66\u201373 (1998)","journal-title":"Commun. ACM"},{"key":"8_CR2","first-page":"179","volume-title":"Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004)","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, November 2004, pp. 179\u2013188. ACM Press, New York (2004)"},{"key":"8_CR3","first-page":"38","volume-title":"Proc. of the European Software Engineering Conference (ESEC)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, September 2003, pp. 38\u201347. ACM Press, New York (2003)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Hestermeyer, T., Schlautmann, P., Ettingshausen, C.: Active suspension system for railway vehicles-system design and kinematics. In: Proc.\u00a0of the 2nd IFAC - Confecence on mechatronic systems, Berkeley, California, USA, December 9-11 (2002)","DOI":"10.1016\/S1474-6670(17)34029-6"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11581741_1","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-driven architecture for hard real-time systems: From platform independent models to code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45352-0_4","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H.E. Jensen","year":"2000","unstructured":"Jensen, H.E., Guldstr, K., Guldstr, K., Skou, A.: Scaling up Uppaal Automatic Verification of Real-Time Systems using Compositionality and Abstraction. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, p. 19. Springer, Heidelberg (2000)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-40903-8_15","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Folk theorems on the determinization and minimization of timed automata. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 182\u2013188. Springer, Heidelberg (2004)"},{"key":"8_CR8","unstructured":"Giese, H., Hirsch, M.: Timed and Hybrid Refinement in Mechtronic UML. Technical Report tr-ri-03-266, University of Paderborn, Paderborn, Germany (December 2005)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"8_CR10","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML\/RT in the FUJABA real-time tool suite. In: Proceedings of the International Workshop on Specification and vaildation of UML models for Real Time and embedded Systems, SVERTS 2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004 (October 2004)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Simon, G., Karsai, G.: Semantic Translation of Simulink\/Stateflow models to Hybrid Automata using Graph Transformations. In: International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, Spain (2004)","DOI":"10.1016\/j.entcs.2004.02.055"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45449-7_2","volume-title":"Embedded Software","author":"R. Alur","year":"2001","unstructured":"Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical Hybrid Modeling of Embedded Systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 14. Springer, Heidelberg (2001)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A Formal Model for Embedded Components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0055338","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"R. Grosu","year":"1998","unstructured":"Grosu, R., Stauner, T., Broy, M.: A modular visual model for hybrid systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol.\u00a01486, p. 75. Springer, Heidelberg (1998)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","volume-title":"Hybrid Systems: Computation and Control","author":"N. Lynch","year":"2001","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O Automata Revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 403\u2013417. Springer, Heidelberg (2001)"},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid Systems","author":"L. Lamport","year":"1993","unstructured":"Lamport, L.: Hybrid systems in tla+. In: Hybrid Systems, London, UK, pp. 77\u2013102. Springer, Heidelberg (1993)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-45351-2_24","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Minea, M., Prabhu, V.: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 275\u2013290. Springer, Heidelberg (2001)"},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MCS.2003.1172829","volume":"23","author":"T.A. Henzinger","year":"2002","unstructured":"Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From Control Models to Real-Time Code Using Giotto. EMSOFT 2002\u00a023(1), 50\u201364 (2002); A preliminary report on this work appeared. Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From Control Models to Real-Time Code Using Giotto. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 46\u201360. Springer, Heidelberg (2002)","journal-title":"IEEE Control Systems Magazine"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-44798-9_6","volume-title":"Correct Hardware Design and Verification Methods","author":"D. Beyer","year":"2001","unstructured":"Beyer, D.: Efficient reachability analysis and refinement checking of timed automata using BDDs. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 86\u201391. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Satellite Events at the MoDELS 2005 Conference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663430_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:12:44Z","timestamp":1619507564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663430_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317807","9783540317814"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11663430_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}