Venkata Reddy Palleti

CySWATER@CPSWeek · 2017

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Venkata Reddy Palleti trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Edward A. Lee

Who trusts Venkata Reddy Palleti overall

  1. Kukjin Choi
  2. Astha Garg
  3. Dan Li

Papers from Venkata Reddy Palleti's perspective

Ordered by how strongly the researchers Venkata Reddy Palleti trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Cyber Physical Systems: Design Challenges (IEEE International Symposium on Real-Time Distributed Computing)
  2. Lessons Learned from the Maroochy Water Breach (Critical Infrastructure Protection)
  3. SWaT: a water treatment testbed for research and training on ICS security (2016 International Workshop on Cyber-physical Systems for Smart Water Networks (CySWater))
  4. Chisel: Constructing hardware in a Scala embedded language (DAC Design Automation Conference 2012)
  5. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  6. Spanner: Google's Globally-Distributed Database (USENIX Symposium on Operating Systems Design and Implementation)
  7. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  8. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  9. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  10. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers