Chen-Wei Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2009–2018
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | RE | Modelling and Testing Requirements via Executable Abstract State Machines. | Jonathan S. Ostroff, Chen-Wei Wang |
| 2014 | WCNC | A dynamic load-balancing scheme for heterogeneous wireless networks. | Shiao-Li Tsao, Chen-Wei Wang, Yun-Ciou Lin, Ray-Guang Cheng |
| 2012 | APSEC | Calculating Preconditions for Parallel Workflows. | Chen-Wei Wang |
| 2012 | APSEC | A Formal Approach for the Iterative Design of Behavioural Models. | Chen-Wei Wang |
| 2010 | TASE | A Guarded Workflow Language and Its Formal Semantics. | Chen-Wei Wang, Jim Davies, James Welch |
| 2009 | APSEC | Checking Model Consistency Using Data-Flow Testing. | Chen-Wei Wang, Alessandra Cavarra |