Joel Greenyer
Orcid: 0000-0003-0347-0158
According to our database1,
Joel Greenyer
authored at least 58 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
2022
Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems.
CoRR, 2022
A tool for the automation of efficient multi-robot choreography planning and execution.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022
2021
Iterative and Scenario-Based Requirements Specification in a System of Systems Context.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021
BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems.
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021
2020
Scenarios in the loop: integrated requirements analysis and automotive system validation.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl.
CoRR, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the Model-Driven Engineering and Software Development, 2018
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Modeling and programming a leader-follower challenge problem with scenario-based tools.
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018
A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems - Early Virtual Prototyping of Car-to-X System Specifications.
Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018
Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program., 2017
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications.
Proceedings of the Software Technologies: Applications and Foundations, 2017
From scenario modeling to scenario programming for reactive systems with dynamic topology.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the Model-Driven Engineering and Software Development, 2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016
2015
All-at-once-synthesis of controllers from scenario-based product line specifications.
Proceedings of the 19th International Conference on Software Product Line, 2015
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots.
Proceedings of the 10th International Workshop on Models@run.time co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2015
2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
2013
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Formalizing correctness criteria of dynamic updates derived from specification changes.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013
2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Synthesizing dynamically updating controllers from changes in scenario-based specifications.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis.
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012
2011
Scenario-based design of mechatronic systems (Szenariobasierter Entwurf Mechatronischer Systeme)
PhD thesis, 2011
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
2010
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars.
Softw. Syst. Model., 2010
2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2007
J. Object Technol., 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2005
ComponentTools.
Proceedings of the Informatiktage 2005, 2005