Checking Model Consistency Using Data-Flow Testing. - Chen-Wei Wang; Alessandra Cavarra (APSEC, 2009)

A Guarded Workflow Language and Its Formal Semantics. - Chen-Wei Wang; Jim Davies; James Welch (TASE, 2010)

Formal and Model-Based Testing of Concurrent Workflows. - Chen-Wei Wang; Alessandra Cavarra; Jim Davies (QSIC, 2011)

Calculating Preconditions for Parallel Workflows. - Chen-Wei Wang (APSEC, 2012)

A Formal Approach for the Iterative Design of Behavioural Models. - Chen-Wei Wang (APSEC, 2012)

Formal Model-Driven Engineering: Generating Data and Behavioural Components - Chen-Wei Wang; Jim Davies (FTSCS, 2012)

TTM/PAT: Specifying and Verifying Timed Transition Models. - Jonathan S. Ostroff; Chen-Wei Wang; Simon Hudon; Yang Liu 003; Jun Sun 001 (FTSCS, 2013)

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (FTSCS, 2013)

Precise Documentation and Validation of Requirements. - Chen-Wei Wang; Jonathan S. Ostroff; Simon Hudon (FTSCS, 2013)

A dynamic load-balancing scheme for heterogeneous wireless networks. - Shiao-Li Tsao; Chen-Wei Wang; Yun-Ciou Lin; Ray-Guang Cheng (WCNC, 2014)

Formal Verification of Real-Time Function Blocks Using PVS. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng; Josh Newell; Vera Chow; David Tremaine (ESSS, 2015)

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. - Chen-Wei Wang; Jonathan S. Ostroff; Simon Hudon (ESSS, 2015)

Formal model-driven engineering of critical information systems. - Jim Davies; David Milward; Chen-Wei Wang; James Welch (Sci. Comput. Program., 2015)

Formal verification of function blocks applied to IEC 61131-3. - Linna Pang; Chen-Wei Wang; Mark Lawford; Alan Wassyng (Sci. Comput. Program., 2015)

The Barrier-Breach Problem of Barrier Coverage in Wireless Sensor Networks. - Chien-Fu Cheng; Chen-Wei Wang (IEEE Commun. Lett., 2017)

Modelling and Testing Requirements via Executable Abstract State Machines. - Jonathan S. Ostroff; Chen-Wei Wang (MoDRE@RE, 2018)

The Target-Barrier Coverage Problem in Wireless Sensor Networks. - Chien-Fu Cheng; Chen-Wei Wang (IEEE Trans. Mob. Comput., 2018)

Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning. - Chen-Wei Wang (CompEd, 2019)

Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing. - Chen-Wei Wang (CSERC, 2019)

Crafting Technology-Enhanced Educational Videos for Visual Learners. - Chen-Wei Wang (CSERC, 2022)

Automatic Clipping and Text Logging for Baseball Game Videos Using Deep Learning. - Chen-Wei Wang; Hwai-Jung Hsu (MIPR, 2024)