Daniel Gritzner

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 19

Top Topics

Reactive Systems

Top Venues

MODELSWARD (Revised Selected Papers)

Publications

Daniel Gritzner, Jörn Ostermann
SegForestNet: Spatial-Partitioning-Based Aerial Image Segmentation. CoRR (2023)
Daniel Gritzner, Jörn Ostermann
Semantic Segmentation of Aerial Images Using Binary Space Partitioning. KI (2021)
Daniel Gritzner, Jörn Ostermann
Minimizing Manual Labeling Effort for The Semantic Segmentation of Aerial Images. SSP (2021)
Ulrike Pestel-Schiller, Kai Hu, Daniel Gritzner, Jörn Ostermann
Determination of Relevant Hyperspectral Bands Using a Spectrally constrained CNN. WHISPERS (2021)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models. MODELSWARD (2018)
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)
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)
Daniel Gritzner, Joel Greenyer
Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications. Modellierung (2018)
Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models. MODELSWARD (Revised Selected Papers) (2018)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
Distributing Scenario-based Models: A Replicate-and-Project Approach. MODELSWARD (2017)
Daniel Gritzner, Joel Greenyer
Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. STAF Workshops (2017)
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)
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)
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 (2017)
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)
Joel Greenyer, Daniel Gritzner
An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications. D&P@MoDELS (2016)
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)
Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König
Scenario-based Specification of Car-to-X systems. Software Engineering (Workshops) (2016)
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)
Johannes Kiess, Daniel Gritzner, Benjamin Guthier, Stephan Kopf, Wolfgang Effelsberg
GPU video retargeting with parallelized SeamCrop. MMSys (2014)