| 2013 | CAV | SVA and PSL Local Variables - A Practical Approach. | Roy Armoni, Dana Fisman, Naiyong Jin |
| 2012 | CAV | Acacia+, a Tool for LTL Synthesis. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2010 | ATVA | Compositional Algorithms for LTL Synthesis. | Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2009 | CAV | An Antichain Algorithm for LTL Realizability. | Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2008 | ICECCS | iPSL: An Environment for IP-Based PSL Specification. | Naiyong Jin, Juan Zhou, Taoyong Ni |
| 2008 | ISoLA | ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. | Naiyong Jin, Huibiao Zhu |
| 2007 | TASE | Dynamic Verifying The Properties of The Simple Subset of PSL. | Naiyong Jin, Chengjie Shen |
| 2006 | SEW | An Operational Semantics of an Event-Driven System-Level Simulator. | Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin |
| 2005 | SEFM | Towards A Truly Concurrent Model for Processes Sharing Resources. | Naiyong Jin, Jifeng He |
| 2004 | ICTAC | Integrating Variants of DC. | Jifeng He, Naiyong Jin |
| 2004 | SEFM | Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. | Naiyong Jin, Jifeng He |