Michael von Wenckstern
Michael von Wenckstern
Researcher at RWTH Aachen University
Email confirmado em se-rwth.de - Página inicial
Título
Citado por
Citado por
Ano
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
312015
Modeling architectures of cyber-physical systems
E Kusmenko, A Roth, B Rumpe, M von Wenckstern
European Conference on Modelling Foundations and Applications, 34-50, 2017
242017
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
202019
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
172017
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
152018
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
112016
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
102018
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
102017
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
82017
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
S Maoz, JO Ringert, B Rumpe, M von Wenckstern
ModComp@ MoDELS, 19-24, 2016
72016
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, 2016
62016
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
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
Extendable Toolchain for Automatic Compatibility Checks.
V Bertram, A Roth, B Rumpe, M von Wenckstern
OCL@ MoDELS, 49-56, 2016
42016
EmbeddedMontiArc: Textual modeling alternative to Simulink
E Kusmenko, JM Ronck, B Rumpe, M von Wenckstern
EXE at MODELS, 2018
32018
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
32018
Fast Simulation Preorder Algorithm
E Kusmenko, B Rumpe, I Shumeiko, M von Wenckstern
Model-Driven Engineering and Software Development (MODELSWARD), 256-266, 2018
32018
Anforderungsverifikation von Komponenten-und Konnektormodellen am Beispiel Autonom Fahrender Autos
M Heithoff, B Rumpe, M von Wenckstern
GI Softwaretechnik-Trends 37 (2), 2017
12017
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
V Bertram, B Rumpe, M von Wenckstern
OCL@ MoDELS, 17-32, 2016
12016
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
2020
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20