Michael von Wenckstern

23 papers A 2B 3C 4Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — conf
Improving the Model-Based Systems Engineering Process.
Denert Award
Michael von Wenckstern
2020 — —
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems.
Michael von Wenckstern
2019 J jnl
SMArDT modeling for automotive software testing.
Softw. Pract. Exp.
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
2018 C conf
Component and Connector Views in Practice.
Software Engineering
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2018 — conf
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration).
MoDELS (Workshops)
Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern
2018 C conf
Fast Simulation Preorder Algorithm.
MODELSWARD
Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern
2018 A conf
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc.
MoDELS
Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern
2018 C conf
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology.
MODELSWARD
Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern
2018 — conf
Teaching Playground for C&C Language EmbeddedMontiArc.
MoDELS (Workshops)
Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern
2017 J jnl
Anforderungsverikation von Komponenten- und Konnektormodellen am Beispiel autonom fahrender Autos.
Softwaretechnik-Trends
Malte Heithoff, Bernhard Rumpe, Michael von Wenckstern
2017 A conf
Component and Connector Views in Practice: An Experience Report.
MoDELS
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 B conf
Modeling Architectures of Cyber-Physical Systems.
ECMFA
Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
MoDELS (Satellite Events)
Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles.
MoDELS (Satellite Events)
Filippo Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
2016 — conf
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
ModComp@MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2016 C conf
Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien.
Software Engineering (Workshops)
Michael Czaplik, Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe, Verena Voigt, Michael von Wenckstern, Andreas Wortmann
2016 — conf
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
OCL@MoDELS
Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern
2016 — conf
Extendable Toolchain for Automatic Compatibility Checks.
OCL@MoDELS
Vincent Bertram, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
2016 — conf
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.
Modellierung
Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern
2016 J jnl
MontiMatcher: Ähnlichkeitsanalyse- Framework zur Produktlinienextraktion und Evolutionsüberwachung.
Softwaretechnik-Trends
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern
2016 B conf
Test-driven semantical similarity analysis for software product line extraction.
SPLC
Johannes Richenhagen, Bernhard Rumpe, Axel Schloßer, Christoph Schulze, Kevin Thissen, Michael von Wenckstern
2015 J jnl
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution.
CoRR
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart
2015 B conf
Behavioral compatibility of simulink models for product line maintenance and evolution.
SPLC
Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart