Naiyong Jin

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