Follow
Daniel Gritzner
Daniel Gritzner
PhD student, Institut für Informationsverarbeitung, Leibniz Universität Hannover
Verified email at tnt.uni-hannover.de - Homepage
Title
Cited by
Cited by
Year
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
422017
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
312016
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
172018
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
162016
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
152015
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
122018
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
112017
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
102014
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
92018
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
82018
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
52018
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
52017
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
32021
Synthesis of Cost-optimized Controllers from Scenario-based GR (1) Specifications
D Gritzner, J Greenyer
Modellierung 2018, 2018
32018
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
32018
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
32017
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
32017
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
32016
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
22021
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
22021
The system can't perform the operation now. Try again later.
Articles 1–20