| 2025 | MODELS | Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems. | Eric Wete, Joel Greenyer, Tom Yaacov, Daniel Kudenko, Wolfgang Nejdl |
| 2023 | ETFA | MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies. | Eric Wete, Joel Greenyer, Andreas Wortmann, Daniel Kudenko, Wolfgang Nejdl |
| 2022 | MODELS | 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 |
| 2021 | MODELS | Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines. | Eric Wete, Joel Greenyer, Andreas Wortmann, Oliver Flegel, Martin Klein |
| 2021 | MODELS | 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 |
| 2021 | REFSQ | BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems. | Carsten Wiecher, Joel Greenyer |
| 2021 | REFSQ | Iterative and Scenario-Based Requirements Specification in a System of Systems Context. | Carsten Wiecher, Joel Greenyer, Carsten Wolff, Harald Anacker, Roman Dumitrescu |
| 2020 | MODELS | Scenarios in the loop: integrated requirements analysis and automotive system validation. | Carsten Wiecher, Sergej Japs, Lydia Kaiser, Joel Greenyer, Roman Dumitrescu, Carsten Wolff |
| 2019 | MODELS | Towards Self-Explainable Cyber-Physical Systems. | Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Kls, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann |
| 2019 | MODELS | Test-Driven Scenario Specification of Automotive Software Components. | Carsten Wiecher, Joel Greenyer, Jan Korte |
| 2018 | MODELS | Modeling and programming a leader-follower challenge problem with scenario-based tools. | Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron |
| 2018 | MODELSWARD | Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. | Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron |
| 2018 | MODELSWARD | Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. | Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron |
| 2017 | MODELS | Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. | Joel Greenyer, Timo Gutjahr |
| 2017 | MODELS | A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example. | Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete |
| 2017 | MODELSWARD | Distributing Scenario-based Models: A Replicate-and-Project Approach. | Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron |
| 2017 | MODELSWARD | Efficient Distributed Execution of Multi-component Scenario-Based Models. | Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron |
| 2017 | RE | Toward Learning Realizable Scenario-Based, Formal Requirements Specifications. | David Schmelter, Joel Greenyer, Jrg Holtmann |
| 2016 | MODELS | An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. | Joel Greenyer, Daniel Gritzner |
| 2016 | MODELS | Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. | Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron |
| 2015 | FASE | On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. | Christian Brenner, Joel Greenyer, Wilhelm Schfer |
| 2015 | ICSE | Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. | Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi |
| 2015 | ICSE | Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design. | Kai Niklas, Joel Greenyer, Kurt Schneider |
| 2015 | MODELS | 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, Thilo Schnelle, Martin Singer, Nicolas Tempelmeier, Raphael Voges |
| 2015 | MODELS | Synthesizing tests for combinatorial coverage of modal scenario specifications. | Valerio Panzica La Manna, Itai Segall, Joel Greenyer |
| 2015 | SPLC | All-at-once-synthesis of controllers from scenario-based product line specifications. | Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans |
| 2013 | ICSE | Formalizing correctness criteria of dynamic updates derived from specification changes. | Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner |
| 2013 | MODELS | Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. | Joel Greenyer, Ekkart Kindler |
| 2012 | ICSE | Synthesizing dynamically updating controllers from changes in scenario-based specifications. | Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna |
| 2012 | RE | Efficient consistency checking of scenario-based product-line specifications. | Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans |
| 2009 | ICSE | Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. | Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Lffler, Andreas Seibel, Holger Giese |
| 2007 | MODELS | Reconciling TGGs with QVT. | Joel Greenyer, Ekkart Kindler |