2009 |
58 | EE | Jin Yang,
XiaoJie Liu,
Tao Li,
Gang Liang,
SunJun Liu:
Distributed agents model for intrusion detection based on AIS.
Knowl.-Based Syst. 22(2): 115-119 (2009) |
2008 |
57 | EE | Yan Chen,
Fei Xie,
Jin Yang:
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
DAC 2008: 143-148 |
56 | EE | Jin Yang,
Yumei Wen,
Ping Li:
Application of blind system identification in acoustic source location.
ICARCV 2008: 1764-1768 |
55 | EE | Yongquan Qiang,
Guillaume Vivier,
Jin Yang,
Ning Xu:
Inter-Cell Interference Modeling for OFDMA Systems with Beamforming.
VTC Fall 2008: 1-5 |
54 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu:
Efficient global checkpointing algorithms for mobile agents.
Concurrency and Computation: Practice and Experience 20(7): 825-838 (2008) |
53 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
Using asynchrony and zero degradation to speed up indulgent consensus protocols.
J. Parallel Distrib. Comput. 68(7): 984-996 (2008) |
52 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang:
A fault tolerant mutual exclusion algorithm for mobile ad hoc networks.
Pervasive and Mobile Computing 4(1): 139-160 (2008) |
2007 |
51 | EE | Yan Chen,
Yujing He,
Fei Xie,
Jin Yang:
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
FMCAD 2007: 111-118 |
50 | EE | Zhixiang Yin,
Jianzhong Cui,
Jin Yang:
A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem.
ICIC (1) 2007: 1-9 |
49 | EE | Zhixiang Yin,
Jin Yang,
Jianzhong Cui,
Jiaxiu Zhang:
Evolutionary Model for Sequence Generation.
ICIC (1) 2007: 10-17 |
48 | EE | Jianzhong Cui,
Zhixiang Yin,
Jin Yang:
Molecular Computation: Solving 3-Vertex-Colourability Problem.
ICIC (3) 2007: 450-458 |
47 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks.
IEEE Trans. Computers 56(8): 1055-1070 (2007) |
46 | EE | Jin Yang,
Tao Li,
SunJun Liu,
Tiefang Wang,
Diangang Wang,
Gang Liang:
Computer Forensics System Based on Artificial Immune Systems.
J. UCS 13(9): 1354-1365 (2007) |
2006 |
45 | EE | Jin Yang:
Verification Challenges and Opportunities in the New Era of Microprocessor Design.
ATVA 2006: 6-7 |
44 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu:
Checkpoint Placement Algorithms for Mobile Agent System.
GCC 2006: 339-346 |
43 | EE | Zhixiang Yin,
Jianzhong Cui,
Jin Yang,
Jin Xu:
DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon.
ICIC (3) 2006: 238-247 |
42 | EE | Gang Liang,
Tao Li,
Jiancheng Ni,
Yaping Jiang,
Jin Yang,
Xun Gong:
An Immunity-Based Dynamic Multilayer Intrusion Detection System.
ICIC (3) 2006: 641-650 |
41 | EE | Xun Gong,
Tao Li,
Gang Liang,
Tiefang Wang,
Jin Yang,
Xiaoqin Hu:
Immunity and Mobile Agent Based Grid Intrusion Detection.
ICIC (3) 2006: 651-659 |
40 | EE | Gang Liang,
Tao Li,
Xun Gong,
Yaping Jiang,
Jin Yang,
Jiancheng Ni:
NASC: A Novel Approach for Spam Classification.
ICIC (3) 2006: 672-681 |
39 | EE | Tiefang Wang,
Tao Li,
Xun Gong,
Jin Yang,
Xiaoqin Hu,
Diangang Wang,
Hui Zhao:
Family Gene Based Grid Trust Model.
ICNC (2) 2006: 110-113 |
38 | EE | Xun Gong,
Tao Li,
Tiefang Wang,
Jin Yang,
Gang Liang,
Xiaoqin Hu:
Grid Intrusion Detection Based on Immune Agent.
ICNC (2) 2006: 73-82 |
37 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Corentin Travers:
The notification based approach to implementing failure detectors in distributed systems.
Infoscale 2006: 14 |
36 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks.
PDP 2006: 64-72 |
35 | EE | Xun Gong,
Tao Li,
Ji Lu,
Tiefang Wang,
Gang Liang,
Jin Yang,
Feixian Sun:
Immunity and Mobile Agent Based Intrusion Detection for Grid.
PRIMA 2006: 187-198 |
34 | EE | Xun Gong,
Tao Li,
Tiefang Wang,
Jin Yang,
SunJun Liu,
Gang Liang:
An Immune Mobile Agent Based Grid Intrusion Detection Model.
SEAL 2006: 112-119 |
33 | EE | SunJun Liu,
Tao Li,
Kui Zhao,
Jin Yang,
Xun Gong,
JianHua Zhang:
Immune-Based Dynamic Intrusion Response Model.
SEAL 2006: 96-103 |
32 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu:
CIC: An Integrated Approach to Checkpointing in Mobile Agent Systems.
SKG 2006: 4 |
31 | EE | Guowu Yang,
Jin Yang,
Xiaoyu Song,
Fei Xie:
Maximal Models of Assertion Graph in GSTE.
TAMC 2006: 684-693 |
30 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006) |
29 | EE | Michael L. Blinov,
Jin Yang,
James R. Faeder,
William S. Hlavacek:
Graph Theory for Rule-Based Modeling of Biochemical Networks.
T. Comp. Sys. Biology: 89-106 (2006) |
2005 |
28 | EE | Guowu Yang,
Jin Yang,
William N. N. Hung,
Xiaoyu Song:
Implication of assertion graphs in GSTE.
ASP-DAC 2005: 1060-1063 |
27 | EE | Jin Yang,
Avi Puder:
Tightly integrate dynamic verification with formal verification: a GSTE based approach.
ASP-DAC 2005: 327-330 |
26 | EE | Xiushan Feng,
Alan J. Hu,
Jin Yang:
Partitioned model checking from software specifications.
ASP-DAC 2005: 583-587 |
25 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Cheng-Zhong Xu:
A Framework for Transactional Mobile Agent Execution.
GCC 2005: 1002-1008 |
24 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Cheng-Zhong Xu:
Parallel Algorithms for Fault-Tolerant Mobile Agent Execution.
ICA3PP 2005: 246-256 |
23 | EE | Jiannong Cao,
Jin Yang,
Wai Ting Chan,
Cheng-Zhong Xu:
Exception Handling in Distributed Workflow Systems Using Mobile Agents.
ICEBE 2005: 48-55 |
2004 |
22 | EE | Jin Yang,
Carl-Johan H. Seger:
Compositional Specification and Model Checking in GSTE.
CAV 2004: 216-228 |
21 | | Jin Yang,
Ming Huang:
A Case Study on Research Assistant System From Knowledge Management Perspective.
CELDA 2004: 241-248 |
20 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Quantum logic synthesis by symbolic reachability analysis.
DAC 2004: 838-841 |
19 | EE | Kelvin Ng,
Alan J. Hu,
Jin Yang:
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.
ICCD 2004: 409-416 |
18 | EE | Jiannong Cao,
Liang Zhang,
Jin Yang,
Sajal K. Das:
A Reliable Mobile Agent Communication Protocol.
ICDCS 2004: 468-475 |
17 | | Juanru Wang,
Songzheng Zhao,
Jin Yang:
Study on the Cultivation of Core Competence Based on Tacit Knowledge.
ICEB 2004: 987-989 |
2003 |
16 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Reasoning about GSTE Assertion Graphs.
CHARME 2003: 170-184 |
15 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.
ICCAD 2003: 154-160 |
14 | EE | Jin Yang,
Carl-Johan H. Seger:
Introduction to generalized symbolic trajectory evaluation.
IEEE Trans. VLSI Syst. 11(3): 345-353 (2003) |
2002 |
13 | EE | Jin Yang,
Carl-Johan H. Seger:
Generalized Symbolic Trajectory Evaluation - Abstraction in Action.
FMCAD 2002: 70-87 |
12 | EE | Jin Yang,
Amit Goel:
GSTE through a case study.
ICCAD 2002: 534-541 |
2001 |
11 | | Jin Yang,
Carl-Johan H. Seger:
Introduction to Generalized Symbolic Trajectory Evaluation.
ICCD 2001: 360-367 |
2000 |
10 | EE | John Weisgerber,
Jin Yang,
Pete Fisher:
Pacific Rim Portable Translator.
AMTA 2000: 196-201 |
9 | EE | Jin Yang,
Andreas Tiemeyer:
Lazy symbolic model checking.
DAC 2000: 35-38 |
1999 |
8 | EE | Jin Yang,
Ioannis Kriaras:
Wireless VoIP: Opportunities and Challenges.
MDA 1999: 3-13 |
1998 |
7 | EE | Jin Yang,
Elke D. Lange:
SYSTRAN on AltaVista: A User Study on Real-Time Machine Translation on the Internet.
AMTA 1998: 275-285 |
1997 |
6 | EE | Jin Yang,
Aloysius K. Mok,
Farn Wang:
Symboloc Model Checking for Event-Driven Real-Time Systems.
ACM Trans. Program. Lang. Syst. 19(2): 386-412 (1997) |
1996 |
5 | | Peter Au,
John Darlington,
Moustafa Ghanem,
Yike Guo,
Hing Wing To,
Jin Yang:
Co-ordinating Heterogeneous Parallel Computation.
Euro-Par, Vol. I 1996: 601-614 |
1995 |
4 | | John Darlington,
Yike Guo,
Hing Wing To,
Jin Yang:
Functional Skeletons for Parallel Coordination.
Euro-Par 1995: 55-66 |
3 | EE | Jin Yang,
Aloysius K. Mok,
Douglas A. Stuart:
A new generation modechart verifie.
IEEE Real Time Technology and Applications Symposium 1995: 116-125 |
2 | | John Darlington,
Yike Guo,
Hing Wing To,
Jin Yang:
Parallel Skeletons for Structured Composition.
PPOPP 1995: 19-28 |
1993 |
1 | | Jin Yang,
Aloysius K. Mok,
Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems.
IEEE Real-Time Systems Symposium 1993: 23-33 |