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 × Denmark
1 × Greece
1 × USA
2 × Canada
Collaborated with:
D.K.Probst J.Rilling D.Goswami
Talks about:
behavior (2) automata (2) partial (2) verifi (2) order (2) time (2) constraint (1) nonbinari (1) asynchron (1) program (1)

Person: Hon Fung Li

DBLP DBLP: Li:Hon_Fung

Contributed to:

SCAM 20022002
CAV 19931993
CAV 19921992
CAV 19911991
CAV 19901990

Wrote 5 papers:

SCAM-2002-RillingLG #message passing #slicing #source code
Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
CAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
CAV-1992-ProbstL #automaton #behaviour #constraints #verification
Verifying Timed Behavior Automata with Nonbinary Delay Constraints (DKP, HFL), pp. 123–136.
CAV-1991-ProbstL #model checking #partial order
Partial-Order Model Checking: A Guide for the Perplexed (DKP, HFL), pp. 322–331.
CAV-1990-ProbstL #explosion #partial order #problem #semantics #using
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems (DKP, HFL), pp. 146–155.

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.