Author

Pradeep Kumar Nalla

Observed names: P.K. Nalla, Pradeep K. Nalla, Pradeep Nalla

Institution: Marvell (Israel)

Observed institutions: IBM (United States), IBM (India), NEC (Germany), Marvell (Israel), University of Tübingen

ORCID: 0009-0005-3593-1547

Observed ORCID: 0009-0005-3593-1547

OpenAlex ID: A5022136602

Verification of Temporal Properties in Automotive Embedded Software

2008 · Djones Lettnin, Pradeep K. Nalla, et al. · Design, Automation, and Test in Europe · 21

GLA: Gate-Level Abstraction Revisited

2013 · Alan Mishchenko, Niklas Een, et al. · Design, Automation, and Test in Europe · 16

The art of semi-formal bug hunting

2016 · Pradeep Kumar Nalla, Raj Kumar Gajavelly, et al. · 15

Semiformal verification of temporal properties in automotive hardware dependent software

2009 · D. Lettnin, P.K. Nalla, et al. · Design, Automation, and Test in Europe · 13

GLA: Gate-Level Abstraction Revisited

· Alan Mishchenko, Niklas Een, et al. · 13

Semiformal verification of temporal properties in automotive hardware dependent software

2009 · Djones Lettnin, Pradeep K. Nalla, et al. · Design, Automation, and Test in Europe · 11

Overlap reduction in symbolic system traversal

2006 · P.M. Peranandam, P.K. Nalla, et al. · Proceedings · 4

Effective Liveness Verification Using a Transformation-Based Framework

2014 · Pradeep Kumar Nalla, Raj Kumar Gajavelly, et al. · International Conference on VLSI Design · 3

Distributed Symbolic Bounded Property Checking

2006 · Pradeep K. Nalla, Roland J. Weiss, et al. · Electronic Notes in Theoretical Computer Science · 3

Parallel Bounded Property Checking with SymC

2005 · Pradeep K. Nalla, Roland Weiß, et al. · 3

Design of Concurrent Utilities in Jackal: A Software DSM Implementation

2007 · Pradeep Kumar Nalla, Rajeev Wankar, et al. · Springer eBooks · 2

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

2016 · Arun Joseph, Spandana Rachamalla, et al. · International Symposium on Low Power Electronics and Design (ISLPED) · 1

Efficient Distributed Bounded Property Checking

2008 · Pradeep K. Nalla · 1

Grid Based Fast Falsification For Bounded Property Checking.

2007 · Pradeep K. Nalla, J. Behrend, et al. · Forum on specification and Design Languages · 1

Semiformal Verification of Temporal Properties in Embedded Software.

2007 · Djones Lettnin, Pradeep K. Nalla, et al. · MBMV · 1

Fast falsification based on symbolic bounded property checking

2006 · Prakash M. Peranandam, Pradeep K. Nalla, et al. · ACM/IEEE Design Automation Conference (DAC) · 1

CXL Memory for LLM Inference Staging via an On-Device DMA Controller

2026 · Veerasenareddy Burru, Satananda Burla, et al. · ACM Workshop on Hot Topics in Storage and File Systems (HotStorage)

Replacing NVMe Staging in LLM Inference with a High-Bandwidth CXL Memory Expander with an On-Device DMA Controller

2026 · Veerasenareddy Burru, Pradeep Kumar Nalla, et al. · ACM SIGCOMM Conference (SIGCOMM)

Fast falsification based on symbolic bounded property checking

2006 · P.M. Peranandam, P.K. Nalla, et al. · ACM/IEEE Design Automation Conference (DAC)

Works count: 22

Citation count: 109

H-index: 6

I10-index: 6