Travelled to:1 × France
1 × USA
Collaborated with:D.Buchs L.Lúcio W.B.Moore H.Xiao A.Haeberlen L.T.X.Phan M.Sherr W.Zhou
Talks about:model (2) time (2) determinist (1) techniqu (1) process (1) generat (1) channel (1) replay (1) detect (1) covert (1)
Person: Ang Chen
DBLP: Chen:Ang
Contributed to:
2014
2009Wrote 2 papers:
- OSDI-2014-ChenMXHPSZ #detection
- Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
- AdaEurope-2009-BuchsLC #generative #model checking #modelling #process #testing
- Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.