Michael von Wenckstern

According to our database, Michael von Wenckstern authored at least 22 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems.

Michael von Wenckstern

PhD thesis, 2020

Improving the Model-Based Systems Engineering Process.

Michael von Wenckstern

Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020

2019

SMArDT modeling for automotive software testing.

Imke Drave, Steffen Hillemacher, Timo Greifenberg, Stefan Kriebel, Evgeny Kusmenko, Matthias Markthaler, Philipp Orth, Karin Samira Salman, Johannes Richenhagen, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Andreas Wortmann

Softw. Pract. Exp., 2019

2018

Component and Connector Views in Practice.

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the Software Engineering und Software Management 2018, 2018

Fast Simulation Preorder Algorithm.

Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology.

Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Teaching Playground for C&C Language EmbeddedMontiArc.

Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc.

Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration).

Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

Anforderungsverikation von Komponenten- und Konnektormodellen am Beispiel autonom fahrender Autos.

Malte Heithoff, Bernhard Rumpe, Michael von Wenckstern

Softwaretechnik-Trends, 2017

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.

Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles.

Filippo Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Component and Connector Views in Practice: An Experience Report.

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Modeling Architectures of Cyber-Physical Systems.

Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

MontiMatcher: Ähnlichkeitsanalyse- Framework zur Produktlinienextraktion und Evolutionsüberwachung.

Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern

Softwaretechnik-Trends, 2016

Test-driven semantical similarity analysis for software product line extraction.

Johannes Richenhagen, Bernhard Rumpe, Axel Schloßer, Christoph Schulze, Kevin Thissen, Michael von Wenckstern

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien.

Michael Czaplik, Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe, Verena Voigt, Michael von Wenckstern, Andreas Wortmann

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Consistent Extra-Functional Properties Tagging for Component and Connector Models.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.

Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Extendable Toolchain for Automatic Compatibility Checks.

Vincent Bertram, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.

Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

2015

Behavioral compatibility of simulink models for product line maintenance and evolution.

Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart

Proceedings of the 19th International Conference on Software Product Line, 2015