TNT logo LUH TNT
Dipl.-Inf. Daniel Gritzner
Leibniz Universität Hannover
Institut für Informationsverarbeitung
Appelstr. 9A
30167 Hannover
Germany
phone: +49 511 762-5314
fax: +49 511 762-5333
office location: room 1331

Daniel Gritzner studied Mathematics and Computer Science, with a focus on the later, at the University of Mannheim. He got his diploma and his B.Sc. in CS in 2014 and 2010 respectively. In his theses he worked on realtime computer graphics, 3D graphics rendering using a polygon-voxel-hybrid approach and Simulation of Liquid Surfaces for Games. Before joining the Institut für Informationsverarbeitung he was part of the Software Engineering Group at the Leibniz Universität Hannover where he worked on formal, scenario-based specifications.

During his time as a student in Mannheim he worked on the MoCA project, a library for image and video processing, and Melanee, a deep-modeling (or multi-level modeling) workbench. He added new features to these projects, e.g., ghosting removal for HDR images and video retargeting with seam carving using CUDA. In 2010 he also completed an internship in software engineering at IBM.

Show selected publications only
  • Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron
    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 MODELSWARD, 2018
  • Daniel Gritzner, Joel Greenyer
    Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications
    Modellierung 2018, Gesellschaft für Informatik e.V., pp. 167-182, Bonn, 2018, edited by Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl
  • 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
    Proceedings Workshops zur Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES) (to appear), 2018
  • Daniel Gritzner, Joel Greenyer
    Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
    Procedia Manufacturing, Vol. 24, pp. 153-158, 2018
  • Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
    Efficient Distributed Execution of Multi-component Scenario-Based Models
    Model-Driven Engineering and Software Development, Springer International Publishing, pp. 449-483, 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
    14th IEEE International Conference on Automation Science and Engineering (CASE 2018), Munich, Germany, 2018
  • Daniel Gritzner, Joel Greenyer
    Synthesizing Executable PLC Code for Robots from Scenario-based GR(1) Specifications
    Proceedings of the 4th International Workshop on Model-driven Robot Software Engineering (MORSE'17), co-located with STAF 2017, 2017
  • Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete
    A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example
    Proceedings of MODELS 2017 Satellite Events, co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), CEUR, No. 2019, pp. 71-80, 2017, edited by Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, et al.
  • 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
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017), ACM, pp. 974-978, New York, NY, USA, 2017
  • Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
    Distributing Scenario-based Models: A Replicate-and-Project Approach
    Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), 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
    Science of Computer Programming, Elsevier, Vol. 149, pp. 15-27, 2017
  • Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
    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), CEUR Workshop Proceedings, Vol. 1725, pp. 16-23, 2016
  • Joel Greenyer, Daniel Gritzner
    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), CEUR Workshop Proceedings, Vol. 1725, pp. 87-93, 2016
  • Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron, Nils Glade, Timo Gutjahr, Florian König
    Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems
    Procedia Technology, Vol. 26, pp. 552-559, 2016
  • Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König
    Scenario-based Specification of Car-to-X systems
    Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), CEUR Workshop Proceedings, Vol. 1559, pp. 118-123, 2016
  • Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Tim Duente, Stefan Dulle, Falk-David Deppe, Nils Glade, Marius Hilbich, Florian König, 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
    Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, CEUR Workshop Proceedings, Vol. 1474, pp. 71-80, 2015, edited by Sebastian Götz, Nelly Bencomo, Gordon Blair, and Hui Song
  • Johannes Kiess, Daniel Gritzner, Benjamin Guthier, Stefan Kopf, Wolfgang Effelsberg
    GPU video retargeting with parallelized SeamCrop
    Proceedings of the 5th ACM Multimedia Systems Conference, pp. 139-147, 2014