SE@RWTH : Staff : Michael von Wenckstern

Dr. rer.-nat. Dipl.-Math.
Michael von Wenckstern

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

tel. +49 (241) 80-21319
fax. +49 (241) 80-22218
vonwenckstern

se-rwth.de

room 4314

Project Leader EmbeddedMontiArc

Quick Links: Research Interests ■ Publications ■ Certificates ■ Supervised Bachelor/Master Thesis ■ Supervised Seminar Topics ■ Tools/Videos

Research Prototype

EmbeddedMontiArc

Modeling Language for Cyber-Physical Systems

Download EmbeddedMontiArcStudio

Portable App for Windows 64-bit

Research Interests

Model-Driven Engineering
Software Architecture Modeling
Component and Connector Models (C&C Models)
Verification of Software Architectures

Publications

[vW20] M. von Wenckstern:
Verification of Structural and Extra Functional Properties in Component and Connector Models for Embedded and Cyber Physical Systems.
In: Aachener Informatik-Berichte, Software Engineering, Band 44. ISBN 978-3-8440-7239-6. Shaker Verlag, March 2020.
[DGH+19] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, E. Kusmenko, M. Markthaler, P. Orth, K. S. Salman, J. Richenhagen, B. Rumpe, C. Schulze, M. von Wenckstern, A. Wortmann:
SMArDT Modeling for Automotive Software Testing.
In: R. Buyya, J. Bishop, K. Cooper, R. Jonas, A. Poggi, S. Srirama, editors, Software: Practice and Experience, 49(2):301-328, Wiley Online Library, Feb. 2019.
[KRSvW18a] E. Kusmenko, B. Rumpe, S. Schneiders, M. von Wenckstern:
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc.
In: Conference on Model Driven Engineering Languages and Systems (MODELS'18), pg. 447-457, Copenhagen, ACM, Oct. 2018.
• Supplementary Online Materials.

• Additional Materials.
[KRSvW18] E. Kusmenko, B. Rumpe, I. Strepkov, M. von Wenckstern:
Teaching Playground for C&C Language EmbeddedMontiArc.
In: Proceedings of MODELS 2018. Workshop ModComp, Copenhagen, Oct. 2018.
• Supplementary Online Materials.
[KRRvW18] E. Kusmenko, J. Ronck, B. Rumpe, M. von Wenckstern:
EmbeddedMontiArc: Textual Modeling Alternative to Simulink.
In: Proceedings of MODELS 2018. Workshop EXE, Copenhagen, Oct. 2018.
• Supplementary Online Materials.
[DGH+18a] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, E. Kusmenko, M. Markthaler, P. Orth, K. S. Salman, J. Richenhagen, B. Rumpe, C. Schulze, M. von Wenckstern, A. Wortmann:
SMArDT modeling for automotive software testing.
In: Software: Practice and Experience, 2018.
[BKL+18] C. Brecher, E. Kusmenko, A. Lindt, B. Rumpe, S. Storms, S. Wein, M. von Wenckstern, A. Wortmann:
Multi-Level Modeling Framework for Machine as a Service Applications Based on Product Process Resource Models.
International Symposium on Computer Science and Intelligent Control. ACM, Sep. 2018.
[KKRvW18] S. Kriebel, E. Kusmenko, B. Rumpe, M. von Wenckstern:
Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process.
In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XIV (MBEES'18). Univ. Hamburg, Apr. 2018.
[BMR+18] V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern:
Component and Connector Views in Practice: An Experience Report (extended abstract).
In: Software Engineering und Software Management 2018 (SE'18), pg. 97-99, Ulm, Germany, LNI P-279. Bonner Köllen Verlag, Mar. 2018.
• Supplementary Online Materials.
[KSRW18] E. Kusmenko, I. Shumeiko, B. Rumpe, M. von Wenckstern:
Fast Simulation Preorder Algorithm.
In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'18), pg. 256-267. SciTePress, Jan. 2018.
[HKK+18] S. Hillemacher, S. Kriebel, E. Kusmenko, M. Lorang, B. Rumpe, A. Sema, G. Strobl, M. von Wenckstern:
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology.
In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'18), pg. 163-178. SciTePress, Jan. 2018.
[MMR+17] S. Maoz, F. Mehlan, J. O. Ringert, B. Rumpe, and M. von Wenckstern:
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
In: Proceedings of MODELS 2017. Workshop ModComp, Austin, CEUR 2019, Sept. 2017.
• Download OCLVerify Tool.
[GKR+17] F. Grazioli, E. Kusmenko, A. Roth, B. Rumpe, M. von Wenckstern:
Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles.
In: Proceedings of MODELS 2017. Workshop EXE, Austin, CEUR 2019, Sept. 2017.
[BMR+17] V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern:
Component and Connector Views in Practice: An Experience Report.
In: Conference on Model Driven Engineering Languages and Systems (MODELS'17), pg. 167-177, Austin, IEEE, Sept. 2017.
• Supplementary Online Materials.
[KRRW17] E. Kusmenko, A. Roth, B. Rumpe, M. von Wenckstern:
Modeling Architectures of Cyber Physical Systems.
In: European Conference on Modelling Foundations and Applications (ECMFA'17), Marburg, pg. 34-50. LNCS 10376, Springer, July 2017.
[HRW17] M. Heithoff, B. Rumpe, M. von Wenckstern:
Anforderungsverifikation von Komponenten- und Konnektormodellen am Beispiel Autonom Fahrender Autos.
In: Softwaretechnik-Trends, 37(2), GI, May 2017.
[MRRW16] S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern:
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
In: Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp'16), Saint Malo, France, 2016.
[RRS+16] J. Richenhagen, B. Rumpe, A. Schloßer, C. Schulze, K. Thissen, M. von Wenckstern:
Test-driven Semantical Similarity Analysis for Software Product Line Extraction.
In: Software Product Line Conference (SPLC ’16), Beijing, China, ACM 2016.
[BRRW16] V. Bertram, A. Roth, B. Rumpe, M. von Wenckstern:
Extendable Toolchain for Automatic Compatibility Checks.
In: International Workshop in OCL and Textual Modeling (OCL'16), Saint Malo, France, 2016.
[BRW16] V. Bertram, B. Rumpe, and M. von Wenckstern:
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
In: International Workshop in OCL and Textual Modeling (OCL'16), Saint Malo, France, 2016.
[BMP+16] V. Bertram, P. Manhart, D. Plotnikov, B. Rumpe, C. Schulze, M. von Wenckstern:
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.
In: Modellierung 2016 Conference, LNI P-254, pp. 109–116. Bonner Köllen Verlag, 2016.
[RSW16] B. Rumpe, C. Schulze, M. von Wenckstern:
MontiMatcher: Ähnlichkeitsanalyse-Framework zur Produktlinienextraktion und Evolutionsüberwachung.
In: Softwaretechnik-Trends, 36(2), 2016.
[CMSNR+16] M. Czaplik, P. Mir Seyed Nazari, A. Roth, B. Rumpe, V. Voigt, M. von Wenckstern, A. Wortmann:
Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien.
In: Fail Safety in Medical Cyber-Physical Systems Workshop (FS-MCPS’16), CEUR-WS 1559, pp. 195–200, CEUR Workshop Proceedings, 2016.
[RSW+15] B. Rumpe, C. Schulze, M. von Wenckstern, J. O. Ringert, P. Manhart:
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution.
In: Conference on Software Product Lines (SPLC'15), p. 141-150, ACM, 2015.
Michael von Wenckstern
Web Applications Using the Google Web Toolkit [EN]
Qucosa Main Page | PDF (Computer version) | PDF (Print version)
Github link to Agricola board game (you can play there online)
Michael von Wenckstern
Kurze Beschreibung des Advanced Encryption Standard [DE]
PDF

Certificates


Certified Tester	Certified Scrum Master

Supervised Bachelor/Master Thesis

Özen, Ahmet Tayfun: Evaluierung von Komponenten- und Konnektoren-Views, 2018
Strepkov, Ievgen: Development of Web Playground for Component and Connector Models, 2018
Schrick, Manuel: Visualisation of Textual Component and Connector Models, 2018
Schneiders, Saschsa: Development of a C++ Generator for Embedded Modeling Languages, 2017
Kahlert, Fabian: Extension of the C&C View Language and its Verification for Embedded Systems, 2017
Mehlan, Ferdinand: Verification of Non-Functional Properties on Component and Connector Models, 2017
Ho, Dinh-An: 3D Visualiszation API for Self-Driving Cars, 2017
Heithoff, Malte: Model Checking of Self-Driving Cars Requirements against its Implementation, 2017
Ronck, Jean-Marc: Creation of a Multi-User Online IDE for Domain-Specific Languages, 2017
Shumeiko, Igor: Strategies to Reduce Variable Unfoldings in I/O-EFA Simulation Preorder Algorithm, 2017
Bajana, Christian: Transformation von Simulink Stateflow Charts zu erweiterten endlichen Eingabe-/Ausgabeautomaten, 2016
Ernst, David: Transformation von MontiArc-Modellen zu Kontrollflussgraphen, 2016
Parashin, Vladimir: Fast Simulation Preorder Algorithm for Input/Output Extended Finite Automata, 2016
Tolksdorf, Severin: Kontrollflussgraphenanalyse für das Verifikationstool, 2016
Strodthoff, Nicolai: Strukturelle Analysen von MontiArc-Modellen mittels Z3-Solver, 2016
Kogaj, Alexander: Formalisierung von Anforderungen zur Verhaltenskompatibilitätsprüfung, 2016
Brunecker, Stefan: Transforming Simulink Models to MontiArc Models, 2016
Tabone, Luca: Auflösen syntaktischer Konflikte während der Delta-Modellierung auf Basis der Semantik von FeatureDiagramm- und Delta-Sprachen, 2015

Supervised Seminar Topics

Tabone, Luca: Feature Diagrams: A Survey and a Formal Semantics, 2015
Deuster, Yannick: Comparing Different Algorithms Computing Maximal (Strong) Bisimulation, 2015
Basavarajappa, Namitha Raj: Metrics for Non-Functional Requirements, 2015
Kesmez, Deniz: Arduino Simulatoren, 2016
Kulikov, Ilya: Different tracking methods for model cars in scale 1:58, 2016
Kasyanov, Anton: Usage of Fast R-CNN for Model Cars in Scale 1:58, 2016
Mokhtarian, Armin: OpenSimulator -- A tool to create your own city, street and car, 2016
Müller, Jonathan: Generative Softwareentwicklung mit MontiCore -- Entwicklung einer einfachen domänenspezifischen Sprache zur Formalisierung von Erfüllbarkeitsproblemen, 2016
Harisha, Pooja: MontiArc -- A modelling language for C&C models, 2016
Hellwig, Alexander: Intelligent Autocompletion of MontiArc Models in Cloud9-IDE, 2016
Huppertz, Martin: SymbolTable Concepts for MontiArc, 2016
Mohanty, Punit: Parser Error Recovery Techniques in ANTLR, 2016
Mades, Mirko: Syntax Highlighting for MontiArc in Cloud9-IDE, 2016
Lüger, Markus: How to Visitor Patterns to automatically generate Outline for MontiArc models, 2016
Netz, Lukas: Generating SVG Output files using Freemarker Engine, 2016
Conraths, Thomas: Comparing different Layout Algorithms for C&C models, 2016
Kehrbusch, Philipp: What is concrete and abstract syntax?, 2016
Rahman, Khan Hafizur: Architecture Analysis & Design Language (AADL), 2017
Hayat, Umair Abbas: Modelica, 2017
Hellwig, Alexander: SysML, 2017
Dalgic, Baran: Simulink, 2017
Eeckels, Gregor: extensible Architecture Description Language for Software and Systems (xADL), 2017
Ilov, Petro: Clone Detection, 2018
Mokhtarian, Armin: 3D Modeling Using EmbeddedMontiArcMath, 2018
Schneiders, Sascha: Modular and Optimized C++ Code-Generator for the Component and Connector Modeling Language MontiCAR, 2018
Mehlan, Ferdinand: Improvements to OCL Implementation within the Monti-Core workbench, 2018
Ronck, Jean-Marc: Creating a Multi-User Online-IDE without any server backend, 2018
Kahlert, Fabian: Concepts to Extend the EmbeddedMontiArc Language Family with EmbeddedMontiArcApplication, 2018
Schneiders, Sascha: Generator Composition Concepts for Extending the EmbeddedMontiArc Language Family with EmbeddedMontiArcApplication, 2018
Heithoff, Malte: Case Study on EmbeddedMontiArc Language for PacMan, 2018
Haller, Philipp: Case Study on EmbeddedMontiArc Language for SuperMario, 2018
Mehlan, Ferdinand: Modellierung eines Wetterballons, 2018