Travelled to:1 × Israel
4 × USA
Collaborated with:R.J.Anderson P.Beame D.Notkin ∅ D.H.Jones W.E.Warner S.Burns F.Modugno J.D.Reese
Talks about:model (4) check (4) symbol (3) constraint (2) system (2) effici (2) statechart (1) synchron (1) softwar (1) decoupl (1)
Person: William Chan
DBLP: Chan:William
Contributed to:
2000
1999
19981997
1996Wrote 5 papers:
- CAV-2000-Chan #query
- Temporal-Locig Queries (WC), pp. 450–463.
- ICSE-1999-ChanABJNW #model checking #performance
- Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
- ISSTA-1998-ChanABN #model checking #performance #requirements
- Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.
- CAV-1997-ChanABN #constraints #model checking #theorem proving
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
- FSE-1996-AndersonBBCMNR #model checking #scalability #specification
- Model Checking Large Software Specifications (RJA, PB, SB, WC, FM, DN, JDR), pp. 156–166.