Travelled to:2 × Germany
3 × France
Collaborated with:W.Rosenstiel J.Ruf T.Kropf J.Gerlach J.Behrend A.Braun O.Bringmann P.K.Nalla V.Schönknecht S.Reitemeyer A.G.Braun M.Bogdan P.Heckeler T.Kirsten
Talks about:verif (4) softwar (3) embed (3) properti (2) automot (2) tempor (2) synthesi (1) semiform (1) interfac (1) scalabl (1)
Person: Djones Lettnin
DBLP: Lettnin:Djones
Contributed to:
20112010200920082004Wrote 5 papers:
- DATE-2011-BehrendLHRKR #embedded #hybrid #scalability #verification
- Scalable hybrid verification for embedded software (JB, DL, PH, JR, TK, WR), pp. 179–184.
- DATE-2010-BraunBLR #interface #specification #verification
- Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.
- 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.
- DATE-DF-2004-LettninBBGR #case study #design #embedded #network #synthesis
- Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks (DL, AGB, MB, JG, WR), pp. 248–255.