Saddek Bensalem - Publications, H-index & Citations

Saddek Bensalem

University of Warwick

13H指数

65论文数

876被引数

收录论文 8

发表时间

Revisiting Out-of-Distribution Detection in Real-Time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm 重新审视实时目标检测中的分布外检测：从基准陷阱到新的缓解范式

IEEE Transactions on Pattern Analysis and Machine Intelligence

IF18.6

2026-01-05

PREAI

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

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs 生成式AI中条件公平性的运行时监控与执行

RUNTIME VERIFICATION, RV 2025

IF0

2026-01-01

PREAI

Cheng, Chih-Hong; Wu, Changshun; Zhao, Xingyu; Bensalem, Saddek; Ruess, Harald

Safeguarding large language models: a survey 保护大型语言模型：一项综述

Artificial Intelligence Review

IF13.9

2025-10-17

OAAI

Yi Dong; Ronghui Mu; Yanghao Zhang; Siqi Sun; Tianle Zhang; Changshun Wu; Gaojie Jin; Yi Qi; Jinwei Hu; Jie Meng; Saddek Bensalem; Xiaowei Huang

Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games 基于模型的卫星系统协作维护机动可靠性及性能分析：一种随机博弈方法

Journal of Systems and Software

IF4.1

2025-09-05

PREAI

Abdelhakim Baouya; Brahim Hamid; Otmane Ait Mohamed; Saddek Bensalem

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations 无人机辅助吊装作业验证与确认中的时钟偏差检测与缓解

AD HOC NETWORKS

IF4.8

2025-04-01

PREAI

Baouya, A; Hamid, B; Mohamed, OA; Bensalem, S

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games

INTERNET OF THINGS

IF7.6

2024-07-01

PREAI

Baouya, Abdelhakim; Hamid, Brahim; Guergen, Levent; Bensalem, Saddek

Generation and verification of learned stochastic automata using k-NN and statistical model checking

APPLIED INTELLIGENCE

IF3.5

2021-11-09

PREAI

Baouya, Abdelhakim; Chehida, Salim; Ouchani, Samir; Bensalem, Saddek; Bozga, Marius

Designing Autonomous Robots Toward a More Dependable Software Architecture 面向更可靠的软件架构设计自主机器人

IEEE ROBOTICS & AUTOMATION MAGAZINE

IF7.1

2009-03-01

PREAI

Bensalem, Saddek; Gallien, Matthieu; Ingrand, Felix; Kahloul, Imen; Thanh-Hung, Nguyen

研究方向