{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:34:09Z","timestamp":1747888449140,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_4","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T20:24:38Z","timestamp":1427833478000},"page":"51-65","source":"Crossref","is-referenced-by-count":4,"title":["On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications"],"prefix":"10.1007","author":[{"given":"Christian","family":"Brenner","sequence":"first","affiliation":[]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/11495628_10","volume-title":"Scenarios: Models, Transformations and Tools","author":"Y. Bontemps","year":"2005","unstructured":"Bontemps, Y., Heymans, P., Schobbens, P.-Y.: Lightweight formal methods for scenario-based software engineering. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 174\u2013192. Springer, Heidelberg (2005)"},{"key":"4_CR2","unstructured":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., Tichy, M.: Scenariotools real-time play-out for test sequence validation in an automotive case study. In: Proc. of 13th Int. Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2014 (2014)"},{"key":"4_CR3","unstructured":"Brenner, C., Greenyer, J., Panzica La Manna, V.: The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions. In: Proc. of 12th Int. Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2013 (2013)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods in System Design, vol.\u00a019, pp. 45\u201380. Kluwer (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: Proc. of 20th IEEE Symp. on Logic in Computer Science, pp. 321\u2013330 (2005)","DOI":"10.1109\/LICS.2005.53"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Halle, S., Bultan, T.: Realizability Analysis for Message-based Interactions Using Shared-State Projections. In: Proc. of 18th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, FSE 2010, Santa Fe, New Mexico (2010)","DOI":"10.1145\/1882291.1882298"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Foundations of Computer Science\u00a013(1), 5\u201351 (2002)","journal-title":"Foundations of Computer Science"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D. Harel","year":"2005","unstructured":"Harel, D., Kugler, H.-J., Pnueli, A.: Synthesis revisited: Generating statechart models from scenario-based requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 309\u2013324. Springer, Heidelberg (2005)"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling (SoSyM)\u00a07(2), 237\u2013252 (2008)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/978-3-642-22110-1_41","volume-title":"Computer Aided Verification","author":"G. Katz","year":"2011","unstructured":"Katz, G., Peled, D., Schewe, S.: Synthesis of distributed control through knowledge accumulation. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 510\u2013525. Springer, Heidelberg (2011)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Peled, D., Schewe, S.: Practical distributed control synthesis. In: Yu, F., Wang, C. (eds.) Proc. Int. Workshop on Verification and Infinite State Systems (INFINITY 2011). EPTCS, vol.\u00a073, pp. 2\u201317 (2011)","DOI":"10.4204\/EPTCS.73.2"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11526841_28","volume-title":"FM 2005: Formal Methods","author":"J. Sun","year":"2005","unstructured":"Sun, J., Dong, J.S.: Synthesis of distributed processes from scenario-based specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 415\u2013431. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:47:43Z","timestamp":1747856863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}