Saddek Bensalem

A survey of safety and trustworthiness of large language models through the lens of verification and validation

Xiaowei Huang, Wenjie Ruan, Wei Huang et al. · Artificial Intelligence Review · 2024 · 111 citations · Full text

Computing, Computer Science, Computer Systems +17

Designing autonomous robots

Saddek Bensalem, Matthieu Gallien, Félix Ingrand et al. · IEEE Robotics & Automation Magazine · 2009 · 71 citations

Engineering, Autonomous Systems, Systems Engineering +17

Safeguarding large language models: a survey

Yi Dong, Ronghui Mu, Yanghao Zhang et al. · Artificial Intelligence Review · 2025 · 48 citations · Full text

Computing, Computer Science, Computer Systems +8

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen et al. · Software & Systems Modeling · 2013 · 44 citations · Full text

Computing, Computer Engineering, Computer Science +17

Verification and validation meet planning and scheduling

Saddek Bensalem, Klaus Havelund, Andrea Orlandini · International Journal on Software Tools for Technology Transfer · 2013 · 42 citations

Management, Industrial Engineering, Operations Planning +11