Travelled to:1 × Germany
1 × USA
2 × France
Collaborated with:J.Ruf T.Kropf W.Rosenstiel D.Lettnin V.Schönknecht S.Reitemeyer A.Mishchenko N.Eén R.K.Brayton J.Baumgartner H.Mony P.M.Peranandam R.J.Weiss T.Kirsten J.Behrend J.Gerlach
Talks about:properti (3) softwar (2) automot (2) tempor (2) verif (2) semiform (1) abstract (1) revisit (1) hardwar (1) symbol (1)
Person: Pradeep Kumar Nalla
DBLP: Nalla:Pradeep_Kumar
Contributed to:
201320092008
2006Wrote 4 papers:
- DATE-2013-MishchenkoEBBMN #abstraction #named #revisited
- GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.
- 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.
- DAC-2006-PeranandamNRWKR #bound #performance
- Fast falsification based on symbolic bounded property checking (PMP, PKN, JR, RJW, TK, WR), pp. 1077–1082.