Overlap reduction in symbolic system traversal. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Roland J. Weiss; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (HLDVT, 2005)

Distributed Symbolic Bounded Property Checking. - Pradeep Kumar Nalla; Roland J. Weiss; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (PDMC@ICALP, 2005)

Fast falsification based on symbolic bounded property checking. - Prakash Mohan Peranandam; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Thomas Kropf; Wolfgang Rosenstiel (DAC, 2006)

Grid Based Fast Falsification For Bounded Property Checking. - Pradeep Kumar Nalla; Jörg Behrend; Prakash Mohan Peranandam; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (FDL, 2007)

Semiformal Verification of Temporal Properties in Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Axel G. Braun; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

Verification of Temporal Properties in Automotive Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel; Tobias Kirsten; Volker Schönknecht; Stephan Reitemeyer (DATE, 2008)

Design of Concurrent Utilities in Jackal: A Software DSM Implementation. - Pradeep Kumar Nalla; Rajeev Wankar; Arun Agarwal (ICDCN, 2008)

Efficient distributed bounded property checking. - Pradeep Kumar Nalla (2008)

Semiformal verification of temporal properties in automotive hardware dependent software. - Djones Lettnin; Pradeep Kumar Nalla; Jörg Behrend; Jürgen Ruf; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Volker Schönknecht; Stephan Reitemeyer (DATE, 2009)

GLA: gate-level abstraction revisited. - Alan Mishchenko; Niklas Eén; Robert K. Brayton; Jason Baumgartner; Hari Mony; Pradeep Kumar Nalla (DATE, 2013)

Effective Liveness Verification Using a Transformation-Based Framework. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Hari Mony; Jason Baumgartner; Robert Kanzelman (VLSID, 2014)

The art of semi-formal bug hunting. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Jason Baumgartner; Hari Mony; Robert Kanzelman; Alexander Ivrii (ICCAD, 2016)

FVCAG: A framework for formal verification driven power modeling and verification. - Arun Joseph; Spandana Rachamalla; Rahul M. Rao; Anand Haridass; Pradeep Kumar Nalla (ISLPED, 2016)