Saddek Bensalem
Scholar

Saddek Bensalem

Google Scholar ID: UxarTKgAAAAJ
Université Grenoble Alpes, VERIMAG
system design component-based design formal methods specification and verification logics and automata programming langage
Google Scholar↗
Citations & Impact
All-time
Citations
2,049
 
H-index
20
 
i10-index
49
 
Publications
20
 
Co-authors
22
list available
Publications
3 items
SPK: Eliciting Structured Prior Knowledge for Interpretable Out-of-Distribution Detection in Real-Time Object Detection
2026
Cited
0
Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design
2025
Cited
0
Randomized Smoothing Meets Vision-Language Models
2025
Cited
0
Co-authors
11 total
axel legay
axel legay
TRAXXEO
Felix Ingrand
Felix Ingrand
LAAS/CNRS, ANITI (Univ. Toulouse)
Chih-Hong Cheng
Chih-Hong Cheng
Carl von Ossietzky University of Oldenburg & Chalmers University of Technology
Xiaowei Huang
Xiaowei Huang
Professor of Computer Science, University of Liverpool
Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Natarajan Shankar
Natarajan Shankar
SRI International Computer Science Laboratory
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley