default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael von Wenckstern
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[b1]Michael von Wenckstern:
Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems. RWTH Aachen University, Germany, Aachener Informatik-Berichte, Software Engineering 44, Shaker 2020, ISBN 978-3-8440-7239-6, pp. 1-467- [c18]Michael von Wenckstern:
Improving the Model-Based Systems Engineering Process. Denert Award 2020: 249-273
2010 – 2019
- 2019
- [j3]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:
SMArDT modeling for automotive software testing. Softw. Pract. Exp. 49(2): 301-328 (2019) - 2018
- [c17]Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern:
Teaching Playground for C&C Language EmbeddedMontiArc. MoDELS (Workshops) 2018: 25-30 - [c16]Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern:
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration). MoDELS (Workshops) 2018: 263-265 - [c15]Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern:
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc. MoDELS 2018: 447-457 - [c14]Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern:
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology. MODELSWARD 2018: 163-178 - [c13]Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern:
Fast Simulation Preorder Algorithm. MODELSWARD 2018: 256-267 - [c12]Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice. Software Engineering 2018: 97-99 - 2017
- [j2]Malte Heithoff, Bernhard Rumpe, Michael von Wenckstern:
Anforderungsverikation von Komponenten- und Konnektormodellen am Beispiel autonom fahrender Autos. Softwaretechnik-Trends 37(2) (2017) - [c11]Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern:
Modeling Architectures of Cyber-Physical Systems. ECMFA 2017: 34-50 - [c10]Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. MoDELS (Satellite Events) 2017: 24-30 - [c9]Filippo Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern:
Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles. MoDELS (Satellite Events) 2017: 109-115 - [c8]Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice: An Experience Report. MoDELS 2017: 167-177 - 2016
- [j1]Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern:
MontiMatcher: Ähnlichkeitsanalyse- Framework zur Produktlinienextraktion und Evolutionsüberwachung. Softwaretechnik-Trends 36(2) (2016) - [c7]Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern:
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models. Modellierung 2016: 109-116 - [c6]Vincent Bertram, Bernhard Rumpe, Michael von Wenckstern:
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL. OCL@MoDELS 2016: 17-32 - [c5]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp@MoDELS 2016: 19-24 - [c4]Vincent Bertram, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern:
Extendable Toolchain for Automatic Compatibility Checks. OCL@MoDELS 2016: 49-56 - [c3]Michael Czaplik, Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe, Verena Voigt, Michael von Wenckstern, Andreas Wortmann:
Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien. Software Engineering (Workshops) 2016: 195-200 - [c2]Johannes Richenhagen, Bernhard Rumpe, Axel Schloßer, Christoph Schulze, Kevin Thissen, Michael von Wenckstern:
Test-driven semantical similarity analysis for software product line extraction. SPLC 2016: 174-183 - 2015
- [c1]Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart:
Behavioral compatibility of simulink models for product line maintenance and evolution. SPLC 2015: 141-150 - [i1]Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern, Jan Oliver Ringert, Peter Manhart:
Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution. CoRR abs/1511.05358 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
