Jan Oliver Ringert

Cited by

	All	Since 2019
Citations	1913	974
h-index	28	19
i10-index	44	34

240

120

180

20102011201220132014201520162017201820192020202120222023202420 28 52 40 131 121 151 163 171 222 169 186 141 158 96

Public access

View all

26 articles

1 article

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
Judith MichaelRWTH Aachen University, http://www.se-rwth.de/Verified email at se-rwth.de
Allison SullivanAssistant Professor of Computer Science, The University of Texas at ArlingtonVerified email at uta.edu
Arvid Buttingmgm technology partners GmbHVerified email at se-rwth.de
Dr. Markus LookSoftware Engineering, RWTH AachenVerified email at se-rwth.de
Syed Waqee WaliUniversity of LeicesterVerified email at cgi.com
Shaull AlmagorAssistant Professor, TechnionVerified email at cs.technion.ac.il
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
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

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	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	45	2009
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	42	2021
Symbolic Repairs for GR (1) Specifications S Maoz, JO Ringert, R Shalom ICSE. IEEE, 2019	40	2019
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
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

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