Travelled to:1 × Canada
1 × Denmark
1 × Greece
1 × USA
Collaborated with:H.F.Li
Talks about:behavior (2) automata (2) partial (2) verifi (2) order (2) time (2) constraint (1) nonbinari (1) asynchron (1) problem (1)
Person: David K. Probst
DBLP: Probst:David_K=
Facilitated 1 volumes:
EdContributed to:
1993199219911990Wrote 4 papers:
- 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.