Chen-Wei Wang

According to our database, Chen-Wei Wang authored at least 21 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic Clipping and Text Logging for Baseball Game Videos Using Deep Learning.

Chen-Wei Wang, Hwai-Jung Hsu

Proceedings of the 7th IEEE International Conference on Multimedia Information Processing and Retrieval, 2024

2022

Crafting Technology-Enhanced Educational Videos for Visual Learners.

Chen-Wei Wang

Proceedings of the 11th Computer Science Education Research Conference, 2022

2019

Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing.

Chen-Wei Wang

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning.

Chen-Wei Wang

Proceedings of the ACM Conference on Global Computing Education, 2019

2018

The Target-Barrier Coverage Problem in Wireless Sensor Networks.

Chien-Fu Cheng, Chen-Wei Wang

IEEE Trans. Mob. Comput., 2018

Modelling and Testing Requirements via Executable Abstract State Machines.

Jonathan S. Ostroff, Chen-Wei Wang

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018

2017

The Barrier-Breach Problem of Barrier Coverage in Wireless Sensor Networks.

Chien-Fu Cheng, Chen-Wei Wang

IEEE Commun. Lett., 2017

2015

Formal verification of function blocks applied to IEC 61131-3.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Sci. Comput. Program., 2015

Formal model-driven engineering of critical information systems.

Jim Davies, David Milward, Chen-Wei Wang, James Welch

Sci. Comput. Program., 2015

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Formal Verification of Real-Time Function Blocks Using PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2014

A dynamic load-balancing scheme for heterogeneous wireless networks.

Shiao-Li Tsao, Chen-Wei Wang, Yun-Ciou Lin, Ray-Guang Cheng

Proceedings of the IEEE Wireless Communications and Networking Conference, 2014

2013

Precise Documentation and Validation of Requirements.

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.

Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Formal Model-Driven Engineering: Generating Data and Behavioural Components

Chen-Wei Wang, Jim Davies

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

A Formal Approach for the Iterative Design of Behavioural Models.

Chen-Wei Wang

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Calculating Preconditions for Parallel Workflows.

Chen-Wei Wang

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Formal and Model-Based Testing of Concurrent Workflows.

Chen-Wei Wang, Alessandra Cavarra, Jim Davies

Proceedings of the 11th International Conference on Quality Software, 2011

2010

A Guarded Workflow Language and Its Formal Semantics.

Chen-Wei Wang, Jim Davies, James Welch

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009

Checking Model Consistency Using Data-Flow Testing.

Chen-Wei Wang, Alessandra Cavarra

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009