Dipl.-Inf. Daniel Gritzner

Foto von Daniel Gritzner

Kontakt

E-Mail E-Mail E-Mail
Telefon +49 - (0)511 / 762 - 19675
Raum G 304

Forschungsschwerpunkte

Publikationen

  • 2018
  • Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron: Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models, In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD, 2018. Bibtex. Link
  • Greenyer, Joel, Chazette, Larissa, Gritzner, Daniel, Wete, Eric: A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems-Early Virtual Prototyping of Car-to-X System Specifications., In Modellierung (Workshops), pages 111--120, 2018. Bibtex.
  • Daniel Gritzner, Joel Greenyer: Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications, In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, Modellierung 2018, pages 167-182, Bonn. Gesellschaft für Informatik e.V., 2018. Bibtex.
  • 2017
  • Daniel Gritzner, Joel Greenyer: Synthesizing Executable PLC Code for Robots from Scenario-based GR(1) Specifications, In Electronic Pre-Proceedings of the 4th International Workshop on Model-driven Robot Software Engineering (MORSE'17), co-located with STAF 2017, 2017. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete: A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example, In Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, Proceedings of MODELS 2017 Satellite Events, co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), volume 2019 of CEUR Workshop Proceedings, pages 71-80. CEUR, 2017. Bibtex. Link
  • 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, In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017), pages 974--978, New York, NY, USA. ACM, 2017. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Timo Gutahr, Florian König, Nils Glade, Assaf Marron, Guy Katz: ScenarioTools – A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems , In Science of Computer Programming , pages - , 2017. Bibtex. Link
  • Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron: Distributing Scenario-based Models: A Replicate-and-Project Approach, In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,, 2017. Bibtex.
  • 2016
  • Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron: Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools, In 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), pages 16-23. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner: An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications, In 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), pages 87-93. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • 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, In Procedia Technology, volume 26, pages 552 - 559, 2016. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König: Scenario-based Specification of Car-to-X systems, In Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), pages 118-123. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • 2015
  • 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, In Sebastian Götz and Nelly Bencomo and Gordon Blair and Hui Song, Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, volume 1474 of CEUR Workshop Proceedings, pages 71-80. CEUR, 2015. Bibtex. Link
  • 2014
  • Daniel Gritzner: 3D Graphics Rendering using a Polygon-Voxel-Hybrid Approach, Diplomarbeit, Universität Mannheim, 2014. Bibtex. PDF herunterladen
  • Johannes Kiess, Daniel Gritzner, Benjamin Guthier, Stephan Kopf, Wolfgang Effelsberg: GPU video retargeting with parallelized SeamCrop, In Proceedings of the 5th ACM Multimedia Systems Conference, pages 139-147, 2014. Bibtex.
  • 2010
  • Daniel Gritzner: Simulation of Liquid Surfaces for Games, Bachelorarbeit, Universität Mannheim, 2010. Bibtex. PDF herunterladen