Travelled to:
1 × Greece
2 × France
2 × Germany
4 × USA
Collaborated with:
R.Ernst M.Jersak D.Ziegenbein J.Teich F.Wolf C.Heidinger K.Böhm E.Buchmann R.Racu A.Hamann C.Haubelt L.Thiele J.Braam Z.Jiang
Talks about:
softwar (3) analysi (3) system (3) integr (3) platform (2) automot (2) design (2) stage (2) model (2) exploratori (1)
Person: Kai Richter
DBLP: Richter:Kai
Contributed to:
Wrote 10 papers:
- CAiSE-2014-HeidingerBBR #framework #named #towards
- FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing — Exploratory Paper (CH, KB, EB, KR), pp. 120–135.
- DATE-2009-RichterJE #framework #learning #verification
- Learning early-stage platform dimensioning from late-stage timing verification (KR, MJ, RE), pp. 851–857.
- DAC-2007-RacuHER #integration
- Automotive Software Integration (RR, AH, RE, KR), pp. 545–550.
- DATE-DF-2006-RichterE #challenge #how #integration #network
- How OEMs and suppliers can face the network integration challenges (KR, RE), pp. 183–188.
- DATE-2003-JersakREBJW #formal method #integration
- Formal Methods for Integration of Automotive Software (MJ, KR, RE, JCB, ZYJ, FW), pp. 20045–20050.
- DAC-2002-RichterZJE #analysis #composition #design #framework #platform #scheduling
- Model composition for scheduling analysis in platform design (KR, DZ, MJ, RE), pp. 287–292.
- DATE-2002-HaubeltTRE #design #flexibility
- System Design for Flexibility (CH, JT, KR, RE), pp. 854–861.
- DATE-2002-RichterE #analysis #interface
- Event Model Interfaces for Heterogeneous System Analysis (KR, RE), pp. 506–513.
- LCTES-OM-2001-ZiegenbeinWRJE #analysis #process
- Interval-Based Analysis of Software Processes (DZ, FW, KR, MJ, RE), pp. 94–101.
- DAC-1999-RichterZETT #embedded #optimisation #representation #synthesis
- Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.