Stem vdx$ (all stems)

4 papers:

ICST-2015-ZhangAC #exclamation #model checking #verification

Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.

WRLA-2014-ZhangCO #framework #semantics #standard #𝕂

A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.

SEFM-2013-Choi #constraints #generative #operating system #specification #testing

Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.

DATE-2008-DiederichsMSW

An application-based EDF scheduler for OSEK/VDX (CD, UM, FS, GW), pp. 1045–1050.