{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:43:45Z","timestamp":1725536625416},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044199"},{"type":"electronic","value":"9783642044205"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04420-5_18","type":"book-chapter","created":{"date-parts":[[2009,8,27]],"date-time":"2009-08-27T02:17:25Z","timestamp":1251339445000},"page":"189-202","source":"Crossref","is-referenced-by-count":2,"title":["Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Mila","family":"Majster-Cederbaum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Minnameier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-30579-8_30","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Attie","year":"2005","unstructured":"Attie, P., Chockler, H.: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 465\u2013481. Springer, Heidelberg (2005)"},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol.\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"18_CR3","volume-title":"Finite transition systems: semantics of communicating systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite transition systems: semantics of communicating systems (Translator-John Plaice). Prentice Hall International (UK) Ltd., Hertfordshire (1994), Translator-John Plaice"},{"key":"18_CR4","first-page":"399","volume-title":"ICSE 1999: Proceedings of the 21st international conference on Software engineering","author":"A.S. George","year":"1999","unstructured":"George, A.S., Clarke, L.A., Naumovich, G.: Data flow analysis for checking properties of concurrent java programs. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 399\u2013410. ACM, New York (1999)"},{"key":"18_CR5","first-page":"3","volume-title":"Proceedings of SEFM 2006","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: Proceedings of SEFM 2006, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2006)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. on Software Engineering and Methodology\u00a011, 386\u2013426 (2002)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45319-9_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Podelski, A., Rajamani, S.K.: Boolean and cartesian abstraction for model checking c programs. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 268\u2013283. Springer, Heidelberg (2001)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface Automata. In: FSE 2001, pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11547662_10","volume-title":"Static Analysis","author":"J. Esparza","year":"2005","unstructured":"Esparza, J., Ganty, P., Schwoon, S.: Locality-based abstractions. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 118\u2013134. Springer, Heidelberg (2005)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-69507-3_24","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"G. Goessler","year":"2007","unstructured":"Goessler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: An Approach to Modelling and Verification of Component Based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 295\u2013308. Springer, Heidelberg (2007)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-71322-7_10","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"G. Goessler","year":"2007","unstructured":"Goessler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: Ensuring Properties of Interaction Systems by Construction. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol.\u00a04444, pp. 201\u2013224. Springer, Heidelberg (2007)"},{"key":"18_CR12","unstructured":"Goessler, G.: Component-based Design of Heterogeneous Reactive Systems in Prometheus. Technical Report 6057 INRIA (2006)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-24597-1_36","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. Goessler","year":"2003","unstructured":"Goessler, G., Sifakis, J.: Component-based Construction of Deadlock-free Systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 420\u2013433. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. Goessler","year":"2005","unstructured":"Goessler, G., Sifakis, J.: Composition for Component-based Modeling. Sci. Comput. Program.\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"key":"18_CR15","unstructured":"Kovalyov, A.V.:"},{"key":"18_CR16","unstructured":"Lynch, N.A., Tuttle, M.R.: An Introduction to Input\/Output Automata. In: CWI-Quarterly, pp. 219\u2013246 (1989)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum, M., Martens, M.: Compositional Analysis of Tree-Like Component Architectures. In: Proceedings of EMSOFT 2008 (2008)","DOI":"10.1145\/1450058.1450085"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-85762-4_15","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"M. Majster-Cederbaum","year":"2008","unstructured":"Majster-Cederbaum, M., Minnameier, C.: Everything is PSPACE-Complete in Interaction Systems. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 216\u2013227. Springer, Heidelberg (2008)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1007\/978-3-540-69507-3_77","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"M. Majster-Cederbaum","year":"2007","unstructured":"Majster-Cederbaum, M., Martens, M., Minnameier, C.: A Polynomial-time Checkable Sufficient Condition for Deadlock-Freedom of Component-based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 888\u2013899. Springer, Heidelberg (2007)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum, M., Martens, M., Minnameier, C.: Liveness in Interaction Systems. In: Proceedings of FACS 2007. ENTCS (2007)","DOI":"10.1007\/978-3-540-73196-2_21"},{"key":"18_CR21","unstructured":"Minnameier, C., Schaube, R.: PrInSESSA - Proving Properties of Interaction Systems by Enhanced State Space Approximation (2008), http:\/\/134.155.88.3\/main\/chair_de\/03\/cmm_cross_checking\/index_de.html"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: Modeling Real-time Systems. In: Keynote talk RTSS 2004 (2004)","DOI":"10.1109\/REAL.2004.34"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/SEFM.2005.3","volume-title":"Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods","author":"J. Sifakis","year":"2005","unstructured":"Sifakis, J.: A Framework for Component-based Construction. In: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, pp. 293\u2013300. IEEE Computer Society, Los Alamitos (2005)"},{"key":"18_CR24","unstructured":"Tanenbaum, A.: Modern Operating Systems, 3rd edn (2008)"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04420-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T19:49:36Z","timestamp":1590090576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04420-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044199","9783642044205"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04420-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}