Jan Oliver Ringert

Cited by

	All	Since 2017
Citations	1515	941
h-index	24	18
i10-index	41	35

200

100

150

200920102011201220132014201520162017201820192020202120224 18 28 47 40 114 123 153 174 166 198 165 178 55

Public access

View all

31 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
Dr. Markus LookSoftware Engineering, RWTH AachenVerified email at se-rwth.de
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 edu.aau.at
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
Nitzan PomerantzVerified email at mail.tau.ac.il
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Deni RacoRWTH Aachen University, Chair of Software EngineeringVerified email at se-rwth.de
Genovefa KefalidouLecturer in Human-Computer Interaction, University of LeicesterVerified email at leicester.ac.uk
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 DamascenoRadboud Universiteit NijmegenVerified email at cs.ru.nl
Mehdi MehtarizadehResearch Assistant, University of LeicesterVerified email at leicester.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	115	2012
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2011	95	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	88	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	74*	2016
A manifesto for semantic model differencing S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2010	73	2010
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	67	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	65	2011
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton JO Ringert, B Rumpe, A Wortmann arXiv preprint arXiv:1509.04505, 2015	60	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	56	2013
Synthesis of Component and Connector Models from Crosscutting Structural Views S Maoz, JO Ringert, B Rumpe ESEC/FSE'13, 444-454, 2013	48	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	45	2013
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	38	2011
System model-based definition of modeling language semantics H Grönniger, JO Ringert, B Rumpe Formal Techniques for Distributed Systems, 152-166, 2009	38	2009
Synthesizing a Lego Forklift Controller in GR (1): A Case Study S Maoz, JO Ringert SYNT 2015, 5, 2015	36	2015
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	34	2015
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	33	2011
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems JO Ringert, B Rumpe, A Wortmann Modelling and Quality in Requirements Engineering, 133-146, 2012	32	2012
Modal object diagrams S Maoz, JO Ringert, B Rumpe European Conference on Object-Oriented Programming, 281-305, 2011	31	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	31	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	27	2017

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 this author

Cited by

Co-authors