Changshun Wu

According to our database, Changshun Wu authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bridging formal methods and machine learning with model checking and global optimisation.

Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

J. Log. Algebraic Methods Program., February, 2024

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.

Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem

CoRR, 2024

2023

Towards Rigorous Design of OoD Detectors.

Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem

CoRR, 2023

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.

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

CoRR, 2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

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

Proceedings of the Bridging the Gap Between AI and Reality, 2023

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.

Changshun Wu, Yliès Falcone, Saddek Bensalem

Proceedings of the Runtime Verification - 23rd International Conference, 2023

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.

Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu

Proceedings of the Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28, 2023

2022

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2022

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.

Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2019

Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".

Changshun Wu, Isabel Demongodin, Alessandro Giua

Discret. Event Dyn. Syst., 2019

2018

Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.

Changshun Wu, Isabel Demongodin, Alessandro Giua

Proceedings of the 5th International Conference on Control, 2018