Urmăriți
Joel Greenyer
Titlu
Citat de
Citat de
Anul
Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars
J Greenyer, E Kindler
Software & Systems Modeling 9, 21-46, 2010
1062010
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
822013
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
802009
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
592014
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
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
512019
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
492011
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
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
422013
Scenario-based design of mechatronic systems
J Greenyer
Universitätsbibliothek, 2011
422011
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
412012
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
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
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
342012
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
322016
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
262020
Thirty-one challenges in testing automated vehicles: Interviews with experts from industry and research
F Beringhoff, J Greenyer, C Roesener, M Tichy
2022 IEEE Intelligent Vehicles Symposium (IV), 360-366, 2022
212022
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20