Joel Greenyer

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	1409	470
h-index	20	11
i10-index	38	18

140

105

200620072008200920102011201220132014201520162017201820192020202120222023202420255 13 37 28 39 39 61 70 102 138 110 86 103 89 87 110 83 84 94 12

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

23 مقالة

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Daniel GritznerPhD student, Institut für Informationsverarbeitung, Leibniz Universität Hannoverبريد إلكتروني تم التحقق منه على tnt.uni-hannover.de
Ekkart KindlerTechnical University of Denmark, DTU Computeبريد إلكتروني تم التحقق منه على dtu.dk
Wilhelm SchaeferProfessor für Informatik Universität Paderbornبريد إلكتروني تم التحقق منه على upb.de
Valerio Panzica La MannaProgram Manager, imecبريد إلكتروني تم التحقق منه على imec.be
Guy KatzThe Hebrew University of Jerusalemبريد إلكتروني تم التحقق منه على cs.huji.ac.il
Maxime CordyUniversity of Luxembourgبريد إلكتروني تم التحقق منه على uni.lu
Patrick HeymansProfesseur d'Informatique, Université de Namurبريد إلكتروني تم التحقق منه على unamur.be
Carlo GhezziEmeritus Professor, Politecnico di Milanoبريد إلكتروني تم التحقق منه على polimi.it
Pieter Van GorpEindhoven University of Technologyبريد إلكتروني تم التحقق منه على pietervangorp.com
Anthony AnjorinZühlke Engineering GmbHبريد إلكتروني تم التحقق منه على zuehlke.com
Andy SchürrTU Darmstadtبريد إلكتروني تم التحقق منه على es.tu-darmstadt.de
Matthias TichyProfessor, Ulm University, Germanyبريد إلكتروني تم التحقق منه على uni-ulm.de
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillبريد إلكتروني تم التحقق منه على liu.se
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam Universityبريد إلكتروني تم التحقق منه على hpi.uni-potsdam.de
David HarelProfessor of Computer Science, The Weizmann Instituteبريد إلكتروني تم التحقق منه على weizmann.ac.il
Christoph SommerChair of Networked Systems Modeling, TU Dresden, Germanyبريد إلكتروني تم التحقق منه على tu-dresden.de
Javier Chiyah-GarciaPhD Student, Heriot-Watt Universityبريد إلكتروني تم التحقق منه على hw.ac.uk
Leen LambersBTU Cottbus-Senftenbergبريد إلكتروني تم التحقق منه على b-tu.de
Erhan LeblebiciTechnische Universität Darmstadtبريد إلكتروني تم التحقق منه على es.tu-darmstadt.de
Christian HeinzemannCorporate Research, Robert Bosch GmbHبريد إلكتروني تم التحقق منه على de.bosch.com

متابعة

Joel Greenyer

FHDW Hannover

بريد إلكتروني تم التحقق منه على jgreen.de - الصفحة الرئيسية

Model-Based Software Engineering Behavior Specification Formal Controller Synthesis and Verification Cyber-Physical Systems


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars‏ J Greenyer, E Kindler‏ Software & Systems Modeling 9, 21-46, 2010‏	106	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‏	82	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‏	80	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‏	59	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
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‏	51	2019
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‏	49	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
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‏	42	2013
Scenario-based design of mechatronic systems‏ J Greenyer‏ Universitätsbibliothek, 2011‏	42	2011
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‏	41	2012
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
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‏	34	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‏	32	2016
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‏	27	2020
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‏	21	2022

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون