Changshun Wu

35 papers A* 1A 2B 4C 1Misc 1Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Revisiting Out-of-Distribution Detection in Real-Time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm.
IEEE Trans. Pattern Anal. Mach. Intell.
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2026 — conf
What Matters to an LLM? Behavioral and Computational Evidences from Summarization.
EACL (Findings)
Yongxin Zhou, Changshun Wu, Philippe Mulhem, Didier Schwab, Maxime Peyrard
2026 J jnl
What Matters to an LLM? Behavioral and Computational Evidences from Summarization.
CoRR
Yongxin Zhou, Changshun Wu, Philippe Mulhem, Didier Schwab, Maxime Peyrard
2025 — conf
Def-VAE: Identifying Adversarial Inputs with Robust Latent Representations.
Internetware
Chengye Li, Changshun Wu, Rongjie Yan
2025 J jnl
Digital twin for the formal analysis of a depth of anesthesia controller.
Simul.
Mohamed Abdelsalam, Saddek Bensalem, Antoine Delacourt, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Ricardo Ruiz Nolasco, Doron Peled, Matthieu Ponchant, Ismail Ryad, Anastasios Temperekidis, Changshun Wu
2025 J jnl
LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers.
CoRR
Changshun Wu, Tianyi Duan, Saddek Bensalem, Chih-Hong Cheng
2025 A conf
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
IROS
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 J jnl
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
CoRR
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 Misc conf
Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment.
ICASSP
Changshun Wu, Wendi Ding, Xiaowei Huang, Saddek Bensalem
2025 A* conf
Randomized Smoothing Meets Vision-Language Models.
EMNLP
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025 J jnl
Randomized Smoothing Meets Vision-Language Models.
CoRR
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025 B conf
Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs.
RV
Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess
2025 J jnl
Safeguarding large language models: a survey.
Artif. Intell. Rev.
Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2024 J jnl
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
CoRR
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2024 J jnl
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev.
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
2024 A conf
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
IROS
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 J jnl
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
CoRR
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 B conf
Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.
RV
Weicheng He, Changshun Wu, Saddek Bensalem
2024 J jnl
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program.
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
2024 J jnl
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs.
CoRR
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
2024 J jnl
Safeguarding Large Language Models: A Survey.
CoRR
Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2024 — conf
Stress Matrix-Based Formation Control of Multi-Agent Systems with Discrete-Time Communication.
ICSC
Okechi Onuoha, Brendan Chijioke Ubochi, Suleiman Kurawa, Zezhi Tang, Changshun Wu, Yi Dong
2023 J jnl
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
CoRR
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
2023 — conf
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.
PoEM Companion
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
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
2023 B conf
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.
RV
Changshun Wu, Yliès Falcone, Saddek Bensalem
2023 J jnl
Towards Rigorous Design of OoD Detectors.
CoRR
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
2023 J jnl
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.
CoRR
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2023 — conf
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.
AISoLA
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2022 — conf
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.
AITest
Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
2022 B conf
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
ATVA
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022 J jnl
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
CoRR
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2021 J jnl
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes.
CoRR
Changshun Wu, Yliès Falcone, Saddek Bensalem
2019 J jnl
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".
Discret. Event Dyn. Syst.
Changshun Wu, Isabel Demongodin, Alessandro Giua
2018 C conf
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.
CoDIT
Changshun Wu, Isabel Demongodin, Alessandro Giua