{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:35Z","timestamp":1725746795618},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_4","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:26:23Z","timestamp":1377753983000},"page":"51-65","source":"Crossref","is-referenced-by-count":8,"title":["Delta Modeling and Model Checking of Product Families"],"prefix":"10.1007","author":[{"given":"Hamideh","family":"Sabouri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramtin","family":"Khosravi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc. (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute (November 1990)","DOI":"10.21236\/ADA235785"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.2009.118","volume":"42","author":"C. Ebert","year":"2009","unstructured":"Ebert, C., Jones, C.: Embedded software: Facts, figures, and future. Computer 42, 42\u201352 (2009)","journal-title":"Computer"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bruns, D., Klebanov, V., Schaefer, I.: Verification of software product lines with delta-oriented slicing. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol. 6528, pp. 61\u201375. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-18070-5_5"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Schaefer, I., Hentschel, M., Apel, S.: Family-based deductive verification of software product lines. In: Proc. Generative Programming and Component Engineering, GPCE 2012, pp. 11\u201320. ACM (2012)","DOI":"10.1145\/2371401.2371404"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Schaefer, I.: A liskov principle for delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 32\u201346. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34026-0_4"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Damiani, F., Owe, O., Dovland, J., Schaefer, I., Johnsen, E.B., Yu, I.C.: A transformational proof system for delta-oriented programming. In: Proc. Software Product Line Conference, SPLC 2012, vol. 2, pp. 53\u201360. ACM (2012)","DOI":"10.1145\/2364412.2364422"},{"key":"4_CR9","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (2000)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proc. Int\u2019l Conf. on Software Eng., ICSE 2010, pp. 335\u2013344 (2010)","DOI":"10.1145\/1806799.1806850"},{"issue":"4","key":"4_CR11","first-page":"385","volume":"63","author":"M. Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inf. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inf."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417\u2013457. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21455-4_13"},{"key":"4_CR13","unstructured":"Rebeca research group: Afra integrated verification environment for Rebeca, \n                    http:\/\/www.rebeca-lang.org"},{"issue":"1","key":"4_CR14","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/S0167-6423(00)00018-6","volume":"41","author":"M. Plath","year":"2001","unstructured":"Plath, M., Ryan, M.: Feature integration using a feature construct. Sci. Comput. Program. 41(1), 53\u201384 (2001)","journal-title":"Sci. Comput. Program."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Nyman, U., Wasowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-71316-6_6"},{"key":"4_CR16","unstructured":"Sabouri, H., Khosravi, R.: An effective approach for verifying product lines in presence of variability models. In: Proc. Software Product Lines, vol. 2, pp. 113\u2013120 (2010)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Sabouri, H., Jaghoori, M.M., de Boer, F.S., Khosravi, R.: Scheduling and analysis of real-time software families. In: Proc. Computer Software and Applications. IEEE Computer Society (2012)","DOI":"10.1109\/COMPSAC.2012.95"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 113\u2013131. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"4_CR19","unstructured":"Muschevici, R., Clarke, D., Proen\u00e7a, J.: Feature Petri Nets. In: Proc. Software Product Lines, vol. 2, pp. 99\u2013106 (2010)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. International Journal on Software Tools for Technology Transfer, 1\u201324 (2012)","DOI":"10.1007\/s10009-012-0234-1"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Proc. Generative Programming and Component Engineering, GPCE 2010, pp. 13\u201322 (2010)","DOI":"10.1145\/1868294.1868298"},{"issue":"1","key":"4_CR22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00236-009-0111-x","volume":"47","author":"M.M. Jaghoori","year":"2010","unstructured":"Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Khamespanah, E., Movaghar, A.: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1), 33\u201366 (2010)","journal-title":"Acta Inf."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T20:27:38Z","timestamp":1558038458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}