| 2008 |
|---|
| 12 | EE | Li Tan,
Shenghan Xu:
Model check stochastic supply chains.
IRI 2008: 416-421 |
| 2006 |
|---|
| 11 | EE | Li Tan:
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.
QSIC 2006: 151-158 |
| 2005 |
|---|
| 10 | EE | Li Tan:
Model-based self-monitoring embedded programs with temporal logic specifications.
ASE 2005: 380-383 |
| 9 | EE | Jiong Yu,
Yuanda Cao,
Yonggang Lin,
Li Tan:
Research on Security Architecture and Privacy Policy of Grid Computing System.
SKG 2005: 117 |
| 2004 |
|---|
| 8 | EE | Li Tan:
PlayGame: A Platform for Diagnostic Games.
CAV 2004: 492-495 |
| 7 | | Li Tan,
Jesung Kim,
Oleg Sokolsky,
Insup Lee:
Model-based Testing and Monitoring for Hybrid Embedded Systems.
IRI 2004: 487-492 |
| 6 | | Li Tan,
Oleg Sokolsky,
Insup Lee:
Specification-based Testing with Linear Temporal Logic.
IRI 2004: 493-498 |
| 2003 |
|---|
| 5 | | David P. Miller,
Li Tan,
Scott Swindell:
Simplified navigation and traverse planning for a long-range planetary rover.
ICRA 2003: 2436-2441 |
| 4 | EE | Li Tan,
Jesung Kim,
Insup Lee:
Testing and Monitoring Model-based Generated Program.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 2002 |
|---|
| 3 | EE | Li Tan,
Rance Cleaveland:
Evidence-Based Model Checking.
CAV 2002: 455-470 |
| 2 | EE | Li Tan:
An Abstract Schema for Equivalence-Checking Games.
VMCAI 2002: 65-78 |
| 2001 |
|---|
| 1 | EE | Li Tan,
Rance Cleaveland:
Simulation Revisited.
TACAS 2001: 480-495 |
