Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars J Greenyer, E Kindler Software & Systems Modeling 9, 21-46, 2010 | 104 | 2010 |
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 | 79 | 2013 |
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 | 77 | 2009 |
Reconciling tggs with qvt J Greenyer, E Kindler Model Driven Engineering Languages and Systems: 10th International …, 2007 | 73 | 2007 |
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 | 58 | 2014 |
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, ... Applications of Graph Transformations with Industrial Relevance: Third …, 2008 | 54 | 2008 |
Preventing information loss in incremental model synchronization by reusing elements J Greenyer, S Pook, J Rieke Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011 | 46 | 2011 |
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 | 43 | 2017 |
Scenario-based design of mechatronic systems J Greenyer Universitätsbibliothek, 2011 | 42 | 2011 |
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 | 40 | 2013 |
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 | 40 | 2013 |
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 | 39 | 2013 |
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 | 39 | 2012 |
Towards self-explainable cyber-physical systems M Blumreiter, J Greenyer, FJC Garcia, V Klös, M Schwammberger, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 38 | 2019 |
Applying advanced tgg concepts for a complex transformation of sequence diagram specifications to timed game automata J Greenyer, J Rieke Applications of Graph Transformations with Industrial Relevance: 4th …, 2012 | 33 | 2012 |
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 | 31 | 2016 |
Applications of graph transformations with industrial relevance D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ... Berlin, Heidelberg: Springer-Verlag, 540-565, 2008 | 31 | 2008 |
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 | 30 | 2007 |
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 | 28 | 2012 |
Scenarios in the loop: integrated requirements analysis and automotive system validation C Wiecher, S Japs, L Kaiser, J Greenyer, R Dumitrescu, C Wolff Proceedings of the 23rd ACM/IEEE International conference on model driven …, 2020 | 22 | 2020 |