Name
Affiliation
Papers
KAI RICHTER
Symtavis GmbH, Braunschweig, Germany
29
Collaborators
Citations 
PageRank 
38
384
34.65
Referers 
Referees 
References 
671
338
304
Search Limit
100671
Title
Citations
PageRank
Year
Exploring the worst-case timing of Ethernet AVB for industrial applications20.442012
Learning early-stage platform dimensioning from late-stage timing verification20.382009
System level performance analysis for real-time automotive multicore and network architectures241.102009
Timing Validation of Automotive Software80.492008
How Timing Interfaces in AUTOSAR can Improve Distributed Development of Real-Time Software40.782008
Automotive Software Integration70.712007
A framework for modular analysis and exploration of heterogeneous embedded systems271.402006
How OEMs and Suppliers can face the Network Integration Challenges20.482006
Performance Analysis For Complex Embedded Applications221.612005
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme00.342005
Early Architecture Exploration with SymTA/S10.412005
Design Space Exploration and System Optimization with SymTA/S " Symbolic Timing Analysis for Systems271.642004
Calculating Task Output Event Models to Reduce Distributed System Cost.20.452004
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC351.992003
A Formal Approach to MpSoC Performance Verification624.092003
Formal Methods for Integration of Automotive Software111.132003
Certifiable Software-Integration for Engine Electronics.00.342003
Event Model Interfaces for Heterogeneous System Analysis434.402002
Local Constraint Derivation for Platform-Based Design.00.342002
Modellierung rekonfigurierbarer Systemarchitekturen.00.342002
System design for flexibility140.892002
Transformation of SDL specifications for system-level timing analysis30.602002
Flexibility/Cost-Tradeoffs of Platform-Based Systems30.472002
Bottom-Up Performance Analysis of HW/SW Platforms40.432002
SPI: a system model for heterogeneously specified embedded systems212.192002
Model composition for scheduling analysis in platform design313.232002
Combining Complex Event Models and Timing Constraints21.082001
Interval-Based Analysis of Software Processes50.742001
Combining multiple models of computation for scheduling and allocation222.161998