6 citations · 11 across the 3 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2015★ 2 cited
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with sp…
cs.SE2015★ 6 cited
Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang, Chen-Wei Wang, Mark Lawford +4
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems…
cs.SE2013★ 3 cited
Formal Model-Driven Engineering: Generating Data and Behavioural Components
Chen-Wei Wang, Jim Davies
Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possi…