Kai Richter

36 papers A* 3A 7C 2Journal 6Unranked 16
YearRankTypeTitle / Venue / Authors
2012 C conf
Exploring the worst-case timing of Ethernet AVB for industrial applications.
IECON
Jonas Diemer, Jonas Rox, Rolf Ernst, Feng Chen, Karl-Theo Kremer, Kai Richter
2009 A conf
Learning early-stage platform dimensioning from late-stage timing verification.
DATE
Kai Richter, Marek Jersak, Rolf Ernst
2009 J jnl
System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Simon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, Rolf Ernst
2008 C conf
Timing Validation of Automotive Software.
ISoLA
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
2007 A* conf
Automotive Software Integration.
DAC
Razvan Racu, Arne Hamann, Rolf Ernst, Kai Richter
2006 J jnl
A framework for modular analysis and exploration of heterogeneous embedded systems.
Real Time Syst.
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
2006 — conf
How OEMs and suppliers can face the network integration challenges.
DATE Designers' Forum
Kai Richter, Rolf Ernst
2005 — —
Compositional scheduling analysis using standard event models: the SymTA/S approach.
Kai Richter
2005 — conf
Early Architecture Exploration with SymTA/S.
MBEES
Kai Richter, Marek Jersak, Rolf Ernst
2005 J jnl
Performance analysis for complex embedded applications.
Int. J. Embed. Syst.
Marek Jersak, Kai Richter, Rolf Ernst
2005 — conf
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.
GI Jahrestagung (2)
Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele
2004 — conf
Calculating Task Output Event Models to Reduce Distributed System Cost.
MBMV
Razvan Racu, Kai Richter, Rolf Ernst
2004 A conf
Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.
RTSS
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
2004 J jnl
Interval-based analysis in embedded system design.
Math. Comput. Simul.
Marek Jersak, Kai Richter, Rolf Ernst
2003 J jnl
A Formal Approach to MpSoC Performance Verification.
Computer
Kai Richter, Marek Jersak, Rolf Ernst
2003 — conf
Certifiable Software-Integration for Engine Electronics.
MBMV
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
2003 — ch.
Formal Methods for Integration of Automotive Software.
Embedded Software for SoC
Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam, Fabian Wolf
2003 A conf
Formal Methods for Integration of Automotive Software.
DATE
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
2003 A conf
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC.
RTSS
Kai Richter, Razvan Racu, Rolf Ernst
2002 — conf
Bottom-Up Performance Analysis of HW/SW Platforms.
DIPES
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
2002 A conf
Event Model Interfaces for Heterogeneous System Analysis.
DATE
Kai Richter, Rolf Ernst
2002 — conf
Flexibility/Cost-Tradeoffs of Platform-Based Systems.
Embedded Processor Design Challenges
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst
2002 — conf
Local Constraint Derivation for Platform-Based Design.
MBMV
Kai Richter, Rolf Ernst, Wayne H. Wolf
2002 A* conf
Model composition for scheduling analysis in platform design.
DAC
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
2002 — conf
Modellierung rekonfigurierbarer Systemarchitekturen.
MBMV
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst
2002 — conf
SPI - Workbench für die Analyse Eingebetteter Systeme.
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen
Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich
2002 J jnl
SPI - a system model for heterogeneously specified embedded systems.
IEEE Trans. Very Large Scale Integr. Syst.
Dirk Ziegenbein, Kai Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich
2002 A conf
System Design for Flexibility.
DATE
Christian Haubelt, Jürgen Teich, Kai Richter, Rolf Ernst
2002 — conf
Transformation of SDL specifications for system-level timing analysis.
CODES
Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka
2001 — conf
Combining complex event models and timing constraints.
HLDVT
Marek Jersak, Kai Richter, Rolf Ernst
2001 — conf
Interval-Based Analysis of Software Processes.
LCTES/OM
Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst
2001 — conf
Interval-Based Analysis of Software Processes.
OM@PLDI
Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst
1999 A* conf
Representation of Function Variants for Embedded System Optimization and Synthesis.
DAC
Kai Richter, Dirk Ziegenbein, Rolf Ernst, Lothar Thiele, Jürgen Teich
1999 — conf
SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.
MBMV
Dirk Ziegenbein, Kai Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich
1998 — conf
Combining multiple models of computation for scheduling and allocation.
CODES
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jürgen Teich, Lothar Thiele
1998 A conf
Representation of process mode correlation for scheduling.
ICCAD
Dirk Ziegenbein, Kai Richter, Rolf Ernst, Jürgen Teich, Lothar Thiele