Naiyong Jin

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Minimum Variance

Bounded Model Checking

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Exploiting structure in LTL synthesis. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Roy Armoni, Dana Fisman, Naiyong Jin
SVA and PSL Local Variables - A Practical Approach. CAV (2013)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Acacia+, a Tool for LTL Synthesis. CAV (2012)
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. 39 (3) (2011)
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Compositional Algorithms for LTL Synthesis. ATVA (2010)
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
An Antichain Algorithm for LTL Realizability. CAV (2009)
Naiyong Jin, Huibiao Zhu
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA (2008)
Jian Guo, Jungang Han, Naiyong Jin
Witness and Counter-Example on 3-Valued Model Checking. FSKD (2) (2008)
Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni
-Verilog Dynamic Verifier by Alternating Automata. Electron. Notes Theor. Comput. Sci. 207 (2008)
Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
Denotational Approach to an Event-Driven System-Level Language. UTP (2008)
Naiyong Jin, Juan Zhou, Taoyong Ni
iPSL: An Environment for IP-Based PSL Specification. ICECCS (2008)
Naiyong Jin, Chengjie Shen
Dynamic Verifying The Properties of The Simple Subset of PSL. TASE (2007)
Naiyong Jin, Taoyong Ni
Interface Specification Assurance Methods. ISQED (2007)
Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
An Operational Semantics of an Event-Driven System-Level Simulator. SEW (2006)
Naiyong Jin, Jifeng He
Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM (2005)
Naiyong Jin, Jifeng He
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM (2004)
Jifeng He, Naiyong Jin
Integrating Variants of DC. ICTAC (2004)
Fuliang Weng, Naiyong Jin, Jie Meng, Yujia Zhu
A Novel Probabilistic Model for Link Unification Grammar. IWPT (2001)