dblp.uni-trier.dewww.uni-trier.de

Pradeep Kumar Nalla

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEDjones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169
4EEPradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal: Design of Concurrent Utilities in Jackal: A Software DSM Implementation. ICDCN 2008: 176-181
2007
3EEPradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Grid Based Fast Falsification For Bounded Property Checking. FDL 2007: 299-304
2006
2EEPrakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Fast falsification based on symbolic bounded property checking. DAC 2006: 1077-1082
1EEPradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)

Coauthor Index

1Arun Agarwal [4]
2Jörg Behrend [3]
3Tobias Kirsten [5]
4Thomas Kropf [1] [2] [3] [5]
5Djones Lettnin [5]
6Prakash Mohan Peranandam [1] [2] [3]
7Stephan Reitemeyer [5]
8Wolfgang Rosenstiel [1] [2] [3] [5]
9Jürgen Ruf [1] [2] [3] [5]
10Volker Schonknecht [5]
11Rajeev Wankar [4]
12Roland J. Weiss (Roland Weiss) [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)