Naiyong Jin

According to our database, Naiyong Jin authored at least 18 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Exploiting structure in LTL synthesis.

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Int. J. Softw. Tools Technol. Transf., 2013

SVA and PSL Local Variables - A Practical Approach.

Roy Armoni, Dana Fisman, Naiyong Jin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Acacia+, a Tool for LTL Synthesis.

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Antichains and compositional algorithms for LTL synthesis.

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Formal Methods Syst. Des., 2011

2010

Compositional Algorithms for LTL Synthesis.

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

An Antichain Algorithm for LTL Realizability.

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Denotational Approach to an Event-Driven System-Level Language.

Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.

Naiyong Jin, Huibiao Zhu

Proceedings of the Leveraging Applications of Formal Methods, 2008

iPSL: An Environment for IP-Based PSL Specification.

Naiyong Jin, Juan Zhou, Taoyong Ni

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Witness and Counter-Example on 3-Valued Model Checking.

Jian Guo, Jungang Han, Naiyong Jin

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2007

Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata.

Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Dynamic Verifying The Properties of The Simple Subset of PSL.

Naiyong Jin, Chengjie Shen

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Interface Specification Assurance Methods.

Naiyong Jin, Taoyong Ni

Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007

2006

An Operational Semantics of an Event-Driven System-Level Simulator.

Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005

Towards A Truly Concurrent Model for Processes Sharing Resources.

Naiyong Jin, Jifeng He

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.

Naiyong Jin, Jifeng He

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Integrating Variants of DC.

Jifeng He, Naiyong Jin

Proceedings of the Theoretical Aspects of Computing, 2004

2001

A Novel Probabilistic Model for Link Unification Grammar.

Fuliang Weng, Naiyong Jin, Jie Meng, Yujia Zhu

Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 2001