Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.

Joel Greenyer; Daniel Gritzner; Guy Katz; Assaf Marron

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.

Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)
Subtitle of host publication	CEUR Workshop Proceedings 1725, CEUR-WS.org 2016
Pages	16-23
Number of pages	8
State	Published - 2016
Event	2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016 - Saint-Malo, France Duration: 2 Oct 2016 → 7 Oct 2016

Conference

Conference	2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016
Country/Territory	France
City	Saint-Malo
Period	2/10/16 → 7/10/16

Access to Document

https://dblp.org/rec/conf/models/GreenyerGKM16.htmlLicense: Unspecified
https://ceur-ws.org/Vol-1725/demo3.pdf

Cite this

Greenyer, J., Gritzner, D., Katz, G., & Marron, A. (2016). Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. In Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016): CEUR Workshop Proceedings 1725, CEUR-WS.org 2016 (pp. 16-23) https://dblp.org/rec/conf/models/GreenyerGKM16.html

Greenyer, Joel ; Gritzner, Daniel ; Katz, Guy et al. / Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016): CEUR Workshop Proceedings 1725, CEUR-WS.org 2016. 2016. pp. 16-23

@inproceedings{09bbb9c9ec4c406d83c7dddb5cc4b243,

title = "Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.",

author = "Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron",

year = "2016",

language = "אנגלית",

pages = "16--23",

booktitle = "Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)",

note = "2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016 ; Conference date: 02-10-2016 Through 07-10-2016",

}

Greenyer, J, Gritzner, D, Katz, G & Marron, A 2016, Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. in Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016): CEUR Workshop Proceedings 1725, CEUR-WS.org 2016. pp. 16-23, 2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016, Saint-Malo, France, 2/10/16. <https://dblp.org/rec/conf/models/GreenyerGKM16.html>

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. / Greenyer, Joel; Gritzner, Daniel; Katz, Guy et al.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016): CEUR Workshop Proceedings 1725, CEUR-WS.org 2016. 2016. p. 16-23.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.

AU - Greenyer, Joel

AU - Gritzner, Daniel

AU - Katz, Guy

AU - Marron, Assaf

PY - 2016

Y1 - 2016

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SP - 16

EP - 23

BT - Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)

T2 - 2016 MoDELS Demo and Poster Sessions, MoDELS-D and P 2016

Y2 - 2 October 2016 through 7 October 2016

ER -

Greenyer J, Gritzner D, Katz G, Marron A. Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. In Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016): CEUR Workshop Proceedings 1725, CEUR-WS.org 2016. 2016. p. 16-23