ComponentTools. - Alexander Gepting; Joel Greenyer; Andreas Maas; Sebastian Munkelt; Csaba Páles; Thorsten Pivl; Oliver Rohe; Markus Sanders; Andreas Scholand; Christian Wagner (Informatiktage, 2005)

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. - Dániel Varró; Márk Asztalos; Dénes Bisztray; Artur Boronat; Duc-Hanh Dang; Rubino Geiß; Joel Greenyer; Pieter Van Gorp; Ole Kniemeyer; Anantha Narayanan; Edgars Rencis; Erhard Weinell (AGTIVE, 2007)

Reconciling TGGs with QVT. - Joel Greenyer; Ekkart Kindler (MoDELS, 2007)

Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations. - Carsten Lohmann; Joel Greenyer; Juanjuan Jiang; Tarja Systä (J. Object Technol., 2007)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. - Joel Greenyer; Ekkart Kindler (Softw. Syst. Model., 2010)

Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata. - Joel Greenyer; Jan Rieke (AGTIVE, 2011)

Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. - Joel Greenyer; Sebastian Pook; Jan Rieke (ECMFA, 2011)

Scenario-based design of mechatronic systems (Szenariobasierter Entwurf Mechatronischer Systeme) - Joel Greenyer (2011)

Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. - Joel Greenyer; Jens Frieben (BM-FA, 2012)

Synthesizing dynamically updating controllers from changes in scenario-based specifications. - Carlo Ghezzi; Joel Greenyer; Valerio Panzica La Manna (SEAMS, 2012)

Efficient consistency checking of scenario-based product-line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (RE, 2012)

