Concepedia

Padma Varadharajan

PV

5

Publications

176

Citations

5

H-Index

2004

Active since

Affiliations

Purdue University West Lafayette(Current)

Dependable Computing (United States)

Padma Varadharajan is an author at Purdue University West Lafayette specializing in formal verification, cluster computing, and verification.

Top concepts

EngineeringVerificationComputer ScienceCluster ComputingFormal VerificationFault ToleranceDistributed SystemsSystems EngineeringMonitoringCloud Computing

Publications per year

2004–2007

5

Publications

5

TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks

Mark D. Krasniewski, Padma Varadharajan, Ben Rabeler et al. · 2005 · 61 citations

Cluster Computing, Arbitrary Data Faults, Engineering +20

Automated Rule-Based Diagnosis Through a Distributed Monitor System

Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan et al. · IEEE Transactions on Dependable and Secure Computing · 2007 · 44 citations

Cluster Computing, Engineering, Verification +21

Automated Online Monitoring of Distributed Applications through External Monitors

Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi · IEEE Transactions on Dependable and Secure Computing · 2006 · 29 citations

Cluster Computing, Engineering, Verification +21

AFM/CLSM data visualization and comparison using an open‐source toolkit

Bartek Rajwa, Helen McNally, Padma Varadharajan et al. · Microscopy Research and Technique · 2004 · 24 citations

Self checking network protocols: a monitor based approach

Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi · 2004 · 18 citations

Cluster Computing, Engineering, Verification +19

Rows per page

1–5 of 5