Joel Greenyer
Joel Greenyer
Supernumerary Professor, Software Engineering Group, Leibniz Universität Hannover
Verified email at jgreen.de - Homepage
Title
Cited by
Cited by
Year
Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars
J Greenyer, E Kindler
Software & Systems Modeling 9 (1), 21, 2010
792010
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
682009
Reconciling tggs with qvt
J Greenyer, E Kindler
International Conference on Model Driven Engineering Languages and Systems …, 2007
682007
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
452014
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
402011
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
392013
Scenario-based design of mechatronic systems
J Greenyer
Universitätsbibliothek, 2011
352011
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
292012
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
272013
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations.
C Lohmann, J Greenyer, J Jiang, T Systä
J. Object Technol. 6 (9), 253-273, 2007
262007
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
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
232012
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
222017
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
202016
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
142009
A study of model transformation technologies: Reconciling TGGs with QVT
J Greenyer
Master's thesis, University of Paderborn, 2006
142006
The system can't perform the operation now. Try again later.
Articles 1–20