Chen-Wei Wang - RankMe

21 papers B 1C 3Misc 1Journal 4Unranked 12

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