Search the dblp DataBase

Publications of Author

1. Jifeng He, Naiyong Jin
   Integrating Variants of DC. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:14-34 [Conf]
   
2. Naiyong Jin, Taoyong Ni
   Interface Specification Assurance Methods. [Citation Graph (0, 0)][DBLP]
   ISQED, 2007, pp:269-274 [Conf]
   
3. Fuliang Weng, Naiyong Jin, Jie Meng, Yujia Zhu
   A Novel Probabilistic Model for Link Unification Grammar. [Citation Graph (0, 0)][DBLP]
   IWPT, 2001, pp:- [Conf]
   
4. Naiyong Jin, Jifeng He
   Towards A Truly Concurrent Model for Processes Sharing Resources. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:231-239 [Conf]
   
5. Naiyong Jin, Jifeng He
   Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:132-141 [Conf]
   
6. Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
   An Operational Semantics of an Event-Driven System-Level Simulator. [Citation Graph (0, 0)][DBLP]
   SEW, 2006, pp:190-202 [Conf]
   
7. Naiyong Jin, Chengjie Shen
   Dynamic Verifying The Properties of The Simple Subset of PSL. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:229-240 [Conf]
   
8. 
   Compositional Algorithms for LTL Synthesis. [Citation Graph (, )][DBLP]
   
   
9. 
   An Antichain Algorithm for LTL Realizability. [Citation Graph (, )][DBLP]
   
   
10. 
    Witness and Counter-Example on 3-Valued Model Checking. [Citation Graph (, )][DBLP]
    
    
11. 
    iPSL: An Environment for IP-Based PSL Specification. [Citation Graph (, )][DBLP]
    
    
12. 
    ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. [Citation Graph (, )][DBLP]
    
    
13. 
    Denotational Approach to an Event-Driven System-Level Language. [Citation Graph (, )][DBLP]
    
    
14. 
    Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. [Citation Graph (, )][DBLP]