Jan Oliver Ringert

Citirano

	Sve	Od 2020.
Citati	1981	813
H-indeks	29	20
i10-indeks	44	25

240

120

180

201020112012201320142015201620172018201920202021202220232024202521 28 52 41 131 122 151 165 171 222 172 185 140 159 136 20

Javni pristup

Prikaži sve

26 članaka

1 članak

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Bernhard RumpeRWTH Aachen UniversityPotvrđena adresa e-pošte na se.rwth-aachen.de
Shahar MaozSchool of Computer Science, Tel Aviv UniversityPotvrđena adresa e-pošte na cs.tau.ac.il
Andreas WortmannUniversity of StuttgartPotvrđena adresa e-pošte na isw.uni-stuttgart.de
Michael von WencksternResearcher at RWTH Aachen UniversityPotvrđena adresa e-pošte na se-rwth.de
Arne HaberSoftware Engineering Group, RWTH Aachen UniversityPotvrđena adresa e-pošte na se.rwth-aachen.de
Alexander RothSoftware Engineering RWTHPotvrđena adresa e-pošte na se-rwth.de
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonPotvrđena adresa e-pošte na kcl.ac.uk
Allison SullivanAssistant Professor of Computer Science, The University of Texas at ArlingtonPotvrđena adresa e-pošte na uta.edu
Judith MichaelRWTH Aachen University, http://www.se-rwth.de/Potvrđena adresa e-pošte na se-rwth.de
Arvid Buttingmgm technology partners GmbHPotvrđena adresa e-pošte na se-rwth.de
Dr. Markus LookSoftware Engineering, RWTH AachenPotvrđena adresa e-pošte na se-rwth.de
Syed Waqee WaliUniversity of LeicesterPotvrđena adresa e-pošte na cgi.com
Shaull AlmagorAssistant Professor, TechnionPotvrđena adresa e-pošte na cs.technion.ac.il
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityPotvrđena adresa e-pošte na cs.huji.ac.il
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv UniversityPotvrđena adresa e-pošte na mail.tau.ac.il
Nitzan PomerantzPotvrđena adresa e-pošte na mail.tau.ac.il
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityPotvrđena adresa e-pošte na cispa.de
Nervo Xavier VerdezotoSenior Lecturer in Human-Computer Interaction, Cardiff UniversityPotvrđena adresa e-pošte na cardiff.ac.uk
Carlos Diego Nascimento DamascenoASMLPotvrđena adresa e-pošte na asml.com
Mehdi MehtarizadehSenior Research Software Engineer, King's College LondonPotvrđena adresa e-pošte na kcl.ac.uk

Prati

Jan Oliver Ringert

Department of Informatics, Bauhaus-Universität Weimar

Potvrđena adresa e-pošte na uni-weimar.de - Početna stranica

Software Engineering Modeling Formal Methods


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
MontiArc–Architectural Modeling of Interactive Distributed and Cyber-Physical Systems A Haber, JO Ringert, B Rumpe	133	2012
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	116	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
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	94	2015
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
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	86*	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
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	48	2011
Synthesizing a Lego Forklift Controller in GR (1): A Case Study S Maoz, JO Ringert SYNT 2015, 5, 2015	47	2015
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	45	2021
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	43	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	42	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	39	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
Innovations in Model-based Software And Systems Engineering K Hölldobler, J Michael, JO Ringert, B Rumpe, A Wortmann Journal of Object Technology 18 (1), 2019	37	2019

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori