Exploring the worst-case timing of Ethernet AVB for industrial applications | 2 | 0.44 | 2012 |
Learning early-stage platform dimensioning from late-stage timing verification | 2 | 0.38 | 2009 |
System level performance analysis for real-time automotive multicore and network architectures | 24 | 1.10 | 2009 |
Timing Validation of Automotive Software | 8 | 0.49 | 2008 |
How Timing Interfaces in AUTOSAR can Improve Distributed Development of Real-Time Software | 4 | 0.78 | 2008 |
Automotive Software Integration | 7 | 0.71 | 2007 |
A framework for modular analysis and exploration of heterogeneous embedded systems | 27 | 1.40 | 2006 |
How OEMs and Suppliers can face the Network Integration Challenges | 2 | 0.48 | 2006 |
Performance Analysis For Complex Embedded Applications | 22 | 1.61 | 2005 |
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme | 0 | 0.34 | 2005 |
Early Architecture Exploration with SymTA/S | 1 | 0.41 | 2005 |
Design Space Exploration and System Optimization with SymTA/S " Symbolic Timing Analysis for Systems | 27 | 1.64 | 2004 |
Calculating Task Output Event Models to Reduce Distributed System Cost. | 2 | 0.45 | 2004 |
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC | 35 | 1.99 | 2003 |
A Formal Approach to MpSoC Performance Verification | 62 | 4.09 | 2003 |
Formal Methods for Integration of Automotive Software | 11 | 1.13 | 2003 |
Certifiable Software-Integration for Engine Electronics. | 0 | 0.34 | 2003 |
Event Model Interfaces for Heterogeneous System Analysis | 43 | 4.40 | 2002 |
Local Constraint Derivation for Platform-Based Design. | 0 | 0.34 | 2002 |
Modellierung rekonfigurierbarer Systemarchitekturen. | 0 | 0.34 | 2002 |
System design for flexibility | 14 | 0.89 | 2002 |
Transformation of SDL specifications for system-level timing analysis | 3 | 0.60 | 2002 |
Flexibility/Cost-Tradeoffs of Platform-Based Systems | 3 | 0.47 | 2002 |
Bottom-Up Performance Analysis of HW/SW Platforms | 4 | 0.43 | 2002 |
SPI: a system model for heterogeneously specified embedded systems | 21 | 2.19 | 2002 |
Model composition for scheduling analysis in platform design | 31 | 3.23 | 2002 |
Combining Complex Event Models and Timing Constraints | 2 | 1.08 | 2001 |
Interval-Based Analysis of Software Processes | 5 | 0.74 | 2001 |
Combining multiple models of computation for scheduling and allocation | 22 | 2.16 | 1998 |