Joel Greenyer

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 44

Top Topics

Distributed Systems

Execution Traces

Requirements Analysis

Top Venues

MoDELS (Companion)

ESEC/SIGSOFT FSE

Publications

Eric Wete, Joel Greenyer, Daniel Kudenko, Wolfgang Nejdl
Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement Learning. AAMAS (2024)
Carsten Wiecher, Constantin Mandel, Matthias Günther, Jannik Fischbach, Joel Greenyer, Matthias Greinert, Carsten Wolff, Roman Dumitrescu, Daniel Méndez, Albert Albers
Model-based analysis and specification of functional requirements and tests for complex automotive systems. Syst. Eng. 27 (4) (2024)
Eric Wete, Joel Greenyer, Andreas Wortmann, Daniel Kudenko, Wolfgang Nejdl
MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies. ETFA (2023)
Felix Beringhoff, Joel Greenyer, Christian Roesener, Matthias Tichy
Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research. IV (2022)
Carsten Wiecher, Constantin Mandel, Matthias Günther, Jannik Fischbach, Joel Greenyer, Matthias Greinert, Carsten Wolff, Roman Dumitrescu, Daniel Méndez, Albert Albers
Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems. CoRR (2022)
Eric Wete, Joel Greenyer, Daniel Kudenko, Wolfgang Nejdl, Oliver Flegel, Dennes Eisner
A tool for the automation of efficient multi-robot choreography planning and execution. MoDELS (Companion) (2022)
Joel Greenyer
Scenario-Based Modeling and Programming of Distributed Systems. PNSE@Petri Nets (2021)
Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, Roman Dumitrescu
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal. CoRR (2021)
Carsten Wiecher, Joel Greenyer
BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems. REFSQ Workshops (2021)
Carsten Wiecher, Joel Greenyer, Carsten Wolff, Harald Anacker, Roman Dumitrescu
Iterative and Scenario-based Requirements Specification in a System of Systems Context. CoRR (2021)
Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, Roman Dumitrescu
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal. MoDELS (2021)
Eric Wete, Joel Greenyer, Andreas Wortmann, Oliver Flegel, Martin Klein
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines. MoDELS (2021)
Carsten Wiecher, Joel Greenyer, Carsten Wolff, Harald Anacker, Roman Dumitrescu
Iterative and Scenario-Based Requirements Specification in a System of Systems Context. REFSQ (2021)
Carsten Wiecher, Sergej Japs, Lydia Kaiser, Joel Greenyer, Roman Dumitrescu, Carsten Wolff
Scenarios in the loop: integrated requirements analysis and automotive system validation. MoDELS (Companion) (2020)
Carsten Wiecher, Joel Greenyer, Jan Korte
Test-Driven Scenario Specification of Automotive Software Components. MoDELS (Companion) (2019)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. CoRR (2019)
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann
Towards Self-Explainable Cyber-Physical Systems. MoDELS (Companion) (2019)
Joel Greenyer, Malte Lochau, Thomas Vogel
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. CoRR (2019)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD (2018)
Joel Greenyer, Larissa Chazette, Daniel Gritzner, Eric Wete
A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems - Early Virtual Prototyping of Car-to-X System Specifications. Modellierung (Workshops) (2018)
Daniel Gritzner, Elias Knöchelmann, Joel Greenyer, Kai Eggers, Svenja Tappe, Tobias Ortmaier
Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation. CASE (2018)
Daniel Gritzner, Joel Greenyer
Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications. Modellierung (2018)
Joel Greenyer, Timo Gutjahr
Symbolic Execution for Realizability-Checking of Scenario-based Specifications. Software Engineering (2018)
Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
Modeling and programming a leader-follower challenge problem with scenario-based tools. MoDELS (Workshops) (2018)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) (2018)
Joel Greenyer, Timo Gutjahr
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. MoDELS (2017)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD (2017)
Daniel Gritzner, Joel Greenyer
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. STAF Workshops (2017)
Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete
A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example. MoDELS (Satellite Events) (2017)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
Efficient Distributed Execution of Multi-component Scenario-Based Models. MODELSWARD (Revised Selected Papers) (2017)
Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems. Sci. Comput. Program. 149 (2017)
David Schmelter, Joel Greenyer, Jörg Holtmann
Toward Learning Realizable Scenario-Based, Formal Requirements Specifications. RE Workshops (2017)
Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, Eric Wete
From scenario modeling to scenario programming for reactive systems with dynamic topology. ESEC/SIGSOFT FSE (2017)
Joel Greenyer, Daniel Gritzner
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. D&P@MoDELS (2016)
Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. D&P@MoDELS (2016)
Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König
Scenario-based Specification of Car-to-X systems. Software Engineering (Workshops) (2016)
Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE (2015)
Christian Brenner, Joel Greenyer, Wilhelm Schäfer
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. FASE (2015)
Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans
All-at-once-synthesis of controllers from scenario-based product line specifications. SPLC (2015)
Kai Niklas, Joel Greenyer, Kurt Schneider
Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design. MiSE@ICSE (2015)
Joel Greenyer, Max Haase, Jörg Marhenke, Rene Bellmer
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering. ESEC/SIGSOFT FSE (2015)
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
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots. Models@run.time (2015)
Valerio Panzica La Manna, Itai Segall, Joel Greenyer
Synthesizing tests for combinatorial coverage of modal scenario specifications. MoDELS (2015)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management (2015)
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer
A Comparison of Incremental Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Sabine Winetzhammer, Joel Greenyer, Matthias Tichy
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems. SAM (2014)
Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr
A Survey of Triple Graph Grammar Tools. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS (2013)
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE (2013)
Joel Greenyer, Ekkart Kindler
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. MoDELS (2013)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications. Requir. Eng. 18 (2) (2013)
Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans
Efficient consistency checking of scenario-based product-line specifications. RE (2012)
Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna
Synthesizing dynamically updating controllers from changes in scenario-based specifications. SEAMS (2012)
Joel Greenyer, Jens Frieben
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. BM-FA (2012)
Joel Greenyer, Jan Rieke
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata. AGTIVE (2011)
Joel Greenyer, Sebastian Pook, Jan Rieke
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. ECMFA (2011)
Joel Greenyer, Ekkart Kindler
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. Softw. Syst. Model. 9 (1) (2010)
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE (2009)
Joel Greenyer, Ekkart Kindler
Reconciling TGGs with QVT. MoDELS (2007)
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
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Carsten Lohmann, Joel Greenyer, Juanjuan Jiang, Tarja Systä
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations. J. Object Technol. 6 (9) (2007)
Alexander Gepting, Joel Greenyer, Andreas Maas, Sebastian Munkelt, Csaba Páles, Thorsten Pivl, Oliver Rohe, Markus Sanders, Andreas Scholand, Christian Wagner
ComponentTools. Informatiktage (2005)