{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T11:14:16Z","timestamp":1723461256038},"reference-count":37,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T00:00:00Z","timestamp":1702339200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100021856","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1016\/j.jss.2023.111928","type":"journal-article","created":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T16:08:36Z","timestamp":1702742916000},"page":"111928","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Product lines of dataflows"],"prefix":"10.1016","volume":"210","author":[{"given":"Michael","family":"Lienhardt","sequence":"first","affiliation":[]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2023.111928_b1","series-title":"Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction","first-page":"5:1","article-title":"A unifying framework for type inhabitation","volume":"vol. 108","author":"Alves","year":"2018"},{"key":"10.1016\/j.jss.2023.111928_b2","series-title":"FUN3D Manual: 14.0. 1","author":"Anderson","year":"2023"},{"key":"10.1016\/j.jss.2023.111928_b3","series-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel","year":"2013"},{"issue":"1","key":"10.1016\/j.jss.2023.111928_b4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0304-3975(99)00207-8","article-title":"Termination of term rewriting using dependency pairs","volume":"236","author":"Arts","year":"2000","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"10.1016\/j.jss.2023.111928_b5","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1002\/cpe.1631","article-title":"StarPU: A unified platform for task scheduling on heterogeneous multicore architectures","volume":"23","author":"Augonnet","year":"2011","journal-title":"Concurr. Comput.: Pract. Exper."},{"key":"10.1016\/j.jss.2023.111928_b6","series-title":"Legion: Programming Distributed Heterogeneous Architectures with Logical Regions","author":"Bauer","year":"2014"},{"key":"10.1016\/j.jss.2023.111928_b7","series-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis","first-page":"81:1","article-title":"Stateful dataflow multigraphs: A data-centric model for performance portability on heterogeneous architectures","author":"Ben-Nun","year":"2019"},{"issue":"2","key":"10.1016\/j.jss.2023.111928_b8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s00236-012-0173-z","article-title":"Compositional type checking of delta-oriented software product lines","volume":"50","author":"Bettini","year":"2013","journal-title":"Acta Inform."},{"issue":"3","key":"10.1016\/j.jss.2023.111928_b9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1051\/meca\/2013056","article-title":"The Onera elsA CFD software: Input from research and feedback from industry","volume":"14","author":"Cambier","year":"2013","journal-title":"Mech. Ind."},{"key":"10.1016\/j.jss.2023.111928_b10","series-title":"Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"304","article-title":"On parallel scalable uniform SAT witness generation","volume":"vol. 9035","author":"Chakraborty","year":"2015"},{"issue":"3","key":"10.1016\/j.jss.2023.111928_b11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1177\/1094342007078442","article-title":"Parallel programmability and the Chapel language","volume":"21","author":"Chamberlain","year":"2007","journal-title":"Int. J. High Perform. Comput. Appl."},{"issue":"8","key":"10.1016\/j.jss.2023.111928_b12","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/TSE.2012.86","article-title":"Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking","volume":"39","author":"Classen","year":"2013","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.jss.2023.111928_b13","series-title":"LNCS","article-title":"All about maude \u2014 A high-performance logical framework: How to specify, program and verify systems in rewriting logic","year":"2007"},{"key":"10.1016\/j.jss.2023.111928_b14","series-title":"Proceedings of the 12th International Conference on Integrated Formal Methods","first-page":"47","article-title":"On Type Checking Delta-Oriented product lines","volume":"vol. 9681","author":"Damiani","year":"2016"},{"key":"10.1016\/j.jss.2023.111928_b15","series-title":"The Logic of Software: A Tasting Menu of Formal Methods","first-page":"147","article-title":"Towards a modular and variability-aware aerodynamic simulator","volume":"vol. 13360","author":"Damiani","year":"2022"},{"key":"10.1016\/j.jss.2023.111928_b16","series-title":"Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction","first-page":"15:1","article-title":"The complexity of principal inhabitation","volume":"vol. 84","author":"Dudenhefner","year":"2017"},{"key":"10.1016\/j.jss.2023.111928_b17","series-title":"Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications","first-page":"1","article-title":"Benchmarking implementations of term rewriting and pattern matching in algebraic, functional, and object-oriented languages: The 4th rewrite engines competition","volume":"vol. 11152","author":"Garavel","year":"2018"},{"key":"10.1016\/j.jss.2023.111928_b18","series-title":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","first-page":"27","article-title":"Complete completion using types and weights","author":"Gvero","year":"2013"},{"key":"10.1016\/j.jss.2023.111928_b19","series-title":"Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation","first-page":"185","article-title":"Polynomial interpretations with negative coefficients","volume":"vol. 3249","author":"Hirokawa","year":"2004"},{"key":"10.1016\/j.jss.2023.111928_b20","series-title":"Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models","first-page":"6:1","article-title":"HPX \u2013 A task based programming model in a global address space","author":"Kaiser","year":"2014"},{"key":"10.1016\/j.jss.2023.111928_b21","series-title":"Proceedings of the 8th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications","first-page":"91","article-title":"CHARM++: A portable concurrent object oriented system based on C++","author":"Kale","year":"1993"},{"issue":"2","key":"10.1016\/j.jss.2023.111928_b22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0164-1212(91)90004-P","article-title":"Specification of concurrent processes using a dataflow model of computation and partially ordered events","volume":"16","author":"Kavi","year":"1991","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.jss.2023.111928_b23","series-title":"Proceedings of the 27th ACM International Systems and Software Product Line Conference, Vol. B","first-page":"30","article-title":"PYDOP: A generic Python library for delta-oriented programming","author":"Lienhardt","year":"2023"},{"key":"10.1016\/j.jss.2023.111928_b24","series-title":"Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change","first-page":"178","article-title":"Conflict detection in delta-oriented programming","volume":"vol. 7609","author":"Lienhardt","year":"2012"},{"key":"10.1016\/j.jss.2023.111928_b25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2018.05.007","article-title":"On checking delta-oriented product lines of statecharts","volume":"166","author":"Lienhardt","year":"2018","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.jss.2023.111928_b26","series-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke","year":"2017"},{"key":"10.1016\/j.jss.2023.111928_b27","series-title":"Scalable uniform sampling for real-world software product lines","author":"Oh","year":"2020"},{"key":"10.1016\/j.jss.2023.111928_b28","series-title":"Proceedings of the International Conference on Supercomputing","first-page":"36:1","article-title":"A Data-centric optimization framework for machine learning","author":"Rausch","year":"2022"},{"key":"10.1016\/j.jss.2023.111928_b29","series-title":"Proceedings of the 15th International Symposium on Embedded Multicore\/Many-Core Systems-on-Chip","first-page":"1","article-title":"A survey of main dataflow MoCCs for CPS design and verification","author":"Roumage","year":"2022"},{"key":"10.1016\/j.jss.2023.111928_b30","series-title":"Proceedings of the 14th International Conference on Software Product Lines: Going Beyond","first-page":"77","article-title":"Delta-oriented programming of software product lines","volume":"vol. 6287","author":"Schaefer","year":"2010"},{"issue":"5","key":"10.1016\/j.jss.2023.111928_b31","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s10009-012-0253-y","article-title":"Software diversity: State of the art and perspectives","volume":"14","author":"Schaefer","year":"2012","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.jss.2023.111928_b32","series-title":"Proceedings of the 32nd International Conference on Computer Aided Verification","first-page":"463","article-title":"Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling","volume":"vol. 12224","author":"Soos","year":"2020"},{"key":"10.1016\/j.jss.2023.111928_b33","series-title":"Proceedings of the 23rd International Systems and Software Product Line Conference","first-page":"39","article-title":"Static analysis of featured transition systems","author":"ter Beek","year":"2019"},{"issue":"1","key":"10.1016\/j.jss.2023.111928_b34","first-page":"10:1","article-title":"Efficient static analysis and verification of featured transition systems","volume":"22","author":"ter Beek","year":"2022","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"10.1016\/j.jss.2023.111928_b35","doi-asserted-by":"crossref","first-page":"6:1","DOI":"10.1145\/2580950","article-title":"A classification and survey of analysis strategies for software product lines","volume":"47","author":"Th\u00fcm","year":"2014","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.jss.2023.111928_b36","series-title":"Proceedings of the 3rd International Conference on Typed Lambda Calculi and Applications","first-page":"373","article-title":"Inhabitation in typed Lambda-Calculi (A Syntactic Approach)","volume":"vol. 1210","author":"Urzyczyn","year":"1997"},{"issue":"4","key":"10.1016\/j.jss.2023.111928_b37","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/s10817-022-09640-4","article-title":"Tuple interpretations for termination of term rewriting","volume":"66","author":"Yamada","year":"2022","journal-title":"J. Autom. Reason."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121223003230?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121223003230?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T16:31:01Z","timestamp":1707409861000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121223003230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4]]},"references-count":37,"alternative-id":["S0164121223003230"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2023.111928","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2024,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Product lines of dataflows","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2023.111928","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 The Author(s). Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"111928"}}
