2018 | Property-Driven Runtime Resolution of Feature Interactions. | Raghavan, Santhana Gopalan; Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei; Jiang, Zhihao; Shiraishi, Shinichi; CHUNG-WEI LIN | Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings | | | |
2018 | Runtime monitoring for safety of intelligent vehicles. | Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei; Shiraishi, Shinichi; CHUNG-WEI LIN | Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018 | | | |