Nasser Jazdi

International Conference on Automation, Quality and Testing, Robotics · 2014

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

Whom Nasser Jazdi trusts overall

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

  1. Edward A. Lee

Who trusts Nasser Jazdi overall

  1. Mohammad Aazam
  2. Fei Tao
  3. Yang Lu
  4. Angira Sharma
  5. Ioannis Stellios
  6. Ji Zhou

Papers from Nasser Jazdi's perspective

Ordered by how strongly the researchers Nasser Jazdi 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. Chisel: Constructing hardware in a Scala embedded language (DAC Design Automation Conference 2012)
  3. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  4. Spanner: Google's Globally-Distributed Database (USENIX Symposium on Operating Systems Design and Implementation)
  5. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  6. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  7. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. The SPIN Model Checker - primer and reference manual
  10. Cybernetics, or Control and Communication in the Animal and the Machine.

Their papers