Publications

Journal Articles

2017

  • J. Greenyer, D. Gritzner, T. Gutahr, F. König, N. Glade, A. Marron, and G. Katz, “ScenarioTools — A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems,” Science of Computer Programming, p. -, 2017. doi:10.1016/j.scico.2017.07.004
    [BibTeX] [Download PDF]
    @article{Greenyer2017a,
    title = "ScenarioTools -- A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems ",
    journal = "Science of Computer Programming ",
    volume = "",
    number = "",
    pages = " - ",
    year = "2017",
    note = "",
    issn = "0167-6423",
    doi = "10.1016/j.scico.2017.07.004",
    author = "Joel Greenyer and Daniel Gritzner and Timo Gutahr and Florian K{\"o}nig and Nils Glade and Assaf Marron and Guy Katz",
    keywords = "reactive systems",
    keywords = "dynamic system structure",
    keywords = "scenarios",
    keywords = "graph transformation",
    keywords = "analysis",
    keywords = "inconsistency",
    keywords = "realizability",
    keywords = "controller synthesis ",
    url = "http://jgreen.de/wp-content/documents/2017/ScenarioTools-2017-SCP-OSP-article.pdf"
    }

2013

  • J. Greenyer, A. Molzam Sharifloo, M. Cordy, and P. Heymans, “Features meet scenarios: modeling and consistency-checking scenario-based product line specifications,” Requirements Engineering, vol. 18, iss. 2, pp. 175-198, 2013. doi:10.1007/s00766-013-0169-4
    [BibTeX] [Download PDF]
    @ARTICLE{Greenyer2013,
    author = {Greenyer, Joel and Molzam Sharifloo, Amir and Cordy, Maxime and Heymans,
    Patrick},
    title = {Features meet scenarios: modeling and consistency-checking scenario-based
    product line specifications},
    journal = {Requirements Engineering},
    year = {2013},
    volume = {18},
    pages = {175-198},
    number = {2},
    doi = {10.1007/s00766-013-0169-4},
    issn = {0947-3602},
    keywords = {Scenario-based specification; Product lines; Feature compositions;
    Consistency},
    language = {English},
    publisher = {Springer-Verlag},
    url = {http://jgreen.de/wp-content/documents/2013/Greenyer-Sharifloo-Cordy-Heymans-Features-meet-Scenarios-REJ13.pdf}
    }

2010

  • J. Greenyer and E. Kindler, “Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars,” Software and Systems Modeling (SoSyM), vol. 9, iss. 1, pp. 21-46, 2010. doi:10.1007/s10270-009-0121-8
    [BibTeX] [Download PDF]
    @ARTICLE{Greenyer2010,
    author = {Joel Greenyer and Ekkart Kindler},
    title = {Comparing relational model transformation technologies: implementing
    {Query/View/Transformation} with {Triple Graph Grammars}},
    journal = {Software and Systems Modeling (SoSyM)},
    year = {2010},
    volume = {9},
    pages = {21--46},
    number = {1},
    month = {January},
    note = {Published online July 15, 2009},
    doi = {10.1007/s10270-009-0121-8},
    publisher = {Springer-Verlag},
    url = {http://jgreen.de/wp-content/documents/2010/reconcilingTGGsWithQVT-SoSyM-Special-Issue.pdf}
    }

Conferences

2017

  • J. Greenyer and T. Gutjahr, “Symbolic Execution for Realizability-Checking of Scenario-based Specifications,” in ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Proceedings (to appear), IEEE, 2017.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2017d,
    Title = {Symbolic Execution for Realizability-Checking of Scenario-based Specifications},
    Author = {Joel Greenyer and Timo Gutjahr},
    Booktitle = {ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Proceedings (to appear)},
    Publisher = {IEEE},
    Year = {2017},
    Month = {Sept},
    Owner = {jgreen},
    Timestamp = {2017.07.28},
    URL = {http://jgreen.de/wp-content/documents/2017/MODELS2017-symbolic-execution-scenario-specifications.pdf}
    }

  • J. Greenyer, D. Gritzner, F. König, J. Dahlke, J. Shi, and E. Wete, “From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology,” in Proceedings of ESEC/FSE’17, Paderborn, Germany, September 4-8, 2017 (to appear), ACM, 2017. doi:10.1145/3106237.3122827
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2017,
    Title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology},
    Author = {Joel Greenyer and Daniel Gritzner and Florian K\"{o}nig and Jannik Dahlke and Jianwei Shi and Eric Wete},
    Booktitle = {Proceedings of ESEC/FSE'17, Paderborn, Germany, September 4-8, 2017 (to appear)},
    Year = {2017},
    Publisher = {ACM},
    DOI = {10.1145/3106237.3122827},
    Owner = {jgreen},
    Timestamp = {2017.07.10},
    URL = {http://jgreen.de/wp-content/documents/2017/ESECFSE2017-tool-demo-Greenyer-et-al-From-Scenario-Modeling-to-Scenario-Programming-for-Reactive-Systems-with-Dynamic-Topology.pdf}
    }

  • S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz, and A. Marron, “Distributing Scenario-based Models: A Replicate-and-Project Approach,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development – Volume 1: MODELSWARD,, ScitePress, 2017, pp. 182-195. doi:10.5220/0006271301820195
    [BibTeX] [Download PDF]
    @conference{modelsward17,
    author={Shlomi Steinberg and Joel Greenyer and Daniel Gritzner and David Harel and Guy Katz and Assaf Marron},
    title={Distributing Scenario-based Models: A Replicate-and-Project Approach},
    booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
    year={2017},
    pages={182-195},
    publisher={ScitePress},
    organization={INSTICC},
    doi={10.5220/0006271301820195},
    isbn={978-989-758-210-3},
    URL = {http://jgreen.de/wp-content/documents/2017/Distributed-Scenario-Based-Models-MODELSWARD2017.pdf}
    }

2016

  • J. Greenyer, D. Gritzner, G. Katz, A. Marron, N. Glade, T. Gutjahr, and F. König, “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems,” Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016), vol. 26, pp. 552-559, 2016. doi:10.1016/j.protcy.2016.08.069
    [BibTeX] [Abstract] [Download PDF]

    Cyber-physical systems are found in many areas, such as manufacturing, or smart cities. They consist of many components that cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing cyber-physical systems difficult, especially systems whose component structure changes dynamically at runtime. We have created a formal, scenario-based specification method which makes it easier to develop distributed cyber-physical systems. We previously presented an approach for the distributed execution of such specifications based on naive and inefficient broadcasting. In this paper we propose a more efficient approach which uses the available network resources more economically.

    @Article{Greenyer2016,
    Title = {Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems},
    Author = {Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron and Nils Glade and Timo Gutjahr and Florian K{\"o}nig},
    Journal = {Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016)},
    Year = {2016},
    Note = {3rd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SysInt 2016)},
    Pages = {552 - 559},
    Volume = {26},
    Abstract = {Cyber-physical systems are found in many areas, such as manufacturing, or
    smart cities. They consist of many components that cooperate to provide the desired
    functionality. This need for cooperation causes complex interactions between components,
    which makes developing cyber-physical systems difficult, especially systems whose component
    structure changes dynamically at runtime. We have created a formal, scenario-based specification
    method which makes it easier to develop distributed cyber-physical systems.
    We previously presented an approach for the distributed execution of such specifications based
    on naive and inefficient broadcasting. In this paper we propose a more efficient approach which
    uses the available network resources more economically.},
    DOI = {10.1016/j.protcy.2016.08.069},
    ISSN = {2212-0173},
    Keywords = {scenario-based specification},
    Owner = {jgreen},
    Timestamp = {2016.04.07},
    URL = {http://www.sciencedirect.com/science/article/pii/S2212017316304169}
    }

  • J. Greenyer, D. Gritzner, G. Katz, and A. Marron, “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, 2016, vol. 1725, pp. 16-32.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2016a,
    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},
    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)},
    Year = {2016},
    Editor = {de Lara, Juan and Clarke, Peter J. and Sabetzadeh, Mehrdad},
    Pages = {16-32},
    Publisher = {CEUR},
    Volume = {1725},
    Owner = {jgreen},
    Timestamp = {2016.10.11},
    URL = {http://jgreen.de/wp-content/documents/2016/MODELS2016-ScenarioTools-Tooldemo.pdf}
    }

  • J. Greenyer and D. Gritzner, “Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper),” 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, 2016, vol. 1725, pp. 87-93.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2016b,
    Title = {Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper)},
    Author = {Joel Greenyer and Daniel Gritzner},
    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)},
    Year = {2016},
    Editor = {de Lara, Juan and Clarke, Peter J. and Sabetzadeh, Mehrdad},
    Pages = {87-93},
    Publisher = {CEUR},
    Volume = {1725},
    Owner = {jgreen},
    Timestamp = {2016.10.11},
    URL = {http://jgreen.de/wp-content/documents/2016/MODELS2016-Synthesizing-Energy-Efficient-Controllers-from-Scenarios-Poster-Paper.pdf}
    }

