Testing Implementation Soundness of a WCET Analysis Tool. | 0 | 0.34 | 2021 |
TimeWeaver - A Tool for Hybrid Worst-Case Execution Time Analysis. | 0 | 0.34 | 2019 |
Testing agile requirements models. | 2 | 0.43 | 2014 |
Confidence in Timing. | 0 | 0.34 | 2013 |
Meeting real-time requirements with multi-core processors | 3 | 0.39 | 2012 |
Semi-automatic derivation of timing models for WCET analysis | 4 | 0.42 | 2010 |
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems | 112 | 4.02 | 2009 |
Timing Validation of Automotive Software | 8 | 0.49 | 2008 |
Combining Structural and Functional Test Case Generation | 2 | 0.39 | 2008 |
Tool-support for the analysis of hybrid systems and models | 25 | 1.23 | 2007 |
A Framework for Static Analysis of VHDL Code | 5 | 0.46 | 2007 |
Model-Based Requirements Engineering with AutoRAID | 10 | 1.66 | 2005 |
Anforderungsanalyse in der modellbasierten Entwicklung am Beispiel von AutoFocus. | 0 | 0.34 | 2004 |