Travelled to:1 × France
1 × Germany
Collaborated with:D.Lettnin P.K.Nalla J.Ruf T.Kropf W.Rosenstiel V.Schönknecht T.Kirsten J.Behrend J.Gerlach
Talks about:properti (2) softwar (2) automot (2) tempor (2) verif (2) semiform (1) hardwar (1) depend (1) embed (1)
Person: Stephan Reitemeyer
DBLP: Reitemeyer:Stephan
Contributed to:
20092008Wrote 2 papers:
- DATE-2009-LettninNBRGKRSR #hardware #verification
- Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.
- DATE-2008-LettninNRKRKSR #embedded #verification
- Verification of Temporal Properties in Automotive Embedded Software (DL, PKN, JR, TK, WR, TK, VS, SR), pp. 164–169.