default search action
Joel Greenyer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]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): 728-744 (2024) - [c50]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: 1928-1937 - 2023
- [c49]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: 1-4 - 2022
- [c48]Felix Beringhoff, Joel Greenyer, Christian Roesener, Matthias Tichy:
Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research. IV 2022: 360-366 - [c47]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: 37-41 - [i5]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 abs/2209.01473 (2022) - 2021
- [c46]Joel Greenyer:
Scenario-Based Modeling and Programming of Distributed Systems. PNSE@Petri Nets 2021: 241-252 - [c45]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: 112-122 - [c44]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: 320-330 - [c43]Carsten Wiecher, Joel Greenyer:
BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems. REFSQ Workshops 2021 - [c42]Carsten Wiecher, Joel Greenyer, Carsten Wolff, Harald Anacker, Roman Dumitrescu:
Iterative and Scenario-Based Requirements Specification in a System of Systems Context. REFSQ 2021: 165-181 - [i4]Carsten Wiecher, Joel Greenyer, Carsten Wolff, Harald Anacker, Roman Dumitrescu:
Iterative and Scenario-based Requirements Specification in a System of Systems Context. CoRR abs/2102.05400 (2021) - [i3]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 abs/2107.05374 (2021) - 2020
- [c41]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: 35:1-35:10
2010 – 2019
- 2019
- [c40]Carsten Wiecher, Joel Greenyer, Jan Korte:
Test-Driven Scenario Specification of Automotive Software Components. MoDELS (Companion) 2019: 12-17 - [c39]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: 543-548 - [i2]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 abs/1904.11851 (2019) - [i1]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 abs/1908.04698 (2019) - 2018
- [c38]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: 408-413 - [c37]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: 111-120 - [c36]Daniel Gritzner, Joel Greenyer:
Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications. Modellierung 2018: 167-182 - [c35]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: 376-385 - [c34]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) 2018: 335-354 - [c33]Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron:
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD 2018: 560-566 - [c32]Joel Greenyer, Timo Gutjahr:
Symbolic Execution for Realizability-Checking of Scenario-based Specifications. Software Engineering 2018: 145-146 - [e2]Önder Babur, Daniel Strüber, Silvia Abrahão, Loli Burgueño, Martin Gogolla, Joel Greenyer, Sahar Kokaly, Dimitris S. Kolovos, Tanja Mayerhofer, Mansooreh Zahedi:
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018. ACM 2018 [contents] - 2017
- [j8]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: 15-27 (2017) - [c31]Joel Greenyer, Timo Gutjahr:
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. MoDELS 2017: 312-322 - [c30]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: 355-359 - [c29]Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron:
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD 2017: 182-195 - [c28]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: 449-483 - [c27]David Schmelter, Joel Greenyer, Jörg Holtmann:
Toward Learning Realizable Scenario-Based, Formal Requirements Specifications. RE Workshops 2017: 372-378 - [c26]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: 974-978 - [c25]Daniel Gritzner, Joel Greenyer:
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. STAF Workshops 2017: 247-262 - [e1]Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio:
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. CEUR Workshop Proceedings 2019, CEUR-WS.org 2017 [contents] - 2016
- [c24]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: 16-23 - [c23]Joel Greenyer, Daniel Gritzner:
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. D&P@MoDELS 2016: 87-93 - [c22]Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König:
Scenario-based Specification of Car-to-X systems. Software Engineering (Workshops) 2016: 118-123 - 2015
- [c21]Christian Brenner, Joel Greenyer, Wilhelm Schäfer:
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. FASE 2015: 51-65 - [c20]Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi:
Towards Executing Dynamically Updating Finite-State Controllers on a Robot System. MiSE@ICSE 2015: 42-47 - [c19]Kai Niklas, Joel Greenyer, Kurt Schneider:
Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design. MiSE@ICSE 2015: 60-65 - [c18]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: 71-80 - [c17]Valerio Panzica La Manna, Itai Segall, Joel Greenyer:
Synthesizing tests for combinatorial coverage of modal scenario specifications. MoDELS 2015: 126-135 - [c16]Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management 2015: 91-92 - [c15]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: 1002-1005 - [c14]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: 26-35 - 2014
- [j7]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) - [j6]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) - [c13]Sabine Winetzhammer, Joel Greenyer, Matthias Tichy:
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems. SAM 2014: 126-141 - 2013
- [j5]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) - [j4]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) - [j3]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): 175-198 (2013) - [c12]Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, Christian Brenner:
Formalizing correctness criteria of dynamic updates derived from specification changes. SEAMS 2013: 63-72 - [c11]Joel Greenyer, Ekkart Kindler:
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. MoDELS 2013: 774-789 - [c10]Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally synthesizing controllers from scenario-based product line specifications. ESEC/SIGSOFT FSE 2013: 433-443 - 2012
- [c9]Joel Greenyer, Jens Frieben:
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. BM-FA 2012: 2 - [c8]Carlo Ghezzi, Joel Greenyer, Valerio Panzica La Manna:
Synthesizing dynamically updating controllers from changes in scenario-based specifications. SEAMS 2012: 145-154 - [c7]Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans:
Efficient consistency checking of scenario-based product-line specifications. RE 2012: 161-170 - 2011
- [b1]Joel Greenyer:
Scenario-based design of mechatronic systems (Szenariobasierter Entwurf Mechatronischer Systeme). Paderborn University, Germany, 2011 - [c6]Joel Greenyer, Jan Rieke:
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata. AGTIVE 2011: 222-237 - [c5]Joel Greenyer, Sebastian Pook, Jan Rieke:
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. ECMFA 2011: 144-159 - 2010
- [j2]Joel Greenyer, Ekkart Kindler:
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. Softw. Syst. Model. 9(1): 21-46 (2010)
2000 – 2009
- 2009
- [c4]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: 615-618 - 2007
- [j1]Carsten Lohmann, Joel Greenyer, Juanjuan Jiang, Tarja Systä:
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations. J. Object Technol. 6(9): 253-273 (2007) - [c3]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: 540-565 - [c2]Joel Greenyer, Ekkart Kindler:
Reconciling TGGs with QVT. MoDELS 2007: 16-30 - 2005
- [c1]Alexander Gepting, Joel Greenyer, Andreas Maas, Sebastian Munkelt, Csaba Páles, Thorsten Pivl, Oliver Rohe, Markus Sanders, Andreas Scholand, Christian Wagner:
ComponentTools. Informatiktage 2005: 13-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint