{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:11Z","timestamp":1750306451539,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,20]]},"DOI":"10.1145\/2791060.2791111","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T14:09:20Z","timestamp":1440425360000},"page":"26-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["All-at-once-synthesis of controllers from scenario-based product line specifications"],"prefix":"10.1145","author":[{"given":"Maxime","family":"Cordy","sequence":"first","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Jean-Marc","family":"Davril","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Erika","family":"Gressi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[{"name":"University of Namur, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2015,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.137"},{"key":"e_1_3_2_1_5_1","volume-title":"GT-VMT'13","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 GT-VMT'13 , volume 58 . EASST , 2013 . C. Brenner, J. Greenyer, and V. Panzica La Manna. The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions. In GT-VMT'13, volume 58. EASST, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"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.1007\/978-3-642-54804-8_13"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.017"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491445"},{"key":"e_1_3_2_1_16_1","volume-title":"RE'12","author":"Greenyer J.","year":"2012","unstructured":"J. Greenyer , A. M. Sharifloo , M. Cordy , and P. Heymans . Efficient consistency checking of scenario-based product line specifications . In RE'12 . IEEE , 2012 . J. Greenyer, A. M. Sharifloo, M. Cordy, and P. Heymans. Efficient consistency checking of scenario-based product line specifications. In RE'12. IEEE, 2012."},{"key":"e_1_3_2_1_17_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 . In Foundations of Computer Science , volume 13 : 1 , 2002 . D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. In Foundations of Computer Science, volume 13: 1, 2002.","journal-title":"Foundations of Computer Science"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2137662.2137683"},{"key":"e_1_3_2_1_19_1","volume-title":"May","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, 7(2) , May 2008 . D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling, 7(2), May 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer , August 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, August 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_27"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394116"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","volume-title":"Simple linear-time algorithms for minimal fixed points","author":"Liu X.","year":"1998","unstructured":"X. Liu and S. Smolka . Simple linear-time algorithms for minimal fixed points . In K. Larsen, S. Skyum, and G. Winskel, editors, Automata, Languages and Programming, volume 1443 of Lecture Notes in Computer Science . Springer Berlin Heidelberg , 1998 . X. Liu and S. Smolka. Simple linear-time algorithms for minimal fixed points. In K. Larsen, S. Skyum, and G. Winskel, editors, Automata, Languages and Programming, volume 1443 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1998."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_22"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345799"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859009"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of UML'04 Workshop on Software Architecture Description","author":"Ziadi T.","year":"2004","unstructured":"T. Ziadi , L. H\u00e9lou\u00ebt , and J.-M. J\u00e9z\u00e9quel . Behaviors generation from product lines requirements . In Proc. of UML'04 Workshop on Software Architecture Description , 2004 . T. Ziadi, L. H\u00e9lou\u00ebt, and J.-M. J\u00e9z\u00e9quel. Behaviors generation from product lines requirements. In Proc. of UML'04 Workshop on Software Architecture Description, 2004."}],"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.2791111","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2791060.2791111","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.2791111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,20]]},"references-count":28,"alternative-id":["10.1145\/2791060.2791111","10.1145\/2791060"],"URL":"https:\/\/doi.org\/10.1145\/2791060.2791111","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"}}]}}