Jiawan Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. | Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li |
| 2022 | VMCAI | Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. | Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li |
| 2021 | FM | Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. | Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li |