Follow
Joel Greenyer
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-46, 2010
992010
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
762009
Reconciling tggs with qvt
J Greenyer, E Kindler
International Conference on Model Driven Engineering Languages and Systems …, 2007
752007
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
742013
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
582014
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
542007
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
432011
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
402013
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
402013
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
402012
Scenario-based design of mechatronic systems
J Greenyer
Universitätsbibliothek, 2011
402011
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
372013
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
362017
Applications of graph transformations with industrial relevance
D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ...
Transformation of UML Models to CSP: A Case Study for Graph Transformation …, 2008
342008
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
312011
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
292016
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
292007
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
262012
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
222019
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
172020
The system can't perform the operation now. Try again later.
Articles 1–20