Abstract is missing.
- Model Driven Automation Engineering - Characteristics and ChallengesMichael Schlereth, Sebastian Rose, Andy Schürr. 1-15 [doi]
- Modellgetriebene Entwicklung von AutomatisierungssystemenMathias Maurmaier, Peter Göhner. 16-25 [doi]
- Semantic-Preserving Test Model Transformationsfor Interchangeable Coverage CriteriaStephan Weißleder. 26-35 [doi]
- Variantenmodellierung und -konfiguration eingebetteter automotive Software mit SimulinkChristian Dziobek, Jens Weiland. 36-45 [doi]
- Using Models for Dynamic System Diagnosis: A Case Study in Automotive EngineeringOliver Niggemann, Benno Stein, Thomas Spanuth, Heinrich Balzer. 46-56 [doi]
- Domain-specific Modeling, Validation, and Verification of Railway Control SystemsKirsten Mewes. 57-66 [doi]
- Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige EntwicklungsschritteKarsten Schmidt, Philipp Janda. 67-74 [doi]
- Feature-basierte Modellierung und Verarbeitung von Produktlinien am Beispiel eingebetteter SoftwareChristian Berger, Holger Krahn, Holger Rendel, Bernhard Rumpe. 75-81 [doi]
- Automatische Analyse und Generierung von AUTOSAR-KonfigurationsdatenJan Meyer, Wilhelm Schäfer. 82-91 [doi]
- Modellbasierte Entwicklung in der ProzessautomatisierungUlrich Epple. 92-102 [doi]
- Partial Order Algorithms for Model-based Diagnosis of Discrete Event SystemsDennis Klar, Michaela Huhn. 103-114 [doi]
- Structural Analysis of Safety Case Arguments in a Model-based Development EnvironmentAxel Zechner, Michaela Huhn. 115-127 [doi]
- Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event SimulationArmin Zimmermann, Jan Trowitzsch. 128-139 [doi]
- From Constraints to Design Space ExplorationBernhard Schätz, Florian Hölzl, Torbjörn Lundkvist. 140-154 [doi]
- Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model SynchronizationHolger Giese, Stephan Hildebrandt, Stefan Neumann. 155-164 [doi]
- A textual domain specific language for AUTOSARAndreas Graf, Markus Völter. 165-170 [doi]
- Demonstrating IEC 61508 Compliance in Model-Based DesignInes Fey, Mirko Conrad. 171-181 [doi]
- An Executable and Extensible Formal Semantics for UML-RTStefan Leue, Wei Wei. 182-188 [doi]
- TUDOOR - Ein Java Adapter für Telelogic DOORSJae-Won Choi, Anna Trögel, Ingo Stürmer. 189-194 [doi]