Travelled to:
1 × China
1 × Denmark
1 × Switzerland
2 × Italy
3 × USA
Collaborated with:
∅ R.Cleaveland M.Feng R.Gupta F.Wei S.Liu Y.Song S.Pan M.X.Zhou W.Qian L.Shi Q.Zhang
Talks about:
game (3) base (3) program (2) specif (2) model (2) check (2) lightweight (1) exploratori (1) platform (1) parallel (1)
Person: Li Tan
DBLP: Tan:Li
Contributed to:
Wrote 8 papers:
- CGO-2013-TanFG #detection #fault #lightweight #source code
- Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.
- TAP-2011-Tan #automaton #metric #testing
- State Coverage Metrics for Specification-Based Testing with Büchi Automata (LT), pp. 171–186.
- KDD-2010-WeiLSPZQSTZ #named #visual notation
- TIARA: a visual exploratory text analytic system (FW, SL, YS, SP, MXZ, WQ, LS, LT, QZ), pp. 153–162.
- ASE-2005-Tan #embedded #logic #modelling #self #source code #specification
- Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
- CAV-2004-Tan #framework #game studies #named #platform
- PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.
- CAV-2002-TanC #model checking
- Evidence-Based Model Checking (LT, RC), pp. 455–470.
- VMCAI-2002-Tan #game studies
- An Abstract Schema for Equivalence-Checking Games (LT), pp. 65–78.
- TACAS-2001-TanC #revisited #simulation
- Simulation Revisited (LT, RC), pp. 480–495.