Pradeep Kumar Nalla

13 papers A* 1A 5C 1Misc 2Unranked 3
YearRankTypeTitle / Venue / Authors
2016 A conf
FVCAG: A framework for formal verification driven power modeling and verification.
ISLPED
Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla
2016 A conf
The art of semi-formal bug hunting.
ICCAD
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
2014 Misc conf
Effective Liveness Verification Using a Transformation-Based Framework.
VLSID
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
2013 A conf
GLA: gate-level abstraction revisited.
DATE
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla
2009 A conf
Semiformal verification of temporal properties in automotive hardware dependent software.
DATE
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
2008 Misc conf
Design of Concurrent Utilities in Jackal: A Software DSM Implementation.
ICDCN
Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal
2008 — —
Efficient distributed bounded property checking.
Pradeep Kumar Nalla
2008 A conf
Verification of Temporal Properties in Automotive Embedded Software.
DATE
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
2007 C conf
Grid Based Fast Falsification For Bounded Property Checking.
FDL
Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2007 — conf
Semiformal Verification of Temporal Properties in Embedded Software.
MBMV
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel
2006 A* conf
Fast falsification based on symbolic bounded property checking.
DAC
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Distributed Symbolic Bounded Property Checking.
PDMC@ICALP
Pradeep Kumar Nalla, Roland Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
2005 — conf
Overlap reduction in symbolic system traversal.
HLDVT
Prakash Mohan Peranandam, Pradeep Kumar Nalla, Roland Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel