Changshun Wu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Multilayer Perceptron

Top Venues

Discret. Event Dyn. Syst.

J. Log. Algebraic Methods Program.

Publications

Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
Safeguarding Large Language Models: A Survey. CoRR (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57 (7) (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR (2024)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. CoRR (2024)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA (2023)
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR (2023)
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion (2023)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
Towards Rigorous Design of OoD Detectors. CoRR (2023)
Changshun Wu, Yliès Falcone, Saddek Bensalem
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV (2023)
Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR (2022)
Changshun Wu, Yliès Falcone, Saddek Bensalem
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR (2021)
Changshun Wu, Isabel Demongodin, Alessandro Giua
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets". Discret. Event Dyn. Syst. 29 (4) (2019)
Changshun Wu, Isabel Demongodin, Alessandro Giua
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. CoDIT (2018)