Joel Greenyer - RankMe

69 papers A* 1A 11B 4C 6Journal 14Unranked 30

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