Sledovat
Jan Oliver Ringert
Jan Oliver Ringert
Department of Informatics, Bauhaus-Universität Weimar
E-mailová adresa ověřena na: uni-weimar.de - Domovská stránka
Název
Citace
Citace
Rok
MontiArc–Architectural Modeling of Interactive Distributed and Cyber-Physical Systems
A Haber, JO Ringert, B Rumpe
1332012
CD2Alloy: Class diagrams analysis using Alloy revisited
S Maoz, JO Ringert, B Rumpe
Model Driven Engineering Languages and Systems: 14th International …, 2011
1162011
ADDiff: semantic differencing for activity diagrams
S Maoz, JO Ringert, B Rumpe
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1042011
GR (1) synthesis for LTL specification patterns
S Maoz, JO Ringert
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
942015
A manifesto for semantic model differencing
S Maoz, JO Ringert, B Rumpe
Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011
932011
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
812011
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton
JO Ringert, B Rumpe, A Wortmann
arXiv preprint arXiv:1509.04505, 2015
662015
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
582013
Synthesis of Component and Connector Models from Crosscutting Structural Views
S Maoz, JO Ringert, B Rumpe
ESEC/FSE'13, 444-454, 2013
532013
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems
JO Ringert, B Rumpe, A Wortmann
Workshops and Tutorials Proceedings of the 2013 IEEE International …, 2013
522013
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
482011
Synthesizing a Lego Forklift Controller in GR (1): A Case Study
S Maoz, JO Ringert
SYNT 2015, 5, 2015
472015
Spectra: a specification language for reactive systems
S Maoz, JO Ringert
Software and Systems Modeling 20 (5), 1553-1586, 2021
452021
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
432009
Symbolic Repairs for GR (1) Specifications
S Maoz, JO Ringert, R Shalom
ICSE. IEEE, 2019
422019
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
422011
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
392017
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
382015
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
372019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20