Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. - Changshun Wu; Isabel Demongodin; Alessandro Giua (CoDIT, 2018)

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)

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. - Hamzah Al-Qadasi; Changshun Wu; Yliès Falcone; Saddek Bensalem (AITest, 2022)

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. - Chih-Hong Cheng; Changshun Wu; Emmanouil Seferis; Saddek Bensalem (ATVA, 2022)

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 (PoEM Companion, 2023)

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. - Changshun Wu; Yliès Falcone; Saddek Bensalem (RV, 2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. - Saddek Bensalem; Chih-Hong Cheng; Wei Huang 035; Xiaowei Huang 001; Changshun Wu; Xingyu Zhao 001 (AISoLA, 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 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Towards Rigorous Design of OoD Detectors. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Saddek Bensalem (CoRR, 2023)

Stress Matrix-Based Formation Control of Multi-Agent Systems with Discrete-Time Communication. - Okechi Onuoha; Brendan Chijioke Ubochi; Suleiman Kurawa; Zezhi Tang; Changshun Wu; Yi Dong (ICSC, 2024)

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. - Changshun Wu; Weicheng He; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (IROS, 2024)

Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. - Weicheng He; Changshun Wu; Saddek Bensalem (RV, 2024)

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Xingyu Zhao 001; Saddek Bensalem (CoRR, 2024)

Safeguarding Large Language Models: A Survey. - Yi Dong 002; Ronghui Mu; Yanghao Zhang; Siqi Sun; Tianle Zhang; Changshun Wu; Gaojie Jin; Yi Qi; Jinwei Hu; Jie Meng; Saddek Bensalem; Xiaowei Huang 001 (CoRR, 2024)

Bridging formal methods and machine learning with model checking and global optimisation. - Saddek Bensalem; Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Changshun Wu; Xingyu Zhao 001 (J. Log. Algebraic Methods Program., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment. - Changshun Wu; Wendi Ding; Xiaowei Huang 001; Saddek Bensalem (ICASSP, 2025)

Digital twin for the formal analysis of a depth of anesthesia controller. - 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 (Simul., 2025)

Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. - Weicheng He; Changshun Wu; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (CoRR, 2025)

LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers. - Changshun Wu; Tianyi Duan; Saddek Bensalem; Chih-Hong Cheng (CoRR, 2025)