The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yuan Yu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert S. Boyer, Yuan Yu
    Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:416-430 [Conf]
  2. Yuan Yu, Panagiotis Manolios, Leslie Lamport
    Model Checking TLA+ Specifications. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:54-66 [Conf]
  3. Serdar Tasiran, Yuan Yu, Brannon Batson
    Using a formal specification and a model checker to monitor and direct simulation. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:356-361 [Conf]
  4. Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
    Cache Coherence Verification with TLA+. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1871-1872 [Conf]
  5. Allan Heydon, Roy Levin, Yuan Yu
    Caching function calls using precise dependencies. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:311-320 [Conf]
  6. Yuan Yu, Tom Rodeheffer, Wei Chen
    RaceTrack: efficient detection of data race conditions via adaptive tracking. [Citation Graph (0, 0)][DBLP]
    SOSP, 2005, pp:221-234 [Conf]
  7. Serdar Tasiran, Yuan Yu, Brannon Batson
    Linking Simulation with Formal Verification at a Higher Level. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2004, v:21, n:6, pp:472-482 [Journal]
  8. Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
    Checking Cache-Coherence Protocols with TLA+. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:2, pp:125-131 [Journal]
  9. Robert S. Boyer, Yuan Yu
    Automated Proofs of Object Code for a Widely Used Microprocessor. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1996, v:43, n:1, pp:166-192 [Journal]
  10. Yuan Yu
    Computer Proofs in Group Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:3, pp:251-286 [Journal]
  11. Chuanfu Chen, Qiong Tang, Yuan Yu, Zhiqiang Wu, Xuan Huang, Song Chen, Haiying Hua, Conjing Ran, Mojun Li
    An Assessment of the Currency of Free Science Information on the Web. [Citation Graph (0, 0)][DBLP]
    WISE Workshops, 2007, pp:493-504 [Conf]
  12. Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
    Dryad: distributed data-parallel programs from sequential building blocks. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2007, pp:59-72 [Conf]

  13. BotGraph: Large Scale Spamming Botnet Detection. [Citation Graph (, )][DBLP]


  14. DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. [Citation Graph (, )][DBLP]


  15. Distributed data-parallel computing using a high-level programming language. [Citation Graph (, )][DBLP]


  16. Specifying and verifying systems with TLA+. [Citation Graph (, )][DBLP]


  17. Distributed aggregation for data-parallel computing: interfaces and implementations. [Citation Graph (, )][DBLP]


  18. Throughput analysis of wireless mesh networks. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.019secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002