{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:10Z","timestamp":1750306450547,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T00:00:00Z","timestamp":1437350400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Science Foundation Ireland","award":["13\/RC\/2094"],"award-info":[{"award-number":["13\/RC\/2094"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,20]]},"DOI":"10.1145\/2791060.2793675","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"427-431","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["User-level synthesis"],"prefix":"10.1145","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[{"name":"TU Dortmund University, Dortmund, Germany"}]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[{"name":"Potsdam University, Potsdam, Germany"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[{"name":"University of Limerick, Limerick, Ireland"}]}],"member":"320","published-online":{"date-parts":[[2015,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Congress on Env. Modelling and Software","author":"S.","year":"2014","unstructured":"S. Al-areqi, S. Kriewald , A.-L. Lamprecht , D. Reusser , M. Wrobel , and T. Margaria . Agile Workflows for Climate Impact Risk Assessment based on the ci:grasp Platform and the jABC Modeling Framework. In International Environmental Modelling and Software Society (iEMSs) 7th Intl . Congress on Env. Modelling and Software , 2014 . accepted. S. Al-areqi, S. Kriewald, A.-L. Lamprecht, D. Reusser, M. Wrobel, and T. Margaria. Agile Workflows for Climate Impact Risk Assessment based on the ci:grasp Platform and the jABC Modeling Framework. In International Environmental Modelling and Software Society (iEMSs) 7th Intl. Congress on Env. Modelling and Software, 2014. accepted."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929463.1929468"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0091-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/INW.1997.601576"},{"key":"e_1_3_2_1_6_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , Cambridge, MA, USA , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, MA, USA, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/185084.185102"},{"issue":"02","key":"e_1_3_2_1_9_1","first-page":"2008","article-title":"Configurable Workflow Models","volume":"17","author":"Gottschalk F.","unstructured":"F. Gottschalk , W. M. P. van der Aalst , M. H. Jansen-Vullers , and M. La Rosa . Configurable Workflow Models . International Journal of Cooperative Information Systems , 17 ( 02 ):177+, 2008 . F. Gottschalk, W. M. P. van der Aalst, M. H. Jansen-Vullers, and M. La Rosa. Configurable Workflow Models. International Journal of Cooperative Information Systems, 17(02):177+, 2008.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"e_1_3_2_1_10_1","first-page":"145","volume-title":"Feature Interactions in Telecommunications and Software Systems VI (FIW","author":"Jonsson B.","year":"2000","unstructured":"B. Jonsson , T. Margaria , G. Naeser , J. Nystr\u00f6m , and B. Steffen . Incremental Requirement Specification for Evolving Systems . In M. Calder and E. H. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI (FIW 2000 ), pages 145 -- 162 . IOS Press , May 2000. B. Jonsson, T. Margaria, G. Naeser, J. Nystr\u00f6m, and B. Steffen. Incremental Requirement Specification for Evolving Systems. In M. Calder and E. H. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI (FIW 2000), pages 145--162. IOS Press, May 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/EASE.2007.17"},{"key":"e_1_3_2_1_12_1","unstructured":"S.\n      J\u00f6rges\n      . \n      Construction\n       and Evolution of \n      Code\n      Generators\n       - A \n      Model-Driven\n     and \n      Service-Oriented\n      Approach volume \n  7747\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer Berlin Heidelberg Germany 2013\n  .  S. J\u00f6rges. Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach volume 7747 of Lecture Notes in Computer Science. Springer Berlin Heidelberg Germany 2013."},{"key":"e_1_3_2_1_13_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 14(5):511--530","author":"J\u00f6rges S.","year":"2012","unstructured":"S. J\u00f6rges , A.-L. Lamprecht , T. Margaria , I. Schaefer , and B. Steffen . A Constraint-based Variability Modeling Framework . International Journal on Software Tools for Technology Transfer (STTT), 14(5):511--530 , 2012 . S. J\u00f6rges, A.-L. Lamprecht, T. Margaria, I. Schaefer, and B. Steffen. A Constraint-based Variability Modeling Framework. International Journal on Software Tools for Technology Transfer (STTT), 14(5):511--530, 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0071-2"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-45389-2","volume-title":"User-Level Workflow Design - A Bioinformatics Perspective","author":"Lamprecht A.-L.","year":"2013","unstructured":"A.-L. Lamprecht . User-Level Workflow Design - A Bioinformatics Perspective , volume 8311 of Lecture Notes in Computer Science . Springer , 2013 . A.-L. Lamprecht. User-Level Workflow Design - A Bioinformatics Perspective, volume 8311 of Lecture Notes in Computer Science. Springer, 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"10th International Symposium, FMCO 2011","volume":"7542","author":"Lamprecht A.-L.","year":"2011","unstructured":"A.-L. Lamprecht , T. Margaria , I. Schaefer , and B. Steffen . Synthesis-Based Variability Control: Correctness by Construction . In 10th International Symposium, FMCO 2011 , Turin, Italy , October 3-5, 2011 , Revised Selected Papers, volume 7542 of Lecture Notes in Computer Science, pages 69--88. Springer Berlin Heidelberg, 2012. A.-L. Lamprecht, T. Margaria, I. Schaefer, and B. Steffen. Synthesis-Based Variability Control: Correctness by Construction. In 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, volume 7542 of Lecture Notes in Computer Science, pages 69--88. Springer Berlin Heidelberg, 2012."},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-3-540-79450-9_42","volume-title":"Bioinformatics Research and Applications","author":"Lamprecht A.-L.","year":"2008","unstructured":"A.-L. Lamprecht , T. Margaria , and B. Steffen . Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI . In Bioinformatics Research and Applications , volume 4983 of Lecture Notes in Bioinformatics , page 445 -- 456 , Atlanta, Georgia , 2008 . Springer . A.-L. Lamprecht, T. Margaria, and B. Steffen. Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. In Bioinformatics Research and Applications, volume 4983 of Lecture Notes in Bioinformatics, page 445--456, Atlanta, Georgia, 2008. Springer."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/QUATIC.2010.53"},{"key":"e_1_3_2_1_19_1","volume-title":"Scientific Workflows in the jABC Framework Evaluation, Experiences, and Future Perspectives","author":"Lamprecht A.-L.","year":"2015","unstructured":"A.-L. Lamprecht , B. Steffen , and T. Margaria . Scientific Workflows in the jABC Framework Evaluation, Experiences, and Future Perspectives . 2015 . to appear. A.-L. Lamprecht, B. Steffen, and T. Margaria. Scientific Workflows in the jABC Framework Evaluation, Experiences, and Future Perspectives. 2015. to appear."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2011.42"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.315"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_34"},{"key":"e_1_3_2_1_24_1","first-page":"330","volume-title":"Proceedings of the 6th International Symposium on Static Analysis (SAS '99)","author":"M\u00fcller-Olm M.","year":"1999","unstructured":"M. M\u00fcller-Olm , D. Schmidt , and B. Steffen . Model-Checking - A Tutorial Introduction . In Proceedings of the 6th International Symposium on Static Analysis (SAS '99) , pages 330 -- 354 , 1999 . M. M\u00fcller-Olm, D. Schmidt, and B. Steffen. Model-Checking - A Tutorial Introduction. In Proceedings of the 6th International Symposium on Static Analysis (SAS '99), pages 330--354, 1999."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_7"},{"key":"e_1_3_2_1_26_1","volume-title":"CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools","author":"Naujokat S.","year":"2015","unstructured":"S. Naujokat , M. Lybecait , D. Kopetzki , and B. Steffen . CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools . 2015 . to appear. S. Naujokat, M. Lybecait, D. Kopetzki, and B. Steffen. CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools. 2015. to appear."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_33"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2005 . K. Pohl, G. B\u00f6ckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2005."},{"key":"e_1_3_2_1_29_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 14(5):477--495","author":"Schaefer I.","year":"2012","unstructured":"I. Schaefer , R. Rabiser , D. Clarke , L. Bettini , D. Benavides , G. Botterweck , A. Pathak , S. Trujilol , and K. Villela . Software Diversity -- State of the Art and Perspectives . International Journal on Software Tools for Technology Transfer (STTT), 14(5):477--495 , 2012 . I. Schaefer, R. Rabiser, D. Clarke, L. Bettini, D. Benavides, G. Botterweck, A. Pathak, S. Trujilol, and K. Villela. Software Diversity -- State of the Art and Perspectives. International Journal on Software Tools for Technology Transfer (STTT), 14(5):477--495, 2012."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646512.695485"},{"key":"e_1_3_2_1_31_1","volume-title":"Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools, 17(2):78--95","author":"Steffen B.","year":"1996","unstructured":"B. Steffen , T. Margaria , A. Cla\u00dfen , and V. Braun . Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools, 17(2):78--95 , 1996 . B. Steffen, T. Margaria, A. Cla\u00dfen, and V. Braun. Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools, 17(2):78--95, 1996."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/646480.693786"},{"key":"e_1_3_2_1_33_1","volume-title":"Fakult\u00e4t f\u00fcr Mathematik und Informatik","author":"Steffen B.","year":"1993","unstructured":"B. Steffen , T. Margaria , and B. Freitag . Module Configuration by Minimal Model Construction. Technical report , Fakult\u00e4t f\u00fcr Mathematik und Informatik , Universit\u00e4t Passau , 1993 . B. Steffen, T. Margaria, and B. Freitag. Module Configuration by Minimal Model Construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 1993."},{"key":"e_1_3_2_1_34_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Model-Driven Development with the jABC","author":"Steffen B.","year":"2007","unstructured":"B. Steffen , T. Margaria , R. Nagel , S. J\u00f6rges , and C. Kubczak . Model-Driven Development with the jABC . In E. Bin, A. Ziv, and S. Ur, editors, Hardware and Software, Verification and Testing, volume 4383 of Lecture Notes in Computer Science , pages 92 -- 108 . Springer Berlin \/ Heidelberg , 2007 . B. Steffen, T. Margaria, R. Nagel, S. J\u00f6rges, and C. Kubczak. Model-Driven Development with the jABC. In E. Bin, A. Ziv, and S. Ur, editors, Hardware and Software, Verification and Testing, volume 4383 of Lecture Notes in Computer Science, pages 92--108. Springer Berlin \/ Heidelberg, 2007."}],"event":{"name":"SPLC '15: 2015 International Conference on Software Product Lines","sponsor":["Vanderbilt University Vanderbilt University","Biglever BigLever Software, Inc."],"location":"Nashville Tennessee","acronym":"SPLC '15"},"container-title":["Proceedings of the 19th International Conference on Software Product Line"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2793675","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2791060.2793675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:09Z","timestamp":1750225389000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2791060.2793675"}},"subtitle":["treating product lines as systems of constraints"],"short-title":[],"issued":{"date-parts":[[2015,7,20]]},"references-count":34,"alternative-id":["10.1145\/2791060.2793675","10.1145\/2791060"],"URL":"https:\/\/doi.org\/10.1145\/2791060.2793675","relation":{},"subject":[],"published":{"date-parts":[[2015,7,20]]},"assertion":[{"value":"2015-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}