BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mok:Aloysius_K=

Contributed to:

CASE 20082008
SAC 20052005
FME 19941994
FME 19931993
ICSE 19921992
CAV 19901990

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.