Jan Oliver Ringert

Cited by

	All	Since 2018
Citations	1802	1032
h-index	28	20
i10-index	42	37

240

120

180

2010201120122013201420152016201720182019202020212022202320 29 52 39 128 123 151 170 171 225 170 188 130 146

Public access

View all

23 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
Shahar MaozSchool of Computer Science, Tel Aviv UniversityVerified email at cs.tau.ac.il
Andreas WortmannUniversity of StuttgartVerified email at isw.uni-stuttgart.de
Michael von WencksternResearcher at RWTH Aachen UniversityVerified email at se-rwth.de
Arne HaberSoftware Engineering Group, RWTH Aachen UniversityVerified email at se.rwth-aachen.de
Alexander RothSoftware Engineering RWTHVerified email at se-rwth.de
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Arvid ButtingSoftware Engineering, RWTH Aachen UniversityVerified email at se-rwth.de
Judith MichaelSoftware Engineering, RWTH Aachen University, http://www.se-rwth.de/Verified email at se-rwth.de
Dr. Markus LookSoftware Engineering, RWTH AachenVerified email at se-rwth.de
Shaull AlmagorAssistant Professor, TechnionVerified email at cs.technion.ac.il
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Syed Waqee WaliUniversity of LeicesterVerified email at cgi.com
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv UniversityVerified email at mail.tau.ac.il
Nitzan PomerantzVerified email at mail.tau.ac.il
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Nervo Xavier VerdezotoSenior Lecturer in Human-Computer Interaction, Cardiff UniversityVerified email at cardiff.ac.uk
Carlos Diego Nascimento DamascenoASMLVerified email at asml.com
Mehdi MehtarizadehSenior Research Software Engineer, King's College LondonVerified email at kcl.ac.uk
José Miguel RojasUniversity of SheffieldVerified email at sheffield.ac.uk

Jan Oliver Ringert

Department of Informatics, Bauhaus-Universität Weimar

Verified email at uni-weimar.de - Homepage

Software Engineering Modeling Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
MontiArc–Architectural Modeling of Interactive Distributed and Cyber-Physical Systems A Haber, JO Ringert, B Rumpe	129	2012
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	109	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	98	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	87	2011
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	85*	2016
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	81	2015
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), 230-254, 2011	73	2011
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton JO Ringert, B Rumpe, A Wortmann arXiv preprint arXiv:1509.04505, 2015	67	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	60	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
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems JO Ringert, B Rumpe, A Wortmann Workshops and Tutorials Proceedings of the 2013 IEEE International …, 2013	50	2013
Synthesizing a Lego Forklift Controller in GR (1): A Case Study S Maoz, JO Ringert SYNT 2015, 5, 2015	45	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	45	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	41	2009
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
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	37	2017
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	37	2015
Symbolic Repairs for GR (1) Specifications S Maoz, JO Ringert, R Shalom ICSE. IEEE, 2019	35	2019
Modal object diagrams S Maoz, JO Ringert, B Rumpe European Conference on Object-Oriented Programming, 281-305, 2011	35	2011
An operational semantics for activity diagrams using SMV S Maoz, JO Ringert, B Rumpe Aachener Informatik-Berichte AIB-2011-07, Department of Computer Science …, 2011	35	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors