Follow
Michael von Wenckstern
Michael von Wenckstern
Researcher at RWTH Aachen University
Verified email at se-rwth.de - Homepage
Title
Cited by
Cited by
Year
SMArDT modeling for automotive software testing
I Drave, S Hillemacher, T Greifenberg, S Kriebel, E Kusmenko, ...
Software: Practice and Experience 49 (2), 301-328, 2019
542019
Modeling architectures of cyber-physical systems
E Kusmenko, A Roth, B Rumpe, M von Wenckstern
Modelling Foundations and Applications: 13th European Conference, ECMFA 2017 …, 2017
382017
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
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc
E Kusmenko, B Rumpe, S Schneiders, M von Wenckstern
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
302018
Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles.
F Grazioli, E Kusmenko, A Roth, B Rumpe, M von Wenckstern
MODELS (Satellite Events), 109-115, 2017
262017
Component and connector views in practice: An experience report
V Bertram, S Maoz, JO Ringert, B Rumpe, M von Wenckstern
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
232017
Multi-level modeling framework for machine as a service applications based on product process resource models
C Brecher, E Kusmenko, A Lindt, B Rumpe, S Storms, S Wein, ...
Proceedings of the 2nd International Symposium on Computer Science and …, 2018
152018
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology
S Hillemacher, S Kriebel, E Kusmenko, M Lorang, B Rumpe, A Sema, ...
Model-Driven Engineering and Software Development (MODELSWARD), 163 - 178, 2018
152018
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
S Maoz, F Mehlan, JO Ringert, B Rumpe, M von Wenckstern
MoDELS (Satellite Events), 24-30, 2017
122017
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
S Maoz, JO Ringert, B Rumpe, M von Wenckstern
ModComp@ MoDELS, 19-24, 2016
122016
Test-driven semantical similarity analysis for software product line extraction
J Richenhagen, B Rumpe, A Schloßer, C Schulze, K Thissen, ...
Proceedings of the 20th International Systems and Software Product Line …, 2016
122016
EmbeddedMontiArc: Textual modeling alternative to Simulink
E Kusmenko, JM Ronck, B Rumpe, M von Wenckstern
EXE at MODELS, 2018
52018
Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process
S Kriebel, E Kusmenko, B Rumpe, M von Wenckstern
Model-Based Development of Embedded Systems (MBEES), 51 - 60, 2018
52018
Case study on structural views for component and connector models
V Bertram, S Maoz, JO Ringert, B Rumpe, M von Wenckstern
International Conference on Model-Driven Engineering and Software Development, 2017
52017
Infrastructure to use OCL for runtime structural compatibility checks of simulink models
V Bertram, P Manhart, D Plotnikov, B Rumpe, C Schulze, MV Wenckstern
Modellierung 2016, 109-116, 2016
52016
Fast Simulation Preorder Algorithm
E Kusmenko, B Rumpe, I Shumeiko, M von Wenckstern
Model-Driven Engineering and Software Development (MODELSWARD), 256-266, 2018
42018
Extendable Toolchain for Automatic Compatibility Checks.
V Bertram, A Roth, B Rumpe, M von Wenckstern
OCL@ MoDELS, 49-56, 2016
42016
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
V Bertram, B Rumpe, M von Wenckstern
OCL@ MoDELS, 17-32, 2016
22016
Improving the model-based systems engineering process
M Wenckstern
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations …, 2022
12022
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems
M von Wenckstern
Aachener Informatik-Berichte, Software Engineering 44 (ISBN 978-3-8440-7239 …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20