BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nalla:Pradeep_Kumar

Contributed to:

DATE 20132013
DATE 20092009
DATE 20082008
DAC 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.