Joel Greenyer
Joel Greenyer
Supernumerary Professor, Software Engineering Group, Leibniz Universität Hannover
Geverifieerd e-mailadres voor jgreen.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars
J Greenyer, E Kindler
Software & Systems Modeling 9 (1), 21, 2010
772010
Management of cross-domain model consistency during the development of advanced mechatronic systems
J Gausemeier, W Schäfer, J Greenyer, S Kahl, S Pook, J Rieke
DS 58-6: Proceedings of ICED 09, the 17th International Conference on …, 2009
672009
Reconciling tggs with qvt
J Greenyer, E Kindler
International Conference on Model Driven Engineering Languages and Systems …, 2007
652007
A survey of triple graph grammar tools
S Hildebrandt, L Lambers, H Giese, J Rieke, J Greenyer, W Schäfer, ...
Electronic Communications of the EASST 57, 2013
592013
Transformation of UML models to CSP: A case study for graph transformation tools
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
International Symposium on Applications of Graph Transformations with …, 2007
522007
A comparison of incremental triple graph grammar tools
E Leblebici, A Anjorin, A Schürr, S Hildebrandt, J Rieke, J Greenyer
Electronic Communications of the EASST 67, 2014
442014
Preventing information loss in incremental model synchronization by reusing elements
J Greenyer, S Pook, J Rieke
European Conference on Modelling Foundations and Applications, 144-159, 2011
392011
The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions
J Greenyer, C Brenner, VP La Manna
Electronic Communications of the EASST 58, 2013
372013
Scenario-based design of mechatronic systems
J Greenyer
Universitätsbibliothek, 2011
322011
Incrementally synthesizing controllers from scenario-based product line specifications
J Greenyer, C Brenner, M Cordy, P Heymans, E Gressi
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
312013
Synthesizing dynamically updating controllers from changes in scenario-based specifications
C Ghezzi, J Greenyer, VP La Manna
2012 7th International Symposium on Software Engineering for Adaptive and …, 2012
272012
Formalizing correctness criteria of dynamic updates derived from specification changes
VP La Manna, J Greenyer, C Ghezzi, C Brenner
2013 8th International Symposium on Software Engineering for Adaptive and …, 2013
262013
Applying advanced TGG concepts for a complex transformation of sequence diagram specifications to timed game automata
J Greenyer, J Rieke
International Symposium on Applications of Graph Transformations with …, 2011
252011
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations.
C Lohmann, J Greenyer, J Jiang, T Systä
Journal of Object Technology 6 (9), 253-273, 2007
252007
Efficient consistency checking of scenario-based product-line specifications
J Greenyer, AM Sharifloo, M Cordy, P Heymans
2012 20th IEEE International Requirements Engineering Conference (RE), 161-170, 2012
222012
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
202017
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
192016
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
Synthesis of timed behavior from scenarios in the fujaba real-time tool suite
S Henkler, J Greenyer, M Hirsch, W Schafer, K Alhawash, T Eckardt, ...
2009 IEEE 31st International Conference on Software Engineering, 615-618, 2009
132009
A study of model transformation technologies: Reconciling TGGs with QVT
J Greenyer
Master's thesis, University of Paderborn, 2006
132006
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20