The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Junfeng Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
    MECA: an extensible, expressive system and language for statically checking security properties. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2003, pp:321-334 [Conf]
  2. Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
    Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). [Citation Graph (0, 0)][DBLP]
    OSDI, 2004, pp:273-288 [Conf]
  3. Junfeng Yang, Can Sar, Dawson R. Engler
    EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. [Citation Graph (0, 0)][DBLP]
    OSDI, 2006, pp:131-146 [Conf]
  4. Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler
    Correlation exploitation in error ranking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:83-93 [Conf]
  5. Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler
    An Empirical Study of Operating System Errors. [Citation Graph (0, 0)][DBLP]
    SOSP, 2001, pp:73-88 [Conf]
  6. Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
    Automatically Generating Malicious Disks using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    S&P, 2006, pp:243-257 [Conf]
  7. Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
    Using model checking to find serious file system errors. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 2006, v:24, n:4, pp:393-423 [Journal]

  8. MODIST: Transparent Model Checking of Unmodified Distributed Systems. [Citation Graph (, )][DBLP]


  9. A Game Analysis of the Mergers and Acquisitions of Foreign Capital Based on the Perspective of Industry Security. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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