ScenarioTools–A tool suite for the scenario-based modeling and analysis of reactive systems J Greenyer, D Gritzner, T Gutjahr, F König, N Glade, A Marron, G Katz Science of Computer Programming 149, 15-27, 2017 | 43 | 2017 |
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. J Greenyer, D Gritzner, G Katz, A Marron D&P@ MoDELS, 16-23, 2016 | 31 | 2016 |
Synthesizing executable PLC code for robots from scenario-based GR (1) specifications D Gritzner, J Greenyer Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018 | 19 | 2018 |
Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems J Greenyer, D Gritzner, G Katz, A Marron, N Glade, T Gutjahr, F König Procedia Technology 26, 552-559, 2016 | 15 | 2016 |
Scenarios@ run. time-Distributed Execution of Specifications on IoT-connected Robots. J Greenyer, D Gritzner, T Gutjahr, T Duente, S Dulle, FD Deppe, N Glade, ... MoDELS@ Run. time, 71-80, 2015 | 15 | 2015 |
Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications D Gritzner, J Greenyer Procedia Manufacturing 24 (2018) 24, 153-158, 2018 | 12 | 2018 |
Distributing Scenario-based Models: A Replicate-and-Project Approach. S Steinberg, J Greenyer, D Gritzner, D Harel, G Katz, A Marron MODELSWARD, 182-195, 2017 | 10 | 2017 |
GPU video retargeting with parallelized SeamCrop J Kiess, D Gritzner, B Guthier, S Kopf, W Effelsberg Proceedings of the 5th ACM Multimedia Systems Conference, 139-147, 2014 | 10 | 2014 |
A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems-Early Virtual Prototyping of Car-to-X System Specifications. J Greenyer, L Chazette, D Gritzner, E Wete Modellierung (Workshops), 111-120, 2018 | 8 | 2018 |
Efficient distributed execution of multi-component scenario-based models S Steinberg, J Greenyer, D Gritzner, D Harel, G Katz, A Marron Model-Driven Engineering and Software Development: 5th International …, 2018 | 8 | 2018 |
Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation D Gritzner, E Knöchelmann, J Greenyer, K Eggers, S Tappe, T Ortmaier 2018 IEEE 14th International Conference on Automation Science and …, 2018 | 5 | 2018 |
Controller Synthesis and PCL Code Generation from Scenario-based GR (1) Robot Specifications D Gritzner, J Greenyer Proceedings of the The 4th International Workshop on Model-driven Robot …, 2017 | 5 | 2017 |
Minimizing Manual Labeling Effort for The Semantic Segmentation of Aerial Images D Gritzner, J Ostermann 2021 IEEE Statistical Signal Processing Workshop (SSP), 81-85, 2021 | 3 | 2021 |
Determination of Relevant Hyperspectral Bands Using a Spectrally constrained CNN U Pestel-Schiller, K Hu, D Gritzner, J Ostermann 2021 11th Workshop on Hyperspectral Imaging and Signal Processing: Evolution …, 2021 | 3 | 2021 |
Synthesis of Cost-optimized Controllers from Scenario-based GR (1) Specifications D Gritzner, J Greenyer Modellierung 2018, 2018 | 3 | 2018 |
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. J Greenyer, D Gritzner, D Harel, A Marron MODELSWARD, 560-566, 2018 | 3 | 2018 |
From scenario modeling to scenario programming for reactive systems with dynamic topology J Greenyer, D Gritzner, F König, J Dahlke, J Shi, E Wete Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 3 | 2017 |
A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example. J Greenyer, D Gritzner, J Shi, E Wete MODELS (Satellite Events), 355-359, 2017 | 3 | 2017 |
Scenario-based Specification of Car-to-X systems. J Greenyer, D Gritzner, N Glade, T Gutjahr, F König Software Engineering (Workshops), 118-123, 2016 | 3 | 2016 |
Semantic Segmentation of Aerial Images Using Binary Space Partitioning D Gritzner, J Ostermann KI 2021: Advances in Artificial Intelligence: 44th German Conference on AI …, 2021 | 2 | 2021 |