Author Info
Name
Affiliation
Papers
PRADEEP K. NALLA
University of Tübingen, Tübingen, Germany
4
Collaborators
Citations 
PageRank 
12
16
1.82
Referers 
Referees 
References 
40
112
58
Search Limit
100112
Title
Citations
PageRank
Year
Semiformal verification of temporal properties in automotive hardware dependent software70.502009
Verification of temporal properties in automotive embedded software80.602008
Distributed Symbolic Bounded Property Checking10.372006
Fast falsification based on symbolic bounded property checking00.342006