{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:19Z","timestamp":1750306759763,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"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":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491445","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"433-443","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Incrementally synthesizing controllers from scenario-based product line specifications"],"prefix":"10.1145","author":[{"given":"Joel","family":"Greenyer","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Christian","family":"Brenner","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Erika","family":"Gressi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"17","volume-title":"Proc. of ICALP \u201989","author":"Abadi M.","unstructured":"M. Abadi , L. Lamport , and P. Wolper . Realizable and unrealizable specifications of reactive systems . In Proc. of ICALP \u201989 , volume 372 of LNCS , pages 1\u2013 17 . Springer, 1989. M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In Proc. of ICALP \u201989, volume 372 of LNCS, pages 1\u201317. Springer, 1989."},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"35","volume-title":"Proc. of ICSR\u201911","author":"Alf\u00e9rez M.","year":"2011","unstructured":"M. Alf\u00e9rez , R. E. Lopez-Herrejon , A. Moreira , V. Amaral , and A. Egyed . Supporting consistency checking between features and software product line use scenarios . In Proc. of ICSR\u201911 , volume 6727 of LNCS , pages 20\u2013 35 , Berlin, Heidelberg , 2011 . Springer . M. Alf\u00e9rez, R. E. Lopez-Herrejon, A. Moreira, V. Amaral, and A. Egyed. Supporting consistency checking between features and software product line use scenarios. In Proc. of ICSR\u201911, volume 6727 of LNCS, pages 20\u201335, Berlin, Heidelberg, 2011. Springer."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.11"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.137"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of GT-VMT\u201913","author":"Brenner C.","year":"2013","unstructured":"C. Brenner , J. Greenyer , and V. Panzica La Manna. The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions . In Proc. of GT-VMT\u201913 , 2013 . (to appear). C. Brenner, J. Greenyer, and V. Panzica La Manna. The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions. In Proc. of GT-VMT\u201913, 2013. (to appear)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181800"},{"key":"e_1_3_2_1_11_1","volume-title":"ISTE Publ.\/John Wiley","author":"David A.","year":"2009","unstructured":"A. David , G. Behrmann , P. Bulychev , J. Byg , T. Chatain , K. G. Larsen , P. Pettersson , J. I. Rasmussen , J. Srba , W. Yi , K. Y. Joergensen , D. Lime , M. Magnin , O. H. Roux , and L.-. Traonouez. Tools for model-checking timed systems. In Communicating Embedded Systems \u2013 Software and Design, pages 165\u2013225 . ISTE Publ.\/John Wiley , 2009 . A. David, G. Behrmann, P. Bulychev, J. Byg, T. Chatain, K. G. Larsen, P. Pettersson, J. I. Rasmussen, J. Srba, W. Yi, K. Y. Joergensen, D. Lime, M. Magnin, O. H. Roux, and L.-. Traonouez. Tools for model-checking timed systems. In Communicating Embedded Systems \u2013 Software and Design, pages 165\u2013225. ISTE Publ.\/John Wiley, 2009."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.017"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345800"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Synthesizing state-based object systems from LSC specifications","volume":"13","author":"Harel D.","year":"2002","unstructured":"D. Harel and H. Kugler . Synthesizing state-based object systems from LSC specifications . Foundations of Computer Science , 13 : 1 :5\u201351, 2002 . D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Foundations of Computer Science, 13:1:5\u201351, 2002.","journal-title":"Foundations of Computer Science"},{"key":"e_1_3_2_1_16_1","first-page":"324","volume-title":"Formal Methods in Software and Systems Modeling","author":"Harel D.","unstructured":"D. Harel , H. Kugler , and A. Pnueli . Synthesis revisited: Generating statechart models from scenario-based requirements . In Formal Methods in Software and Systems Modeling , volume 3393 , pages 309\u2013 324 . Springer, 2005. D. Harel, H. Kugler, and A. Pnueli. Synthesis revisited: Generating statechart models from scenario-based requirements. In Formal Methods in Software and Systems Modeling, volume 3393, pages 309\u2013324. Springer, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM), 7(2):237\u2013252","author":"Harel D.","year":"2008","unstructured":"D. Harel and S. Maoz . Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM), 7(2):237\u2013252 , 2008 . D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM), 7(2):237\u2013252, 2008."},{"key":"e_1_3_2_1_18_1","volume-title":"Come","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let\u2019s Play : Scenario-Based Programming Using LSCs and the Play-Engine. Springer , 2003 . D. Harel and R. Marelly. Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_27"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","first-page":"165","volume-title":"Model Driven Engineering Languages and Systems","author":"Jayaraman P.","unstructured":"P. Jayaraman , J. Whittle , A. Elkhodary , and H. Gomaa . Model composition in product lines and feature interaction detection using critical pair analysis . In Model Driven Engineering Languages and Systems , volume 4735 of LNCS , pages 151\u2013 165 . Springer, 2007. P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa. Model composition in product lines and feature interaction detection using critical pair analysis. In Model Driven Engineering Languages and Systems, volume 4735 of LNCS, pages 151\u2013165. Springer, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_22_1","series-title":"LNCS","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"Lewerentz C.","unstructured":"C. Lewerentz and T. Lindner . KORSO: Methods, Languages, and Tools for the Construction of Correct Software , volume 1009 of LNCS , chapter Case study \u201cproduction cell\u201d: A comparative study in formal specification and verification, pages 388\u2013416. Springer, 2006. C. Lewerentz and T. Lindner. KORSO: Methods, Languages, and Tools for the Construction of Correct Software, volume 1009 of LNCS, chapter Case study \u201cproduction cell\u201d: A comparative study in formal specification and verification, pages 388\u2013416. Springer, 2006."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_22"},{"key":"e_1_3_2_1_24_1","first-page":"20","volume-title":"Proc of ECAI\u201910","author":"Marques-Silva J.","unstructured":"J. Marques-Silva , M. Janota , and I. Lynce . On computing backbones of propositional theories . In Proc of ECAI\u201910 , pages 15\u2013 20 . IOS Press, 2010. J. Marques-Silva, M. Janota, and I. Lynce. On computing backbones of propositional theories. In Proc of ECAI\u201910, pages 15\u201320. IOS Press, 2010."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345799"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of UML\u201904 Workshop on Software Architecture Description","author":"Ziadi T.","year":"2004","unstructured":"T. Ziadi , L. H\u00e9lou\u00a8 et, and J.-M. J\u00e9z\u00e9quel . Behaviors generation from product lines requirements . In Proc. of UML\u201904 Workshop on Software Architecture Description , 2004 . T. Ziadi, L. H\u00e9lou\u00a8 et, and J.-M. J\u00e9z\u00e9quel. Behaviors generation from product lines requirements. In Proc. of UML\u201904 Workshop on Software Architecture Description, 2004."}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13"},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491445","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":29,"alternative-id":["10.1145\/2491411.2491445","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491445","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}