Chen-Wei Wang

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 10

Top Topics

Formal Verification

Critical Information

Wireless Sensor Networks

Top Venues

Sci. Comput. Program.

Publications

Chen-Wei Wang
Crafting Technology-Enhanced Educational Videos for Visual Learners. CSERC (2022)
Chen-Wei Wang
Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing. CSERC (2019)
Chen-Wei Wang
Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning. CompEd (2019)
Jonathan S. Ostroff, Chen-Wei Wang
Modelling and Testing Requirements via Executable Abstract State Machines. MoDRE@RE (2018)
Chien-Fu Cheng, Chen-Wei Wang
The Target-Barrier Coverage Problem in Wireless Sensor Networks. IEEE Trans. Mob. Comput. 17 (5) (2018)
Chien-Fu Cheng, Chen-Wei Wang
The Barrier-Breach Problem of Barrier Coverage in Wireless Sensor Networks. IEEE Commun. Lett. 21 (10) (2017)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113 (2015)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. ESSS (2015)
Jim Davies, David Milward, Chen-Wei Wang, James Welch
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103 (2015)
Shiao-Li Tsao, Chen-Wei Wang, Yun-Ciou Lin, Ray-Guang Cheng
A dynamic load-balancing scheme for heterogeneous wireless networks. WCNC (2014)
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Precise Documentation and Validation of Requirements. FTSCS (2013)
Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS (2013)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS (2013)
Chen-Wei Wang
Calculating Preconditions for Parallel Workflows. APSEC (2012)
Chen-Wei Wang, Jim Davies
Formal Model-Driven Engineering: Generating Data and Behavioural Components FTSCS (2012)
Chen-Wei Wang
A Formal Approach for the Iterative Design of Behavioural Models. APSEC (2012)
Chen-Wei Wang, Alessandra Cavarra, Jim Davies
Formal and Model-Based Testing of Concurrent Workflows. QSIC (2011)
Chen-Wei Wang, Jim Davies, James Welch
A Guarded Workflow Language and Its Formal Semantics. TASE (2010)
Chen-Wei Wang, Alessandra Cavarra
Checking Model Consistency Using Data-Flow Testing. APSEC (2009)