![]() |
Dr. rer.-nat. Dipl.-Math.
Software Engineering |
Quick Links: Research Interests ■ Publications ■ Certificates ■ Supervised Bachelor/Master Thesis ■ Supervised Seminar Topics ■ Tools/Videos
Research Prototype
EmbeddedMontiArc
Modeling Language for Cyber-Physical Systems
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.
- [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.
- [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.
- [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.
- [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.
- [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.
- [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 |
Github link to Agricola board game (you can play there online)
-
Michael von Wenckstern
Kurze Beschreibung des Advanced Encryption Standard [DE]
PDF
- Ö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
- 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
Certificates
Certified Tester | Certified Scrum Master |
Supervised Bachelor/Master Thesis
Supervised Seminar Topics
Tools/Videos
Overview Video of EmbeddedMontiArcStudioComponent and Connectors Views: Definition, Verification, Witnesses
Defining Semantics of Extra-Functional-Properties in Component and Connector Models with OCL
Short introduction for EmbeddedMontiMath and how to generate C++ code
HaxPro: High Altitude eXploration Probe ("Hot Air Balloon measuring Weather Data": Chip Desgin, Frequency Testing, Test Flight)
Controlling a Self-Driving Car with MontiArc
Bounded Model Checking of Self-Driving Cars Requirements against its Implementation
Multi User Online IDE for DSLs on the example language MontiArc
Simulating Platoon with 10 Cars
3D-Simulation of Autonomous Driving Vehicles -- Technology Overview
3D-Simulation of Autonomous Driving Vehicles -- Driving at Sun and Daytime
3D-Simulation of Autonomous Driving Vehicles -- Driving at Rain and at Night
Transformation Tool for Simulink Models to MontiArc Models