Pradeep Kumar Nalla

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Venues

ISLPED

VLSI Design

DATE

ICCAD

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla
FVCAG: A framework for formal verification driven power modeling and verification. ISLPED (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
Effective Liveness Verification Using a Transformation-Based Framework. VLSI Design (2014)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla
GLA: gate-level abstraction revisited. DATE (2013)
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)
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)
Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal
Design of Concurrent Utilities in Jackal: A Software DSM Implementation. ICDCN (2008)
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)
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)
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)
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Distributed Symbolic Bounded Property Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Overlap reduction in symbolic system traversal. HLDVT (2005)

Pradeep Kumar Nalla.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pradeep Kumar Nalla