2015

  • C. Brenner, J. Greenyer, and W. Schäfer, “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications,” in Fundamental Approaches to Software Engineering (FASE 2015), A. Egyed and I. Schaefer, Eds., Springer Berlin Heidelberg, 2015, vol. 9033, pp. 51-65. doi:10.1007/978-3-662-46675-9_4
    [BibTeX] [Download PDF]
    @InCollection{Brenner2015,
    Title = {On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications},
    Author = {Christian Brenner and Joel Greenyer and Wilhelm Sch{\"a}fer},
    Booktitle = {Fundamental Approaches to Software Engineering (FASE 2015)},
    Publisher = {Springer Berlin Heidelberg},
    Year = {2015},
    Editor = {Egyed, Alexander and Schaefer, Ina},
    Pages = {51-65},
    Series = {Lecture Notes in Computer Science},
    Volume = {9033},
    DOI = {10.1007/978-3-662-46675-9_4},
    ISBN = {978-3-662-46674-2},
    Language = {English},
    Owner = {jgreen},
    Timestamp = {2014.12.19},
    URL = {http://jgreen.de/wp-content/documents/2015/Brenner-On-the-fly-Synthesis-of-Scarcely-Synchronizing-Distributed-Controllers-from-Scenario-Based-Specifications-FASE2015.pdf}
    }

  • M. Cordy, J. Davril, J. Greenyer, E. Gressi, and P. Heymans, “All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications,” in Proceedings of the 19th International Conference on Software Product Line, New York, NY, USA, ACM, 2015, pp. 26-35. doi:10.1145/2791060.2791111
    [BibTeX] [Download PDF]
    @InProceedings{Cordy2015,
    Title = {All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications},
    Author = {Cordy, Maxime and Davril, Jean-Marc and Greenyer, Joel and Gressi, Erika and Heymans, Patrick},
    Booktitle = {Proceedings of the 19th International Conference on Software Product Line},
    Year = {2015},
    Address = {New York, NY, USA},
    Pages = {26--35},
    Publisher = {ACM},
    Series = {SPLC '15},
    Acmid = {2791111},
    DOI = {10.1145/2791060.2791111},
    ISBN = {978-1-4503-3613-0},
    Keywords = {controller synthesis, features, message sequence diagrams},
    Location = {Nashville, Tennessee},
    Numpages = {10},
    URL = {http://jgreen.de/wp-content/documents/2015/SPLC2015-All-at-once-synthesis.pdf}
    }

  • J. Greenyer, M. Haase, J. Marhenke, and R. Bellmer, “Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, New York, NY, USA, ACM, 2015, pp. 1002-1005. doi:10.1145/2786805.2804432
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2015,
    Title = {Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering},
    Author = {Greenyer, Joel and Haase, Max and Marhenke, J\"{o}rg and Bellmer, Rene},
    Booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy},
    Year = {2015},
    Address = {New York, NY, USA},
    Pages = {1002--1005},
    Publisher = {ACM},
    Series = {ESEC/FSE 2015},
    Acmid = {2804432},
    DOI = {10.1145/2786805.2804432},
    ISBN = {978-1-4503-3675-8},
    Keywords = {Automotive Software, Modal Sequence Diagrams, Reactive Systems, Realizability, Requirements Analysis},
    Location = {Bergamo, Italy},
    Numpages = {4},
    URL = {http://jgreen.de/wp-content/documents/2015/greenyer-et-al-ESEC-FSE-scenarios-in-automotive-camera-ready.pdf}
    }

  • V. Panzica La Manna, I. Segall, and J. Greenyer, “Synthesizing tests for combinatorial coverage of modal scenario specifications,” in Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, , 2015, pp. 126-135.
    [BibTeX] [Download PDF]
    @InProceedings{PanzicaLaManna2015,
    Title = {Synthesizing tests for combinatorial coverage of modal scenario specifications},
    Author = {Valerio {Panzica La Manna} and Itai Segall and Joel Greenyer},
    Booktitle = {Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on},
    Year = {2015},
    Month = {Sept},
    Pages = {126-135},
    Owner = {jgreen},
    Timestamp = {2015.07.11},
    URL = {http://jgreen.de/wp-content/documents/2015/models15found-foundp064-p-0a5d9b3-25013-preprint.pdf}
    }

  • J. Greenyer, C. Brenner, M. Cordy, P. Heymans, and E. Gressi, “Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper),” in Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März – 20. März 2015, Dresden, Germany, {GI}, 2015, vol. 239, pp. 91-92.
    [BibTeX]
    @InProceedings{Greenyer2015a,
    Title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper)},
    Author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
    Booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik (WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015, Dresden, Germany},
    Year = {2015},
    Editor = {Uwe A{\ss}mann and Birgit Demuth and Thorsten Spitta and Georg P{\"{u}}schel and Ronny Kaiser},
    Pages = {91--92},
    Publisher = {{GI}},
    Series = {{LNI}},
    Volume = {239},
    Owner = {jgreen},
    Timestamp = {2015.08.19}
    }

2014

  • J. Greenyer, C. Hansen, J. Kotlarski, and T. Ortmaier, “Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications,” Procedia Technology (Proceedings of the 2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2014), vol. 15, pp. 388-397, 2014. doi:http://dx.doi.org/10.1016/j.protcy.2014.09.093
    [BibTeX] [Abstract] [Download PDF]

    Abstract Due to continuously rising electricity prices, the energy efficiency of production systems is an increasingly important factor in industrial manufacturing. One goal is therefore to reuse the braking energy of manipulator axes. The acceleration and deceleration phases of axes must be synchronized such that, ideally, the braking energy can be reused immediately within the system. In our current technique for the energy-efficient motion planning of concurrent movements of axes, we do not yet consider changing the discrete control logic to reorder movement sequences. This is difficult, since this reordering must not violate critical system requirements. In this paper, we outline a new technique for automatically synthesizing energy-efficient discrete controllers from a scenario-based specification of a production system, which we enrich with information about consumed and generated energy. Last, we provide an outlook on challenging open research problems.

    @Article{Greenyer2014,
    Title = {Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications},
    Author = {Joel Greenyer and Christian Hansen and Jens Kotlarski and Tobias Ortmaier},
    Journal = {Procedia Technology (Proceedings of the 2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2014)},
    Year = {2014},
    Note = {2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SysInt 2014)},
    Number = {0},
    Pages = {388 - 397},
    Volume = {15},
    Abstract = {Abstract Due to continuously rising electricity prices, the energy efficiency of production systems is an increasingly important factor in industrial manufacturing. One goal is therefore to reuse the braking energy of manipulator axes. The acceleration and deceleration phases of axes must be synchronized such that, ideally, the braking energy can be reused immediately within the system. In our current technique for the energy-efficient motion planning of concurrent movements of axes, we do not yet consider changing the discrete control logic to reorder movement sequences. This is difficult, since this reordering must not violate critical system requirements. In this paper, we outline a new technique for automatically synthesizing energy-efficient discrete controllers from a scenario-based specification of a production system, which we enrich with information about consumed and generated energy. Last, we provide an outlook on challenging open research problems.},
    Comment = {http://authors.elsevier.com/sd/article/S2212017314002084},
    DOI = {http://dx.doi.org/10.1016/j.protcy.2014.09.093},
    ISSN = {2212-0173},
    Keywords = {Energy-efficiency},
    URL = {http://jgreen.de/wp-content/documents/2014/20140505-Towards-Synthesizing-Energy-Efficient-Controllers-SysInt2014-CRV_ver2.pdf}
    }

  • S. Winetzhammer, J. Greenyer, and M. Tichy, “Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems,” in System Analysis and Modeling: Models and Reusability (SAM 2014), D. Amyot, P. Fonseca i Casas, and G. Mussbacher, Eds., Springer International Publishing, 2014, vol. 8769, pp. 126-141. doi:10.1007/978-3-319-11743-0_9
    [BibTeX] [Download PDF]
    @InCollection{Winetzhammer2014,
    Title = {Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems},
    Author = {Winetzhammer, Sabine and Greenyer, Joel and Tichy, Matthias},
    Booktitle = {System Analysis and Modeling: Models and Reusability (SAM 2014)},
    Publisher = {Springer International Publishing},
    Year = {2014},
    Editor = {Amyot, Daniel and Fonseca i Casas, Pau and Mussbacher, Gunter},
    Pages = {126-141},
    Series = {Lecture Notes in Computer Science},
    Volume = {8769},
    DOI = {10.1007/978-3-319-11743-0_9},
    ISBN = {978-3-319-11742-3},
    Keywords = {scenario-based specification; reactive systems; embedded systems; automotive; simulation; validation; testing},
    Language = {English},
    Owner = {jgreen},
    Timestamp = {2014.06.26},
    URL = {http://jgreen.de/wp-content/documents/2014/Integrating-Graph-Transformations-and-Modal-Sequence-Diagrams-for-Specifying-Structurally-Dynamic-Reactive-Systems-SAM2014.pdf}
    }

2013

  • J. Greenyer and E. Kindler, “Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications,” in Model-Driven Engineering Languages and Systems: Proceedings of the ACM/IEEE 16th International Conference (MODELS 2013), A. Moreira, B. Schätz, J. Gray, A. Vallecillo, and P. Clarke, Eds., Springer Berlin Heidelberg, 2013, vol. 8107, pp. 774-789. doi:10.1007/978-3-642-41533-3_47
    [BibTeX] [Download PDF]
    @InCollection{Greenyer2013a,
    Title = {Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications},
    Author = {Joel Greenyer and Ekkart Kindler},
    Booktitle = {Model-Driven Engineering Languages and Systems: Proceedings of the ACM/IEEE 16th International Conference (MODELS 2013)},
    Publisher = {Springer Berlin Heidelberg},
    Year = {2013},
    Editor = {Moreira, Ana and Sch{\"a}tz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter},
    Pages = {774-789},
    Series = {Lecture Notes in Computer Science},
    Volume = {8107},
    DOI = {10.1007/978-3-642-41533-3_47},
    ISBN = {978-3-642-41532-6},
    Keywords = {Scenario-Based Specification; Compositional Controller Synthesis; Consistency Checking; Assume-Guarantee},
    Owner = {jgreen},
    Timestamp = {2013.06.10},
    URL = {http://jgreen.de/wp-content/documents/2013/compositionalSynthesisMSDs-MODELS2013.pdf}
    }

  • J. Greenyer, C. Brenner, M. Cordy, P. Heymans, and E. Gressi, “Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications,” in Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 13), New York, NY, USA, ACM, 2013, pp. 433-443. doi:10.1145/2491411.2491445
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2013,
    Title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications},
    Author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi},
    Booktitle = {Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 13)},
    Year = {2013},
    Address = {New York, NY, USA},
    Pages = {433--443},
    Publisher = {ACM},
    Series = {ESEC/FSE 2013},
    DOI = {10.1145/2491411.2491445},
    ISBN = {978-1-4503-2237-9},
    Keywords = {Controller synthesis, Features, Message sequence diagrams},
    Location = {Saint Petersburg, Russia},
    Numpages = {11},
    Owner = {jgreen},
    Timestamp = {2013.06.10},
    URL = {http://jgreen.de/wp-content/documents/2013/greenyer-et-al-Incrementally-Synthesizing-Controllers-from-Scenario-Based-Product-Line-Specifications-ESEC-FSE-2013-camera-ready.pdf}
    }

  • V. Panzica La Manna, J. Greenyer, C. Ghezzi, and C. Brenner, “Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes,” in Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), IEEE Press, 2013, pp. 63-72.
    [BibTeX] [Download PDF]
    @InProceedings{PanzicaLaManna2013,
    Title = {Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes},
    Author = {Panzica La Manna, Valerio and Greenyer, Joel and Ghezzi, Carlo and Brenner, Christian},
    Booktitle = {Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013)},
    Year = {2013},
    Pages = {63--72},
    Publisher = {IEEE Press},
    Series = {SEAMS '13},
    Acmid = {2487349},
    ISBN = {978-1-4673-4401-2},
    Location = {San Francisco, CA, USA},
    Numpages = {10},
    URL = {http://jgreen.de/wp-content/documents/2013/panzica-greenyer-ghezzi-brenner-StudyingAdditionalCriteriaOfDynamicUpdates-SEAMS2013.pdf}
    }

2012

  • M. Cordy, J. Greenyer, P. Heymans, and A. M. Sharifloo, “Efficient Consistency Checking of Scenario-based Product Line Specifications,” in Proceedings of the 20th International Requirements Engineering Conference (RE 2012), IEEE, 2012, pp. 161-170. doi:10.1109/RE.2012.6345800
    [BibTeX] [Download PDF]
    @InProceedings{Cordy2012,
    Title = {Efficient Consistency Checking of Scenario-based Product Line Specifications},
    Author = {Maxime Cordy and Joel Greenyer and Patrick Heymans and Amir Molzam Sharifloo},
    Booktitle = {Proceedings of the 20th International Requirements Engineering Conference (RE 2012)},
    Year = {2012},
    Editor = {Mats Per Erik Heimdahl and Pete Sawyer},
    Pages = {161-170},
    Publisher = {IEEE},
    DOI = {10.1109/RE.2012.6345800},
    ISSN = {1090-750X},
    Owner = {jgreen},
    Timestamp = {2012.04.24},
    URL = {http://jgreen.de/wp-content/documents/2012/ConsistencyCheckingScenarioBasedProductLineSpecifications.pdf}
    }

  • C. Ghezzi, J. Greenyer, and V. P. L. Manna, “Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications,” in Proceeding of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), , 2012, pp. 145-154. doi:10.1109/SEAMS.2012.6224401
    [BibTeX] [Download PDF]
    @InProceedings{Ghezzi2012,
    Title = {Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications},
    Author = {Carlo Ghezzi and Joel Greenyer and Valerio Panzica La Manna},
    Booktitle = {Proceeding of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012)},
    Year = {2012},
    Pages = {145-154},
    DOI = {10.1109/SEAMS.2012.6224401},
    ISSN = {2157-2305},
    URL = {http://jgreen.de/wp-content/documents/2012/SynthesizingDynamicallyUpdatingControllers.pdf}
    }

  • J. Greenyer and J. Rieke, “Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata,” in Proceedings of the 4th International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011), Springer-Verlag, 2012, pp. 222-237. doi:10.1007/978-3-642-34176-2_19
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2012,
    Title = {Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata},
    Author = {Joel Greenyer and Jan Rieke},
    Booktitle = {Proceedings of the 4th International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011)},
    Year = {2012},
    Pages = {222--237},
    Publisher = {Springer-Verlag},
    Series = {AGTIVE'11},
    Acmid = {2403501},
    DOI = {10.1007/978-3-642-34176-2_19},
    ISBN = {978-3-642-34175-5},
    Location = {Budapest, Hungary},
    Numpages = {16},
    URL = {http://jgreen.de/wp-content/documents/2012/advanced-tgg-concepts-AGTIVE2011.pdf}
    }

2011

  • J. Greenyer, S. Pook, and J. Rieke, “Preventing Information Loss in Incremental Model Synchronization by Reusing Elements,” in Modelling Foundations and Applications — Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Springer Verlag Berlin/Heidelberg, 2011, vol. 6698, pp. 144-159. doi:10.1007/978-3-642-21470-7_11
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2011a,
    Title = {Preventing Information Loss in Incremental Model Synchronization by Reusing Elements},
    Author = {Greenyer, Joel and Pook, Sebastian and Rieke, Jan},
    Booktitle = {Modelling Foundations and Applications -- Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011},
    Year = {2011},
    Editor = {France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard},
    Pages = {144-159},
    Publisher = {Springer Verlag Berlin/Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Volume = {6698},
    Affiliation = {Software Engineering Group, Department of Computer Science, University of Paderborn, 33098 Paderborn, Germany},
    DOI = {10.1007/978-3-642-21470-7_11},
    URL = {http://jgreen.de/wp-content/documents/2011/tgg-incremental-model-synch-ECMFA2011.pdf}
    }

2009

  • S. Henkler, J. Greenyer, M. Hirsch, W. Schafer, K. Alhawash, T. Eckardt, C. Heinzemann, R. Löffler, A. Seibel, and H. Giese, “Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite,” in Proceedings of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, Washington, DC, USA, IEEE Computer Society, 2009, pp. 615-618. doi:10.1109/ICSE.2009.5070569
    [BibTeX] [Download PDF]
    @InProceedings{Henkler2009,
    Title = {Synthesis of timed behavior from scenarios in the {Fujaba Real-Time Tool Suite}},
    Author = {Stefan Henkler AND Joel Greenyer AND Martin Hirsch AND Wilhelm Schafer AND Kahtan Alhawash AND Tobias Eckardt AND Christian Heinzemann AND Renate L{\"o}ffler AND Andreas Seibel AND Holger Giese},
    Booktitle = {Proceedings of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada},
    Year = {2009},
    Address = {Washington, DC, USA},
    Pages = {615--618},
    Publisher = {IEEE Computer Society},
    Acmid = {1555088},
    DOI = {10.1109/ICSE.2009.5070569},
    File = {:sources\\henkler-greenyer-hirsch--synthesis-of-timed-behavior-from-scenarios-in-Fujaba.pdf:PDF},
    ISBN = {978-1-4244-3453-4},
    Numpages = {4},
    URL = {http://dx.doi.org/10.1109/ICSE.2009.5070569}
    }

  • J. Gausemeier, W. Schäfer, J. Greenyer, S. Kahl, S. Pook, and J. Rieke, “Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems,” in Proceedings of the 17th International Conference on Engineering Design (ICED’09), University of Stanford, CA, USA, Design Society, 2009, vol. 6, pp. 1-12.
    [BibTeX]
    @InProceedings{Gausemeier2009a,
    Title = {Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems},
    Author = {J{\"u}rgen Gausemeier and Wilhelm Sch{\"a}fer and Joel Greenyer and Sascha Kahl and Sebastian Pook and Jan Rieke},
    Booktitle = {Proceedings of the 17th International Conference on Engineering Design (ICED'09)},
    Year = {2009},
    Address = {University of Stanford, CA, USA},
    Editor = {Margareta Norell Bergendahl and Martin Grimheden and Larry Leifer},
    Month = {August},
    Pages = {1--12},
    Publisher = {Design Society},
    Volume = {6},
    Language = {english}
    }

2008

  • K. Alhawash, T. Ceylan, T. Eckardt, M. Fazal-Baqaie, J. Greenyer, C. Heinzemann, S. Henkler, R. Ristov, D. Travkin, and C. Yalcin, “The Fujaba Automotive Tool Suite,” in Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, , 2008.
    [BibTeX] [Download PDF]
    @InProceedings{Alhawash08,
    Title = {The {Fujaba Automotive Tool Suite}},
    Author = {Kahtan Alhawash AND Toni Ceylan AND Tobias Eckardt AND Masud Fazal-Baqaie AND Joel Greenyer AND Christian Heinzemann AND Stefan Henkler AND Renate Ristov AND Diertrich Travkin AND Coni Yalcin},
    Booktitle = {Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008},
    Year = {2008},
    URL = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/ACEetal08_ag.pdf}
    }

2007

  • C. Lohmann, J. Greenyer, J. Jiang, and T. Systä, “Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations,” in Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007, , 2007.
    [BibTeX] [Download PDF]
    @InProceedings{CGJS2007,
    Title = {Applying {Triple Graph Grammars} For Pattern-Based Workflow Model Transformations},
    Author = {Carsten Lohmann AND Joel Greenyer AND Juanjuan Jiang AND Tarja Syst\"{a}},
    Booktitle = {Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007},
    Year = {2007},
    URL = {http://www.jot.fm/issues/issue_2007_10/paper13.pdf}
    }

  • J. Greenyer and E. Kindler, “Reconciling TGGs with QVT,” in Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 – October 5, 2007, Nashville, USA, LNCS, Springer Verlag Berlin/Heidelberg, 2007, vol. Volume 4735, p. pp. 16-30. doi:10.1007/978-3-540-75209-7_2
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2007,
    Title = {Reconciling {TGG}s with {QVT}},
    Author = {Joel Greenyer and Ekkart Kindler},
    Booktitle = {Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 - October 5, 2007, Nashville, USA, LNCS},
    Year = {2007},
    Editor = {Engels, G. and Opdyke, B. and Schmidt, D.C. and Weil, F.},
    Pages = {pp. 16-30},
    Publisher = {Springer Verlag Berlin/Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Volume = {Volume 4735},
    DOI = {10.1007/978-3-540-75209-7_2},
    Mylabel = {GK07b},
    URL = {http://dx.doi.org/10.1007/978-3-540-75209-7_2}
    }

Workshops

2017

  • J. Greenyer, D. Gritzner, J. Shi, and E. Wete, “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example,” in Proceedings of the 1st Model-Driven Engineering Tools Challenge Workshop (MDETools’17) (accepted / to-appear), , 2017.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2017b,
    Title = {A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example},
    Author = {Joel Greenyer and Daniel Gritzner and Jianwei Shi and Eric Wete},
    Booktitle = {Proceedings of the 1st Model-Driven Engineering Tools Challenge Workshop (MDETools'17) (accepted / to-appear)},
    Year = {2017},
    location = {Marburg, Germany},
    URL = {http://jgreen.de/wp-content/documents/2017/paper-MDETOOLS2017.pdf},
    Owner = {jgreen}
    }

  • J. Greenyer and D. Gritzner, “Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications,” in Proceedings of the 4th Workshop on Model-Driven Robot Software Engineering (accepted / to-appear), , 2017.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2017,
    Title = {Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications},
    Author = {Joel Greenyer and Daniel Gritzner},
    Booktitle = {Proceedings of the 4th Workshop on Model-Driven Robot Software Engineering (accepted / to-appear)},
    Year = {2017},
    location = {Marburg, Germany},
    Owner = {jgreen},
    URL = {http://jgreen.de/wp-content/documents/2017/controller-synthesis-and-PCL-Code-Generation-from-GR-1-robot-scenario-specs-MORSE2017.pdf}
    }

2016

  • J. Greenyer, D. Gritzner, N. Glade, T. Gutjahr, and F. König, “Scenario-based Specification of Car-to-X systems,” in Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), CEUR Workshop Proceedings, volume 1559, pages 118-123, , 2016.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2016,
    Title = {Scenario-based Specification of Car-to-X systems},
    Author = {Joel Greenyer and Daniel Gritzner and Nils Glade and Timo Gutjahr and Florian K{\"o}nig},
    Booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), CEUR Workshop Proceedings, volume 1559, pages 118-123},
    Year = {2016},
    Owner = {jgreen},
    URL = {http://jgreen.de/wp-content/documents/2016/greenyer-et-al-scenario-based-specificationcar-of-car-to-x-systems-CPSSC-2016.pdf}
    }

2015

  • V. Panzica La Manna, J. Greenyer, D. Clun, and C. Ghezzi, “Towards Executing Dynamically Updating Finite-State Controllers on a Robot System,” in Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on, , 2015, pp. 42-47. doi:10.1109/MiSE.2015.15
    [BibTeX] [Download PDF]
    @InProceedings{PanzicaLaManna2015a,
    Title = {Towards Executing Dynamically Updating Finite-State Controllers on a Robot System},
    Author = {Panzica La Manna, Valerio and Greenyer, Joel and Clun, Donato and Ghezzi, Carlo},
    Booktitle = {Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on},
    Year = {2015},
    Month = {May},
    Pages = {42-47},
    DOI = {10.1109/MiSE.2015.15},
    URL = {http://jgreen.de/wp-content/documents/2015/mise-2015.pdf}
    }

  • K. Niklas, J. Greenyer, and K. Schneider, “Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design,” in Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on, , 2015, pp. 60-65. doi:10.1109/MiSE.2015.18
    [BibTeX] [Download PDF]
    @InProceedings{Niklas2015,
    Title = {Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design},
    Author = {Niklas, K. and Greenyer, J. and Schneider, K.},
    Booktitle = {Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on},
    Year = {2015},
    Month = {May},
    Pages = {60-65},
    DOI = {10.1109/MiSE.2015.18},
    URL = {http://jgreen.de/wp-content/documents/2015/mise-2015-niklas-et-al.pdf}
    }

  • J. Greenyer, D. Gritzner, T. Gutjahr, T. Duente, S. Dulle, F. Deppe, N. Glade, M. Hilbich, F. Koenig, J. Luennemann, N. Prenner, K. Raetz, T. Schnelle, M. Singer, N. Tempelmeier, and R. Voges, “Scenarios@run.time — Distributed Execution of Specifications on IoT-Connected Robots,” in Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, CEUR, 2015, vol. 1474, pp. 71-80.
    [BibTeX] [Download PDF]
    @InProceedings{Greenyer2015f,
    Title = {Scenarios@run.time -- Distributed Execution of Specifications on IoT-Connected Robots},
    Author = {Joel Greenyer and Daniel Gritzner and Timo Gutjahr and Tim Duente and Stefan Dulle and Falk-David Deppe and Nils Glade and Marius Hilbich and Florian Koenig and Jannis Luennemann and Nils Prenner and Kevin Raetz and Thilo Schnelle and Martin Singer and Nicolas Tempelmeier and Raphael Voges},
    Booktitle = {Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015},
    Year = {2015},
    Editor = {Sebastian G{\"o}tz and Nelly Bencomo and Gordon Blair and Hui Song},
    Pages = {71-80},
    Series = {CEUR Workshop Proceedings},
    Publisher = {CEUR},
    Volume = {1474},
    Owner = {jgreen},
    Timestamp = {2015.07.23},
    URL = {http://jgreen.de/wp-content/documents/2015/scenarios-at-runtime.pdf}
    }

2014

  • E. Leblebici, A. Anjorin, A. Schürr, S. Hildebrandt, J. Rieke, and J. Greenyer, “A Comparison of Incremental Triple Graph Grammar Tools,” in Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), EASST, 2014, vol. 67.
    [BibTeX] [Download PDF]
    @InProceedings{Leblebici2014,
    Title = {A Comparison of Incremental Triple Graph Grammar Tools},
    Author = {Erhan Leblebici and Anthony Anjorin and Andy Sch{\"u}rr and Stephan Hildebrandt and Jan Rieke and Joel Greenyer},
    Booktitle = {Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)},
    Year = {2014},
    Publisher = {EASST},
    Volume = {67},
    Journal = {Electronic Communications of EASST},
    Owner = {jgreen},
    Timestamp = {2014.05.22},
    URL = {http://jgreen.de/wp-content/documents/2014/A-Comparison-of-Incremental-TGG-Tools-GT-VMT2014.pdf}
    }

  • C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” in Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), EASST, 2014, vol. 67.
    [BibTeX] [Download PDF]
    @InProceedings{Brenner2014,
    Title = {ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study},
    Author = {Christian Brenner and Joel Greenyer and Jörg Holtmann and Grischa Liebel and Gerald Stieglbauer and Matthias Tichy},
    Booktitle = {Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)},
    Year = {2014},
    Publisher = {EASST},
    Volume = {67},
    Journal = {Electronic Communications of the EASST},
    Owner = {jgreen},
    Timestamp = {2016.03.13},
    URL = {http://jgreen.de/wp-content/documents/2014/ScenarioTools-Real-Time-Play-Out-for-Test-Sequence-Validation-Automotive-Case Study-GT-VMT14.pdf}
    }

2013

  • C. Brenner, J. Greenyer, and V. Panzica La Manna, “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions,” in Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), EASST, 2013, vol. 58.
    [BibTeX] [Download PDF]
    @InProceedings{Brenner2013,
    Title = {The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions},
    Author = {Christian Brenner and Joel Greenyer and Valerio {Panzica La Manna}},
    Booktitle = {Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013)},
    Year = {2013},
    Publisher = {EASST},
    Volume = {58},
    Journal = {Electronic Communications of the EASST},
    Owner = {jgreen},
    Timestamp = {2013.01.22},
    URL = {http://jgreen.de/wp-content/documents/2013/Brenner-Greenyer-Panzica-scenariotools-playout-w-environment-assumptions-GTVMT2013.pdf}
    }

  • S. Hildebrandt, L. Lambers, H. Giese, J. Rieke, J. Greenyer, W. Schäfer, M. Lauder, A. Anjorin, and A. Schürr, “A Survey of Triple Graph Grammar Tools,” in Second International Workshop on Bidirectional Transformations (BX 2013), EC-EASST, 2013, vol. 57, pp. 1-18.
    [BibTeX] [Download PDF]
    @InProceedings{Hildebrandt2013,
    Title = {A Survey of Triple Graph Grammar Tools},
    Author = {Stephan Hildebrandt and Leen Lambers and Holger Giese and Jan Rieke and Joel Greenyer and Wilhelm Sch\"{a}fer and Marius Lauder and Anthony Anjorin and Andy Sch{\"u}rr},
    Booktitle = {Second International Workshop on Bidirectional Transformations (BX 2013)},
    Year = {2013},
    Pages = { 1-18 },
    Publisher = {EC-EASST},
    Volume = { 57 },
    Journal = {Electronic Communications of the EASST},
    Owner = {jgreen},
    Timestamp = {2013.01.22},
    URL = {http://jgreen.de/wp-content/documents/2013/bx13.pdf}
    }

2012

  • J. Frieben and J. Greenyer, “Consistency Checking Scenario-Based Specifications of Dynamic Systems,” in Workshop on Behaviour Modelling — Foundations and Applications (BMFA 2012), , 2012.
    [BibTeX] [Download PDF]
    @InProceedings{Frieben2012,
    Title = {Consistency Checking Scenario-Based Specifications of Dynamic Systems},
    Author = {Jens Frieben AND Joel Greenyer},
    Booktitle = {Workshop on Behaviour Modelling -- Foundations and Applications (BMFA 2012)},
    Year = {2012},
    URL = {http://jgreen.de/wp-content/documents/2012/consistency-checking-scenario-based-specifications-of-dynamic-systems.pdf}
    }

2011

  • C. Brink, J. Greenyer, W. Schäfer, M. Hahn, and M. Tichy, “Simulation von hybridem Verhalten in CAMeL-View,” in Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, , 2011.
    [BibTeX] [Download PDF]
    @InProceedings{Brink2011,
    Title = {Simulation von hybridem Verhalten in CAMeL-View},
    Author = {Christopher Brink AND Joel Greenyer AND Wilhelm Sch\"{a}fer AND Martin Hahn AND Mattias Tichy},
    Booktitle = {Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn},
    Year = {2011},
    URL = {http://jgreen.de/wp-content/documents/2011/Simulation-von-hybridem-Verhalten-in-CAMeL-View_EMS2011.pdf}
    }

2009

  • J. Greenyer, “Integrating Models for the Design of Mechatronic Systems (abstract),” in Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs, Dagstuhl, , 2009, pp. 173-174.
    [BibTeX]
    @InProceedings{Greenyer2009,
    Title = {Integrating Models for the Design of Mechatronic Systems (abstract)},
    Author = {Joel Greenyer},
    Booktitle = {Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs},
    Year = {2009},
    Address = {Dagstuhl},
    Month = {June},
    Pages = {173--174}
    }

2004

  • A. Gepting, J. Greenyer, E. Kindler, A. Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner, “Component Tools: A vision of a tool,” in Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN2004), Paderborn, Germany, September 30 – October 1, , 2004.
    [BibTeX] [Download PDF]
    @InProceedings{GGK+04_ag,
    Title = {Component Tools: A vision of a tool},
    Author = {Alexander Gepting AND Joel Greenyer AND Ekkart Kindler AND Alexander Maas AND Sebastian Munkelt AND Csaba Pales AND Thorsten Pivl AND Oliver Rohe AND Vladimir Rubin AND Markus Sanders AND Andreas Scholand AND Christian Wagner AND Robert Wagner},
    Booktitle = {Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN2004), Paderborn, Germany, September 30 - October 1},
    Year = {2004},
    URL = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GGK_04.pdf}
    }

Book Contributions

2011

  • J. Greenyer, J. Rieke, W. Schäfer, and O. Sudmann, “The Mechatronic UML Development Process,” in Engineering of Software — The Continuing Contributions of Leon J. Osterweil, P. L. Tarr and A. L. Wolf, Eds., Springer Verlag Berlin/Heidelberg, 2011, pp. 311-322. doi:10.1007/978-3-642-19823-6_16
    [BibTeX] [Download PDF]
    @INCOLLECTION{Schafer2011,
    author = {Greenyer, Joel and Rieke, Jan and Sch\"{a}fer, Wilhelm and Sudmann,
    Oliver},
    title = {The {Mechatronic UML} Development Process},
    booktitle = {Engineering of Software -- The Continuing Contributions of Leon J.
    Osterweil},
    publisher = {Springer Verlag Berlin/Heidelberg},
    year = {2011},
    editor = {Tarr, Peri L. and Wolf, Alexander L.},
    pages = {311-322},
    affiliation = {Software Engineering Group, Heinz Nixdorf Institute, Department of
    Computer Science, University of Paderborn, Warburger Str. 100, 33098
    Paderborn, Germany},
    doi = {10.1007/978-3-642-19823-6_16},
    isbn = {978-3-642-19823-6},
    keyword = {Computer Science},
    url = {http://dx.doi.org/10.1007/978-3-642-19823-6_16}
    }

2008

  • D. Varró, M. Asztalos, D. Bisztray, A. Boronat, D. Dang, R. Geiß, J. Greenyer, P. Van Gorp, O. Kniemeyer, A. Narayanan, E. Rencis, and E. Weinell, “Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools,” in Applications of Graph Transformations with Industrial Relevance, A. Schürr, M. Nagl, and A. Zündorf, Eds., Springer-Verlag Berlin/Heidelberg, 2008, pp. 540-565. doi:10.1007/978-3-540-89020-1_36
    [BibTeX] [Download PDF]
    @INCOLLECTION{Varro:2008:TUM:1479817.1479862,
    author = {Varr\'{o}, D\'{a}niel and Asztalos, M\'{a}rk and Bisztray, D\'{e}nes
    and Boronat, Artur and Dang, Duc-Hanh and Gei\ss, Rubino and Greenyer,
    Joel and Van Gorp, Pieter and Kniemeyer, Ole and Narayanan, Anantha
    and Rencis, Edgars and Weinell, Erhard},
    title = {Transformation of UML Models to CSP: A Case Study for Graph Transformation
    Tools},
    booktitle = {Applications of Graph Transformations with Industrial Relevance},
    publisher = {Springer-Verlag Berlin/Heidelberg},
    year = {2008},
    editor = {Sch\"{u}rr, Andy and Nagl, Manfred and Z\"{u}ndorf, Albert},
    pages = {540--565},
    acmid = {1479862},
    doi = {10.1007/978-3-540-89020-1_36},
    isbn = {978-3-540-89019-5},
    numpages = {26},
    url = {http://dx.doi.org/10.1007/978-3-540-89020-1_36}
    }

Technical Reports and Other Publications

2013

  • J. Greenyer, V. Panzica La Manna, C. Brenner, and C. Ghezzi, “Synthesizing Safe Dynamic Updates from Evolving Specifications,” Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, n. 2013.2, 2013.
    [BibTeX] [Download PDF]
    @TECHREPORT{Greenyer2013,
    author = {Joel Greenyer and Valerio {Panzica La Manna} and Christian Brenner
    and Carlo Ghezzi},
    title = {Synthesizing Safe Dynamic Updates from Evolving Specifications},
    institution = {Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico
    di Milano},
    year = {2013},
    number = {n. 2013.2},
    month = {Jan.},
    note = {http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf},
    owner = {jgreen},
    timestamp = {2013.01.17},
    url = {http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf}
    }

2011

  • J. Greenyer and J. Rieke, “An Improved Algorithm for Preventing Information Loss in Incremental Model Synchronization,” Software Engineering Group, Heinz Nixdorf Institute, tr-ri-11-324, 2011.
    [BibTeX] [Download PDF]
    @TECHREPORT{Greenyer2011,
    author = {J. Greenyer AND J. Rieke},
    title = {An Improved Algorithm for Preventing Information Loss in Incremental
    Model Synchronization},
    institution = {Software Engineering Group, Heinz Nixdorf Institute},
    year = {2011},
    number = {tr-ri-11-324},
    url = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GR11_tr.pdf}
    }

2010

  • J. Greenyer, “Synthesizing Modal Sequence Diagram Specifications with Uppaal-Tiga,” University of Paderborn, tr-ri-10-310, 2010.
    [BibTeX] [Download PDF]
    @TECHREPORT{Greenyer2010a,
    author = {Joel Greenyer},
    title = {Synthesizing {Modal Sequence Diagram} Specifications with {Uppaal-Tiga}},
    institution = {University of Paderborn},
    year = {2010},
    number = {tr-ri-10-310},
    month = {February},
    series = {Technical Report},
    url = {http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf},
    volume = {tr-ri-10-310}
    }

2008

  • J. Greenyer, E. Kindler, J. Rieke, and O. Travkin, “TGGs for Transforming UML to CSP: Contribution to the AGTIVE 2007 Graph Transformation Tools Contest,” Software Engineering Group, Department of Computer Science, University of Paderborn, tr-ri-08-287, 2008.
    [BibTeX] [Download PDF]
    @TECHREPORT{GKRT2008_ag,
    author = {Joel Greenyer AND Ekkart Kindler AND Jan Rieke AND Oleg Travkin},
    title = {{TGGs} for Transforming {UML} to {CSP}: Contribution to the {AGTIVE}
    2007 Graph Transformation Tools Contest},
    institution = {Software Engineering Group, Department of Computer Science, University
    of Paderborn},
    year = {2008},
    number = {tr-ri-08-287},
    url = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/tr-ri-08-287.pdf}
    }

2005

  • A. Gepting, J. Greenyer, E. Kindler, Alexander Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner, “Component Tools,” in Tagungsband der Informatiktage 2005, Schloss Birlinghoven, St. Augustin, , 2005.
    [BibTeX]
    @INPROCEEDINGS{GGKetal05_ag,
    author = {Alexander Gepting AND Joel Greenyer AND Ekkart Kindler AND Alexander
    Maas AND Sebastian Munkelt AND Csaba Pales AND Thorsten Pivl AND
    Oliver Rohe AND Vladimir Rubin AND Markus Sanders AND Andreas Scholand
    AND Christian Wagner AND Robert Wagner},
    title = {Component Tools},
    booktitle = {Tagungsband der Informatiktage 2005, Schloss Birlinghoven, St. Augustin},
    year = {2005}
    }

Theses

2011

  • J. Greenyer, “Scenario-based Design of Mechatronic Systems,” PhD Thesis, Paderborn, 2011.
    [BibTeX] [Download PDF]
    @PHDTHESIS{Greenyer2011,
    author = {Joel Greenyer},
    title = {Scenario-based Design of Mechatronic Systems},
    school = {University of Paderborn},
    year = {2011},
    address = {Paderborn},
    month = {October 2011},
    comment = {Thesis defense on 12 Sept 2011},
    url = {http://dups.ub.uni-paderborn.de/hs/urn/urn:nbn:de:hbz:466:2-7690}
    }

2006

  • J. Greenyer, “A Study of Technologies for Model Transformation: Reconciling TGGs with QVT,” Diplomarbeit Master Thesis, Paderborn, 2006.
    [BibTeX] [Download PDF]
    @MASTERSTHESIS{Greenyer06,
    author = {Joel Greenyer},
    title = {A Study of Technologies for Model Transformation: Reconciling {TGGs}
    with {QVT}},
    school = {University of Paderborn},
    year = {2006},
    type = {Diplomarbeit},
    address = {Paderborn},
    month = {July},
    url = {sources/DiplomarbeitJGreenyer.pdf}
    }