Model Driven Automation Engineering - Characteristics and Challenges. [Citation Graph (, )][DBLP]
Modellgetriebene Entwicklung von Automatisierungssystemen. [Citation Graph (, )][DBLP]
Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage Criteria. [Citation Graph (, )][DBLP]
Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink. [Citation Graph (, )][DBLP]
Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering. [Citation Graph (, )][DBLP]
Domain-specific Modeling, Validation, and Verification of Railway Control Systems. [Citation Graph (, )][DBLP]
Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte. [Citation Graph (, )][DBLP]
Feature-basierte Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter Software. [Citation Graph (, )][DBLP]
Automatische Analyse und Generierung von AUTOSAR-Konfigurationsdaten. [Citation Graph (, )][DBLP]
Modellbasierte Entwicklung in der Prozessautomatisierung. [Citation Graph (, )][DBLP]
Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems. [Citation Graph (, )][DBLP]
Structural Analysis of Safety Case Arguments in a Model-based Development Environment. [Citation Graph (, )][DBLP]
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. [Citation Graph (, )][DBLP]
From Constraints to Design Space Exploration. [Citation Graph (, )][DBLP]
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. [Citation Graph (, )][DBLP]
A textual domain specific language for AUTOSAR. [Citation Graph (, )][DBLP]