Seguir
Joel Greenyer
Título
Citado por
Citado por
Año
Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars
J Greenyer, E Kindler
Software & Systems Modeling 9, 21-46, 2010
1042010
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
792013
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
782009
Reconciling tggs with qvt
J Greenyer, E Kindler
Model Driven Engineering Languages and Systems: 10th International …, 2007
732007
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, ...
Applications of Graph Transformations with Industrial Relevance: Third …, 2008
542008
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
462011
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
432017
Scenario-based design of mechatronic systems
J Greenyer
Universitätsbibliothek, 2011
422011
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
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
392019
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
392013
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
392012
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
332012
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
312016
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
312008
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
302007
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
282012
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
222020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20