Travelled to:1 × Australia
1 × Denmark
1 × Spain
3 × USA
Collaborated with:F.Wang E.A.Emerson M.Nixon D.Chen T.Blevins Y.Chen L.Chang T.Kuo A.P.Sistla J.Srinivasan
Talks about:time (3) real (3) distribut (2) system (2) ssynchron (1) wireless (1) schedul (1) quantit (1) prevent (1) perform (1)
Person: Aloysius K. Mok
DBLP: Mok:Aloysius_K=
Contributed to:
2008
2005
19941993
1992
1990Wrote 6 papers:
- CASE-2008-NixonCBM #network #performance
- Meeting control performance over a wireless mesh network (MN, DC, TB, AKM), pp. 540–547.
- SAC-2005-ChenCKM #realtime #scheduling
- Real-time task scheduling anomaly: observations and prevention (YSC, LPC, TWK, AKM), pp. 897–898.
- FME-1994-WangM
- RTL and Refutation by Positive Cycles (FW, AKM), pp. 659–680.
- FME-1993-WangME #distributed #model checking #realtime
- Symbolic Model Checking for Distributed Real-Time Systems (FW, AKM, EAE), pp. 632–651.
- ICSE-1992-WangME #distributed #realtime #specification
- Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.
- CAV-1990-EmersonMSS #reasoning
- Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.