Kai Richter

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Exploring the worst-case timing of Ethernet AVB for industrial applications.

Jonas Diemer, Jonas Rox, Rolf Ernst, Feng Chen, Karl-Theo Kremer, Kai Richter

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.

Simon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, Rolf Ernst

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Learning early-stage platform dimensioning from late-stage timing verification.

Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Timing Validation of Automotive Software.

Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Automotive Software Integration.

Razvan Racu, Arne Hamann, Rolf Ernst, Kai Richter

Proceedings of the 44th Design Automation Conference, 2007

2006

A framework for modular analysis and exploration of heterogeneous embedded systems.

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst

Real Time Syst., 2006

How OEMs and suppliers can face the network integration challenges.

Kai Richter, Rolf Ernst

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.

Kai Richter

PhD thesis, 2005

Performance analysis for complex embedded applications.

Marek Jersak, Kai Richter, Rolf Ernst

Int. J. Embed. Syst., 2005

Early Architecture Exploration with SymTA/S.

Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.

Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Interval-based analysis in embedded system design.

Marek Jersak, Kai Richter, Rolf Ernst

Math. Comput. Simul., 2004

Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Calculating Task Output Event Models to Reduce Distributed System Cost.

Razvan Racu, Kai Richter, Rolf Ernst

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003

A Formal Approach to MpSoC Performance Verification.

Kai Richter, Marek Jersak, Rolf Ernst

Computer, 2003

Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC.

Kai Richter, Razvan Racu, Rolf Ernst

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Certifiable Software-Integration for Engine Electronics.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the 2003 Design, 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam, Fabian Wolf

Proceedings of the Embedded Software for SoC, 2003

2002

SPI - a system model for heterogeneously specified embedded systems.

Dirk Ziegenbein, Kai Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich

IEEE Trans. Very Large Scale Integr. Syst., 2002

Flexibility/Cost-Tradeoffs of Platform-Based Systems.

Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst

Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

SPI - Workbench für die Analyse Eingebetteter Systeme.

Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

Local Constraint Derivation for Platform-Based Design.

Kai Richter, Rolf Ernst, Wayne H. Wolf

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

Modellierung rekonfigurierbarer Systemarchitekturen.

Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst

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

Bottom-Up Performance Analysis of HW/SW Platforms.

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

Event Model Interfaces for Heterogeneous System Analysis.

Kai Richter, Rolf Ernst

Proceedings of the 2002 Design, 2002

System Design for Flexibility.

Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst

Proceedings of the 2002 Design, 2002

Model composition for scheduling analysis in platform design.

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst

Proceedings of the 39th Design Automation Conference, 2002

Transformation of SDL specifications for system-level timing analysis.

Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Interval-Based Analysis of Software Processes.

Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

Combining complex event models and timing constraints.

Marek Jersak, Kai Richter, Rolf Ernst

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.

Dirk Ziegenbein, Kai Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich

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.

Kai Richter, Dirk Ziegenbein, Rolf Ernst, Lothar Thiele, Jürgen Teich

Proceedings of the 36th Conference on Design Automation, 1999

1998

Representation of process mode correlation for scheduling.

Dirk Ziegenbein, Kai Richter, Rolf Ernst, Jürgen Teich, Lothar Thiele

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Combining multiple models of computation for scheduling and allocation.

Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jürgen Teich, Lothar Thiele

Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998