| Strategies and Best Practices for MBSE Adoption in Embedded Systems Industry. | 0 | 0.34 | 2020 |
| Strategies and best practices for model-based systems engineering adoption in embedded systems industry | 1 | 0.39 | 2019 |
| Stepwise Refinement of Data Flow Architectures. | 3 | 0.48 | 2014 |
| Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse. | 0 | 0.34 | 2013 |
| ISO 26262 - Tool chain analysis reduces tool qualification costs. | 0 | 0.34 | 2012 |
| Determining potential errors in tool chains: strategies to reach tool confidence according to ISO 26262 | 1 | 0.38 | 2012 |
| Model-Based Safety-Cases for Software-Intensive Systems | 2 | 0.50 | 2009 |
| From Component Models to Function Nets? | 0 | 0.34 | 2007 |
| Methodological Issues in Model-Based Testing | 40 | 2.36 | 2004 |
| Model based testing in incremental system development | 9 | 0.79 | 2004 |
| Model-Based Test Case Generation for Smart Cards | 21 | 1.60 | 2003 |
| Model Based Testing in Evolutionary Software Development | 10 | 0.79 | 2001 |
| Model Checking and Random Competition - A Study Using the Model Checking Framework MIC | 1 | 0.37 | 2000 |
| Diagrams for Dataflow | 6 | 0.60 | 2000 |
| Step by Step to Histories | 13 | 0.84 | 2000 |
| Refinement of Pipe-and-Filter Architectures. | 16 | 1.05 | 1999 |
| The Quest for Correct Systems: Model Checking of Diagrams and Datatypes | 11 | 1.19 | 1999 |
| Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken | 2 | 0.53 | 1999 |
| Entwurf verteilter Systeme im Sonderforschungsbereich 342 | 0 | 0.34 | 1999 |
| Formal Verification and Hardware Design with Statecharts | 0 | 0.34 | 1998 |
| Refinement of Information Flow Architectures. | 18 | 1.45 | 1997 |
| Formal Verification of Statecharts with Instantaneous Chain Reaction | 8 | 0.76 | 1997 |
| Focus | 0 | 0.34 | 1995 |
