Items where authors include "Fang, Xinwei"

Article

Fang, Xinwei orcid.org/0000-0003-3630-2249, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703

Fang, Xinwei orcid.org/0000-0003-3630-2249, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (1 more author) (2023) Fast Parametric Model Checking with Applications to Software Performability Analysis. IEEE Transactions on Software Engineering. pp. 4707-4730. ISSN 0098-5589

Fang, Xinwei orcid.org/0000-0003-3630-2249 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2020) An Improved Sensor Calibration with Anomaly Detection and Removal. SENSORS AND ACTUATORS B-CHEMICAL. 127428. ISSN 0925-4005

Proceedings Paper

Zhou, Jie, Ji, Youshu, Wang, Ning et al. (7 more authors) (2025) Insights from Rights and Wrongs:A Large Language Model for Solving Assertion Failures in RTL Design. In: 62nd DAC, Chips to Systems Conference, proceedings. 62nd Design Automation Conference, 22-25 Jun 2025, Moscone West. , USA .

Hu, Yuchen, Ye, Junhao, Xu, Ke et al. (11 more authors) (2025) UVLLM:An Automated Universal RTL Verification Framework using LLMs. In: 62nd DAC, Chips to Systems Conference, proceedings. 62nd Design Automation Conference, 22-25 Jun 2025, Moscone West. , USA .

Xu, Ke, Sun, Jualin, Hu, Yuchen et al. (4 more authors) (2025) MEIC:Re-thinking RTL debug automation using LLMs. In: ICCAD '24:Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design. Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 27-31 Oct 2024, Newark Liberty International Airport Marriott. ACM , USA .

Gao, yiyang, Chen, Haoran, Fang, Xinwei orcid.org/0000-0003-3630-2249 et al. (1 more author) (2024) A Structure-Aware DAG Scheduling and Allocation on Heterogeneous Multicore Systems. In: 2024 IEEE 14th International Symposium on Industrial Embedded Systems (SIES). 2024 IEEE 14th International Symposium on Industrial Embedded Systems, 23-25 Oct 2024. IEEE , CHN , pp. 26-33.

Fang, Xinwei orcid.org/0000-0003-3630-2249, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) PRESTO:Predicting System-level Disruptions through Parametric Model Checking. In: SEAMS '22:Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. ACM , pp. 91-97.

Gerasimou, Simos orcid.org/0000-0002-2706-5272, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Fang, Xinwei orcid.org/0000-0003-3630-2249, Bate, Iain John orcid.org/0000-0003-2415-8219 and Griffin, David Jack orcid.org/0000-0002-4077-0005 (2021) Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors. In: Science and Technologies for Smart Cities:6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. UNSPECIFIED. Springer , LNICST , pp. 442-461.

Fang, Xinwei orcid.org/0000-0003-3630-2249, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos orcid.org/0000-0002-2706-5272 et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). UNSPECIFIED. ACM .

Johnson, Nikita Laura and Fang, Xinwei orcid.org/0000-0003-3630-2249 (2019) Three Reasons Why: Framing the Challenges of Assuring AI. In: Three Reasons Why: Framing the Challenges of Assuring AI. UNSPECIFIED. .

Fang, Xinwei orcid.org/0000-0003-3630-2249 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2017) Issues of using wireless sensor network to monitor urban air quality. In: International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). UNSPECIFIED. ACM .