Travelled to:1 × Republic of China
1 × USA
1 × United Kingdom
Collaborated with:K.Ogata K.Futatsugi
Talks about:analysi (2) system (2) formal (2) workflow (1) reachabl (1) electron (1) consider (1) approach (1) algebra (1) search (1)
Person: Weiqiang Kong
DBLP: Kong:Weiqiang
Contributed to:
2007
20062005Wrote 3 papers:
- IFM-2007-KongOF #algebra #analysis #formal method
- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
- SEKE-2006-OgataKF #bound
- Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.
- SEKE-2005-KongOF #analysis #formal method #security #workflow
- Formal Analysis of Workflow Systems with Security Considerations (WK, KO, KF), pp. 531–536.