Ocan Sankur

2013

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

Whom Ocan Sankur trusts overall

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

  1. Thomas A. Henzinger
  2. Marvin Minsky
  3. Kim Guldstrand Larsen

Who trusts Ocan Sankur overall

  1. Edouard Oyallon

Papers from Ocan Sankur's perspective

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

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. The SPIN Model Checker
  3. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  4. Model Checking
  5. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design (Proceedings of the IEEE)
  6. The unified modeling language reference manual
  7. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  8. Metropolis: An Integrated Electronic System Design Environment (Computer)
  9. Optimal Paths in Weighted Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  10. The Architecture Analysis & Design Language (AADL): An Introduction

Their papers