Formalizing correctness criteria of dynamic updates derived from specification changes. - Valerio Panzica La Manna; Joel Greenyer; Carlo Ghezzi; Christian Brenner 001 (SEAMS, 2013)

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. - Joel Greenyer; Ekkart Kindler (MoDELS, 2013)

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions. - Joel Greenyer; Christian Brenner 001; Valerio Panzica La Manna (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Survey of Triple Graph Grammar Tools. - Stephan Hildebrandt; Leen Lambers; Holger Giese; Jan Rieke; Joel Greenyer; Wilhelm Schäfer; Marius Lauder; Anthony Anjorin; Andy Schürr (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. - Joel Greenyer; Amir Molzam Sharifloo; Maxime Cordy; Patrick Heymans (Requir. Eng., 2013)

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems. - Sabine Winetzhammer; Joel Greenyer; Matthias Tichy (SAM, 2014)

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. - Christian Brenner 001; Joel Greenyer; Jörg Holtmann; Grischa Liebel; Gerald Stieglbauer; Matthias Tichy (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

A Comparison of Incremental Triple Graph Grammar Tools. - Erhan Leblebici; Anthony Anjorin; Andy Schürr; Stephan Hildebrandt; Jan Rieke; Joel Greenyer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. - Christian Brenner 001; Joel Greenyer; Wilhelm Schäfer (FASE, 2015)

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. - Valerio Panzica La Manna; Joel Greenyer; Donato Clun; Carlo Ghezzi (MiSE@ICSE, 2015)

Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design. - Kai Niklas; Joel Greenyer; Kurt Schneider (MiSE@ICSE, 2015)

Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots. - Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Tim Duente; Stefan Dulle; Falk-David Deppe; Nils Glade; Marius Hilbich; Florian Koenig; Jannis Luennemann; Nils Prenner; Kevin Raetz; et al. (Models@run.time, 2015)

Synthesizing tests for combinatorial coverage of modal scenario specifications. - Valerio Panzica La Manna; Itai Segall; Joel Greenyer (MoDELS, 2015)

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. - Joel Greenyer; Christian Brenner 001; Maxime Cordy; Patrick Heymans; Erika Gressi (Software Engineering & Management, 2015)

Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering. - Joel Greenyer; Max Haase; Jörg Marhenke; Rene Bellmer (ESEC/SIGSOFT FSE, 2015)

All-at-once-synthesis of controllers from scenario-based product line specifications. - Maxime Cordy; Jean-Marc Davril; Joel Greenyer; Erika Gressi; Patrick Heymans (SPLC, 2015)

An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. - Joel Greenyer; Daniel Gritzner (D&P@MoDELS, 2016)

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. - Joel Greenyer; Daniel Gritzner; Guy Katz; Assaf Marron (D&P@MoDELS, 2016)

Scenario-based Specification of Car-to-X systems. - Joel Greenyer; Daniel Gritzner; Nils Glade; Timo Gutjahr; Florian König (Software Engineering (Workshops), 2016)

A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example. - Joel Greenyer; Daniel Gritzner; Jianwei Shi 001; Eric Wete (MoDELS (Satellite Events), 2017)

Distributing Scenario-based Models: A Replicate-and-Project Approach. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD, 2017)

Efficient Distributed Execution of Multi-component Scenario-Based Models. - Shlomi Steinberg; Joel Greenyer; Daniel Gritzner; David Harel; Guy Katz; Assaf Marron (MODELSWARD (Revised Selected Papers), 2017)

Toward Learning Realizable Scenario-Based, Formal Requirements Specifications. - David Schmelter; Joel Greenyer; Jörg Holtmann (RE Workshops, 2017)

From scenario modeling to scenario programming for reactive systems with dynamic topology. - Joel Greenyer; Daniel Gritzner; Florian König; Jannik Dahlke; Jianwei Shi 001; Eric Wete (ESEC/SIGSOFT FSE, 2017)

Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. - Daniel Gritzner; Joel Greenyer (STAF Workshops, 2017)

ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. - Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Florian König; Nils Glade; Assaf Marron; Guy Katz (Sci. Comput. Program., 2017)

Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation. - Daniel Gritzner; Elias Knöchelmann; Joel Greenyer; Kai Eggers; Svenja Tappe; Tobias Ortmaier (CASE, 2018)

A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems - Early Virtual Prototyping of Car-to-X System Specifications. - Joel Greenyer; Larissa Chazette; Daniel Gritzner; Eric Wete (Modellierung (Workshops), 2018)

Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications. - Daniel Gritzner; Joel Greenyer (Modellierung, 2018)

Modeling and programming a leader-follower challenge problem with scenario-based tools. - Joel Greenyer; Michael Bar-Sinai; Gera Weiss; Aviran Sadon; Assaf Marron (MoDELS (Workshops), 2018)

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD, 2018)

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. - Joel Greenyer; Daniel Gritzner; David Harel; Assaf Marron (MODELSWARD (Revised Selected Papers), 2018)

Symbolic Execution for Realizability-Checking of Scenario-based Specifications. - Joel Greenyer; Timo Gutjahr (Software Engineering, 2018)

Towards Self-Explainable Cyber-Physical Systems. - Mathias Blumreiter; Joel Greenyer; Francisco Javier Chiyah Garcia; Verena Klös; Maike Schwammberger; Christoph Sommer 001; Andreas Vogelsang; Andreas Wortmann 001 (MoDELS (Companion), 2019)

Test-Driven Scenario Specification of Automotive Software Components. - Carsten Wiecher; Joel Greenyer; Jan Korte (MoDELS (Companion), 2019)

Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. - Joel Greenyer; Malte Lochau; Thomas Vogel 001 (CoRR, 2019)

Scenarios in the loop: integrated requirements analysis and automotive system validation. - Carsten Wiecher; Sergej Japs; Lydia Kaiser; Joel Greenyer; Roman Dumitrescu; Carsten Wolff (MoDELS (Companion), 2020)

Scenario-Based Modeling and Programming of Distributed Systems. - Joel Greenyer (PNSE@Petri Nets, 2021)

Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines. - Eric Wete; Joel Greenyer; Andreas Wortmann 001; Oliver Flegel; Martin Klein 009 (MoDELS, 2021)

Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal. - Carsten Wiecher; Jannik Fischbach; Joel Greenyer; Andreas Vogelsang; Carsten Wolff; Roman Dumitrescu (MoDELS, 2021)

BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems. - Carsten Wiecher; Joel Greenyer (REFSQ Workshops, 2021)

Iterative and Scenario-Based Requirements Specification in a System of Systems Context. - Carsten Wiecher; Joel Greenyer; Carsten Wolff; Harald Anacker; Roman Dumitrescu (REFSQ, 2021)

Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research. - Felix Beringhoff; Joel Greenyer; Christian Roesener; Matthias Tichy (IV, 2022)

A tool for the automation of efficient multi-robot choreography planning and execution. - Eric Wete; Joel Greenyer; Daniel Kudenko; Wolfgang Nejdl; Oliver Flegel; Dennes Eisner (MoDELS (Companion), 2022)

MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies. - Eric Wete; Joel Greenyer; Andreas Wortmann 001; Daniel Kudenko; Wolfgang Nejdl (ETFA, 2023)

Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement Learning. - Eric Wete; Joel Greenyer; Daniel Kudenko; Wolfgang Nejdl (AAMAS, 2024)

Realizing Scenario-Based Verification Tests of Automated Vehicles With an Ai-Controlled Surrounding Vehicle in a Practice-Relevant Context. - Felix Beringhoff; Joel Greenyer; Christian Roesener; Matthias Tichy (ITSC, 2024)

Model-based analysis and specification of functional requirements and tests for complex automotive systems. - Carsten Wiecher; Constantin Mandel; Matthias Günther; Jannik Fischbach; Joel Greenyer; Matthias Greinert; Carsten Wolff; Roman Dumitrescu; Daniel Méndez 001; Albert Albers (Syst. Eng., 2024)