Daniel Gritzner

Daniel Gritzner

Universität Hannover - Hannover / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5614800
Leibniz University of Hanover
person_outline Daniel Gritzner's MOST POPULAR ARTICLES
1-) ScenarioTools–A tool suite for the scenario-based modeling and analysis of reactive systemsJ Greenyer, D Gritzner, T Gutjahr, F König, N Glade, A Marron, G KatzScience of Computer Programming 149, 15-27, 2017432017
2-) Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.J Greenyer, D Gritzner, G Katz, A MarronD&P@ MoDELS, 16-23, 2016312016
3-) Synthesizing executable PLC code for robots from scenario-based GR (1) specificationsD Gritzner, J GreenyerSoftware Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018182018
4-) 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
5-) Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical SystemsJ Greenyer, D Gritzner, G Katz, A Marron, N Glade, T Gutjahr, F KönigProcedia Technology 26, 552-559, 2016