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: Li:Hon_Fung
Contributed to:
2002
1993199219911990Wrote 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.