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
Contact
No contact links provided.
Publications
2 items
Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design
2025
Cited
0
Randomized Smoothing Meets Vision-Language Models
2025
Cited
0
Resume (English only)
Co-authors
22 total
axel legay
axel legay
TRAXXEO
Felix Ingrand
Felix Ingrand
LAAS/CNRS, ANITI (Univ. Toulouse)
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Chih-Hong Cheng
Chih-Hong Cheng
Carl von Ossietzky University of Oldenburg & Chalmers University of Technology
Co-author 6
Co-author 6
Xiaowei Huang
Xiaowei Huang
Professor of Computer Science, University of Liverpool
Co-author 8
Co-author 8