{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:12Z","timestamp":1750221252101,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T00:00:00Z","timestamp":1536537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,10]]},"DOI":"10.1145\/3233027.3236401","type":"proceedings-article","created":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T12:37:00Z","timestamp":1537447020000},"page":"264-268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Interoperability of software product line variants"],"prefix":"10.1145","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[{"name":"University of Torino, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduard","family":"Kamburjan","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[{"name":"University of Torino, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/97946.97982"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"e_1_3_2_1_3_1","volume-title":"Ina Schafer, Jan Sch\u00e4fer, Rudi Schlatte, and Peter Y. H. Wong.","author":"Clarke Dave","year":"2011","unstructured":"Dave Clarke , Nikolay Diakov , Reiner H\u00e4hnle , Einar Broch Johnsen , Ina Schafer, Jan Sch\u00e4fer, Rudi Schlatte, and Peter Y. H. Wong. 2011 . Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In Formal Methods for Eternal Networked Software Systems, M. Bernardo and V. Issarny (Eds.). LNCS, Vol. 6659 . Springer , Berlin, Heidelberg, 417--457. Dave Clarke, Nikolay Diakov, Reiner H\u00e4hnle, Einar Broch Johnsen, Ina Schafer, Jan Sch\u00e4fer, Rudi Schlatte, and Peter Y. H. Wong. 2011. Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In Formal Methods for Eternal Networked Software Systems, M. Bernardo and V. Issarny (Eds.). LNCS, Vol. 6659. Springer, Berlin, Heidelberg, 417--457."},{"volume-title":"Fundamentals of Software Engineering (Lecture Notes in Computer Science)","author":"Damiani Ferruccio","key":"e_1_3_2_1_4_1","unstructured":"Ferruccio Damiani , Michael Lienhardt , and Luca Paolini . 2017. A Formal Model for Multi SPLs . In Fundamentals of Software Engineering (Lecture Notes in Computer Science) , Mehdi Dastani and Marjan Sirjani (Eds.), Vol. 10522 . Springer , Cham , 67--83. Ferruccio Damiani, Michael Lienhardt, and Luca Paolini. 2017. A Formal Model for Multi SPLs. In Fundamentals of Software Engineering (Lecture Notes in Computer Science), Mehdi Dastani and Marjan Sirjani (Eds.), Vol. 10522. Springer, Cham, 67--83."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-017-0293-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019175"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648536"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. Fifth Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) (CCIS), Cyrille Artho and Peter Csaba \u00d6lveczky (Eds.)","volume":"694","author":"H\u00e4hnle Reiner","year":"2016","unstructured":"Reiner H\u00e4hnle and Eduard Kamburjan . 2016 . Uniform Modeling of Railway Operations . In Proc. Fifth Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) (CCIS), Cyrille Artho and Peter Csaba \u00d6lveczky (Eds.) , Vol. 694 . Springer, Cham, 55--71. Reiner H\u00e4hnle and Eduard Kamburjan. 2016. Uniform Modeling of Railway Operations. In Proc. Fifth Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) (CCIS), Cyrille Artho and Peter Csaba \u00d6lveczky (Eds.), Vol. 694. Springer, Cham, 55--71."},{"volume-title":"Dynamic Software Product Lines","author":"Hallsteinsen Svein","key":"e_1_3_2_1_10_1","unstructured":"Svein Hallsteinsen , Mike Hinchey , Sooyong Park , and Klaus Schmid . 2013. Dynamic Software Product Lines . Springer Berlin Heidelberg , Berlin, Heidelberg , 253--260. Svein Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus Schmid. 2013. Dynamic Software Product Lines. Springer Berlin Heidelberg, Berlin, Heidelberg, 253--260."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158683"},{"key":"e_1_3_2_1_15_1","volume-title":"Programming in Scala","author":"Odersky Martin","year":"2070","unstructured":"Martin Odersky , Lex Spoon , and Bill Venners . 2016. Programming in Scala ( 3 rd ed.). Artima Inc., 2070 N Broadway Unit 305 Walnut Creek CA 94597 USA. Martin Odersky, Lex Spoon, and Bill Venners. 2016. Programming in Scala (3rd ed.). Artima Inc., 2070 N Broadway Unit 305 Walnut Creek CA 94597 USA.","edition":"3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500719"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791084"}],"event":{"name":"SPLC '18: 22nd International Systems and Software Product Line Conference","acronym":"SPLC '18","location":"Gothenburg Sweden"},"container-title":["Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3233027.3236401","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3233027.3236401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:55Z","timestamp":1750212475000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3233027.3236401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,10]]},"references-count":17,"alternative-id":["10.1145\/3233027.3236401","10.1145\/3233027"],"URL":"https:\/\/doi.org\/10.1145\/3233027.3236401","relation":{},"subject":[],"published":{"date-parts":[[2018,9,10]]},"assertion":[{"value":"2018-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}