Kai Richter

Affiliations:
  • University of Braunschweig, Germany


According to our database1, Kai Richter authored at least 35 papers between 1998 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Exploring the worst-case timing of Ethernet AVB for industrial applications.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2009
System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Learning early-stage platform dimensioning from late-stage timing verification.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Timing Validation of Automotive Software.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
Automotive Software Integration.
Proceedings of the 44th Design Automation Conference, 2007

2006
A framework for modular analysis and exploration of heterogeneous embedded systems.
Real Time Syst., 2006

How OEMs and suppliers can face the network integration challenges.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

2005
Compositional scheduling analysis using standard event models: the SymTA/S approach.
PhD thesis, 2005

Performance analysis for complex embedded applications.
Int. J. Embed. Syst., 2005

Early Architecture Exploration with SymTA/S.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004
Interval-based analysis in embedded system design.
Math. Comput. Simul., 2004

Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Calculating Task Output Event Models to Reduce Distributed System Cost.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003
A Formal Approach to MpSoC Performance Verification.
Computer, 2003

Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Certifiable Software-Integration for Engine Electronics.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Formal Methods for Integration of Automotive Software.
Proceedings of the 2003 Design, 2003

Formal Methods for Integration of Automotive Software.
Proceedings of the Embedded Software for SoC, 2003

2002
SPI - a system model for heterogeneously specified embedded systems.
IEEE Trans. Very Large Scale Integr. Syst., 2002

Flexibility/Cost-Tradeoffs of Platform-Based Systems.
Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

SPI - Workbench für die Analyse Eingebetteter Systeme.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

Local Constraint Derivation for Platform-Based Design.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Modellierung rekonfigurierbarer Systemarchitekturen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Bottom-Up Performance Analysis of HW/SW Platforms.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Event Model Interfaces for Heterogeneous System Analysis.
Proceedings of the 2002 Design, 2002

System Design for Flexibility.
Proceedings of the 2002 Design, 2002

Model composition for scheduling analysis in platform design.
Proceedings of the 39th Design Automation Conference, 2002

Transformation of SDL specifications for system-level timing analysis.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001
Interval-Based Analysis of Software Processes.
Proceedings of The Workshop on Languages, 2001

Combining complex event models and timing constraints.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

1999
SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Representation of Function Variants for Embedded System Optimization and Synthesis.
Proceedings of the 36th Conference on Design Automation, 1999

1998
Representation of process mode correlation for scheduling.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Combining multiple models of computation for scheduling and allocation.
Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998


  Loading...