Pradeep Kumar Nalla Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla: GLA: gate-level abstraction revisited. DATE 2013: 1399-1404
2009
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer: Semiformal verification of temporal properties in automotive hardware dependent software. DATE 2009: 1214-1217
2008
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pradeep Kumar Nalla: Efficient distributed bounded property checking. Eberhard Karls University of Tübingen 2008, pp. 1-155
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal: Design of Concurrent Utilities in Jackal: A Software DSM Implementation. ICDCN 2008: 176-181
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pradeep 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
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel: Semiformal Verification of Temporal Properties in Embedded Software. MBMV 2007: 19-28
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pradeep 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)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prakash 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
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Overlap reduction in symbolic system traversal. HLDVT 2005: 145-152

Coauthor Index

1Arun Agarwal
[c5]
2Jason Baumgartner
[c8]
3Jörg Behrend
[c7] [c4]
4Axel G. Braun
[c3]
5Robert K. Brayton
[c8]
6Niklas Eén
[c8]
7Joachim Gerlach
[c7] [c3]
8Tobias Kirsten
[c6]
9Thomas Kropf
[c7] [c6] [c4] [c3] [j1] [c2] [c1]
10Djones Lettnin
[c7] [c6] [c3]
11Alan Mishchenko
[c8]
12Hari Mony
[c8]
13Prakash Mohan Peranandam
[c4] [j1] [c2] [c1]
14Stephan Reitemeyer
[c7] [c6]
15Wolfgang Rosenstiel
[c7] [c6] [c4] [c3] [j1] [c2] [c1]
16Jürgen Ruf
[c7] [c6] [c4] [c3] [j1] [c2] [c1]
17Volker Schönknecht
[c7] [c6]
18Rajeev Wankar
[c5]
19Roland J. Weiss (Roland Weiss)
[c3] [j1] [c2] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 13:07:46 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page