Publication:Bae 2026 JSS MVR airborne software
From Innovation
Changhui Bae Euteum Choi Ok-Kyoon Ha Yong-Kee Jun Seongjin Lee On-the-fly repair of multi-variable atomicity violations in airborne software 2026 Journal of Systems and Software 10.1016/j.jss.2026.112889 https://www.sciencedirect.com/science/article/pii/S0164121226001226 239 112889 Bae_2026_JSS_MVR_airborne_software Journal Airborne software Airborne health management Concurrency faults Multi-variable atomicity violations On-the-fly repairing