Concepedia

Pradeep K. Nalla

PK

5

Publications

70

Citations

5

H-Index

2008

Active since

Affiliations

University of Tübingen(Current)

Pradeep K. Nalla is an author at University of Tübingen specializing in computer engineering, formal methods, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringSoftware DesignSoftware AnalysisSystems Engineering

Publications per year

2008–2016

5

Publications

5

Verification of temporal properties in automotive embedded software

Djones Lettnin, Pradeep K. Nalla, Jürgen Ruf et al. · 2008 · 17 citations

Engineering, Hardware Verification Language, Verification +22

The art of semi-formal bug hunting

Pradeep K. Nalla, Raj Kumar Gajavelly, Jason Baumgartner et al. · 2016 · 15 citations

Software Maintenance, Engineering, Verification +22

GLA: Gate-Level Abstraction Revisited

Alan Mishchenko, Niklas Eén, Robert K. Brayton et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 · 2013 · 15 citations

Engineering, Automated Abstraction, Verification +16

Semiformal verification of temporal properties in automotive hardware dependent software

Djones Lettnin, Pradeep K. Nalla, J. Behrend et al. · 2009 · 12 citations

Engineering, Hardware Verification Language, Verification +24

Semiformal verification of temporal properties in automotive hardware dependent software

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

Engineering, Hardware Verification Language, Verification +24

Rows per page

1–5 of 5