Jan Oliver Ringert

Cited by

	All	Since 2020
Citations	1969	808
h-index	29	20
i10-index	45	25

240

120

180

201020112012201320142015201620172018201920202021202220232024202520 28 52 40 131 121 151 162 171 222 171 185 142 160 133 16

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
Allison SullivanAssistant Professor of Computer Science, The University of Texas at ArlingtonVerified email at uta.edu
Judith MichaelRWTH Aachen University, http://www.se-rwth.de/Verified email at se-rwth.de
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	134	2012
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	114	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	104	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	93	2011
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	92	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	84*	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	81	2011
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton JO Ringert, B Rumpe, A Wortmann arXiv preprint arXiv:1509.04505, 2015	66	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	58	2013
Synthesis of Component and Connector Models from Crosscutting Structural Views S Maoz, JO Ringert, B Rumpe ESEC/FSE'13, 444-454, 2013	53	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
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	46	2021
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
Symbolic Repairs for GR (1) Specifications S Maoz, JO Ringert, R Shalom ICSE. IEEE, 2019	42	2019
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	41	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	40	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	38	2015
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	36	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