Pradeep Kumar Nalla

According to our database, Pradeep Kumar Nalla authored at least 13 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

FVCAG: A framework for formal verification driven power modeling and verification.

Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla

Proceedings of the 2016 International Symposium on Low Power Electronics and Design, 2016

The art of semi-formal bug hunting.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2014

Effective Liveness Verification Using a Transformation-Based Framework.

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013

GLA: gate-level abstraction revisited.

Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla

Proceedings of the Design, Automation and Test in Europe, 2013

2009

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

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Efficient distributed bounded property checking.

Pradeep Kumar Nalla

PhD thesis, 2008

Design of Concurrent Utilities in Jackal: A Software DSM Implementation.

Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

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

Proceedings of the Design, Automation and Test in Europe, 2008

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Grid Based Fast Falsification For Bounded Property Checking.

Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Forum on specification and Design Languages, 2007

2006

Fast falsification based on symbolic bounded property checking.

Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 43rd Design Automation Conference, 2006

2005

Distributed Symbolic Bounded Property Checking.

Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Overlap reduction in symbolic system traversal.

Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005