Jan Oliver Ringert 个人学术档案

引用次数

	总计	2019 年至今
引用	1893	956
h 指数	28	19
i10 指数	44	34

240

120

180

20102011201220132014201520162017201820192020202120222023202420 28 52 40 131 121 150 163 171 222 169 186 142 159 77

开放获取的出版物数量

查看全部

26 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Bernhard RumpeRWTH Aachen University在 se.rwth-aachen.de 的电子邮件经过验证
Shahar MaozSchool of Computer Science, Tel Aviv University在 cs.tau.ac.il 的电子邮件经过验证
Andreas WortmannUniversity of Stuttgart在 isw.uni-stuttgart.de 的电子邮件经过验证
Michael von WencksternResearcher at RWTH Aachen University在 se-rwth.de 的电子邮件经过验证
Arne HaberSoftware Engineering Group, RWTH Aachen University在 se.rwth-aachen.de 的电子邮件经过验证
Alexander RothSoftware Engineering RWTH在 se-rwth.de 的电子邮件经过验证
Mohammad Reza MousaviProfessor of Software Engineering, King's College London在 kcl.ac.uk 的电子邮件经过验证
Judith MichaelRWTH Aachen University, http://www.se-rwth.de/在 se-rwth.de 的电子邮件经过验证
Arvid Buttingmgm technology partners GmbH在 se-rwth.de 的电子邮件经过验证
Dr. Markus LookSoftware Engineering, RWTH Aachen在 se-rwth.de 的电子邮件经过验证
Allison SullivanAssistant Professor of Computer Science, The University of Texas at Arlington在 uta.edu 的电子邮件经过验证
Syed Waqee WaliUniversity of Leicester在 cgi.com 的电子邮件经过验证
Shaull AlmagorAssistant Professor, Technion在 cs.technion.ac.il 的电子邮件经过验证
Orna KupfermanProfessor of Computer Science, The Hebrew University在 cs.huji.ac.il 的电子邮件经过验证
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv University在 mail.tau.ac.il 的电子邮件经过验证
Nitzan Pomerantz在 mail.tau.ac.il 的电子邮件经过验证
Rayna DimitrovaCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
Nervo Xavier VerdezotoSenior Lecturer in Human-Computer Interaction, Cardiff University在 cardiff.ac.uk 的电子邮件经过验证
Carlos Diego Nascimento DamascenoASML在 asml.com 的电子邮件经过验证
Mehdi MehtarizadehSenior Research Software Engineer, King's College London在 kcl.ac.uk 的电子邮件经过验证

关注

Jan Oliver Ringert

Department of Informatics, Bauhaus-Universität Weimar

在 uni-weimar.de 的电子邮件经过验证 - 首页

Software Engineering Modeling Formal Methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
MontiArc–Architectural Modeling of Interactive Distributed and Cyber-Physical Systems A Haber, JO Ringert, B Rumpe	131	2012
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	111	2011
ADDiff: semantic differencing for activity diagrams S Maoz, JO Ringert, B Rumpe Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	103	2011
A manifesto for semantic model differencing S Maoz, JO Ringert, B Rumpe Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011	92	2011
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	88	2015
Language and Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems JO Ringert, A Roth, B Rumpe, A Wortmann Journal of Software Engineering for Robotics 6 (1), 33-57, 2016	83*	2016
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), 230-254, 2011	79	2011
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton JO Ringert, B Rumpe, A Wortmann arXiv preprint arXiv:1509.04505, 2015	65	2015
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems JO Ringert, B Rumpe, A Wortmann Software Engineering 2013 Workshopband, 155–170, 2013	57	2013
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems JO Ringert, B Rumpe, A Wortmann Workshops and Tutorials Proceedings of the 2013 IEEE International …, 2013	52	2013
Synthesis of Component and Connector Models from Crosscutting Structural Views S Maoz, JO Ringert, B Rumpe ESEC/FSE'13, 444-454, 2013	51	2013
Synthesizing a Lego Forklift Controller in GR (1): A Case Study S Maoz, JO Ringert SYNT 2015, 5, 2015	46	2015
Semantically configurable consistency analysis for class and object diagrams S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2011	46	2011
System model-based definition of modeling language semantics H Grönniger, JO Ringert, B Rumpe International Conference on Formal Methods for Open Object-Based Distributed …, 2009	44	2009
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	41	2021
Teaching agile model-driven engineering for cyber-physical systems JO Ringert, B Rumpe, C Schulze, A Wortmann 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017	40	2017
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing JO Ringert, B Rumpe International Journal of Software and Informatics 5 (1-2), 29-53, 2011	39	2011
Symbolic Repairs for GR (1) Specifications S Maoz, JO Ringert, R Shalom ICSE. IEEE, 2019	38	2019
Behavioral compatibility of simulink models for product line maintenance and evolution B Rumpe, C Schulze, M von Wenckstern, JO Ringert, P Manhart Proceedings of the 19th International Conference on Software Product Line …, 2015	38	2015
Modal object diagrams S Maoz, JO Ringert, B Rumpe European Conference on Object-Oriented Programming, 281-305, 2011	35	2011

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用