World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
38
Citations
6096
World Ranking
10240
National Ranking
245

Overview

Saddek Bensalem is affiliated with Grenoble Alpes University in France. Their research spans across the fields of Computer Science and Engineering, with a focus on several subfields including Artificial Intelligence, Software, Computer Networks and Communications, Computational Theory and Mathematics, and Electrical and Electronic Engineering.

The main topics covered in Bensalem's work include:

  • Adversarial Robustness in Machine Learning
  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Anomaly Detection Techniques and Applications
  • Semantic Web and Ontologies
  • Advanced Software Engineering Methodologies
  • Modular Robots and Swarm Intelligence

Bensalem has published multiple papers, with recent notable works including:

  • "A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation," 2023, arXiv (Cornell University)
  • "Programming dynamic reconfigurable systems," 2021, International Journal on Software Tools for Technology Transfer
  • "What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems," 2023, arXiv (Cornell University)
  • "Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS," 2020, arXiv (Cornell University)
  • "Prioritizing Corners in OoD Detectors via Symbolic String Manipulation," 2022, arXiv (Cornell University)

Bensalem frequently publishes in venues such as arXiv (Cornell University) and the International Journal on Software Tools for Technology Transfer.

Their collaboration network includes frequent coauthors such as:

  • Chih-Hong Cheng
  • Xiaowei Huang
  • Changshun Wu
  • Panagiotis Katsaros
  • Doron Peled

In addition to articles, Bensalem has contributed to book publications through Springer Science+Business Media, with works including:

  • Theoretical Aspects of Software Engineering (2022)
  • Software Verification and Formal Methods for ML-Enabled Autonomous Systems (2022)

Best Publications

  • Statistical model checking: an overview

    Axel Legay;Benoît Delahaye;Saddek Bensalem

  • Property preserving abstractions for the verification of concurrent systems

    C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani

  • Computing abstractions of infinite state systems compositionally and automatically

    S. Bensalem;Y. Lakhnech;S. Owre

  • Rigorous Component-Based System Design Using the BIP Framework

    A Basu;B Bensalem;M Bozga;J Combaz

  • An Overview of SAL

    Saddek Bensalem;Vijay Ganesh;Yassine Lakhnech;Cesar Munoz

  • Powerful Techniques for the Automatic Generation of Invariants

    Saddek Bensalem;Yassine Lakhnech;Hassen Saïdi

  • D-Finder: A Tool for Compositional Deadlock Detection and Verification

    Saddek Bensalem;Marius Bozga;Thanh-Hung Nguyen;Joseph Sifakis

  • Property Preserving Simulations

    Saddek Bensalem;Ahmed Bouajjani;Claire Loiseaux;Joseph Sifakis

  • Compositional Verification for Component-Based Systems and Application

    Saddek Bensalem;Marius Bozga;Joseph Sifakis;Thanh-Hung Nguyen

  • Dynamic deadlock analysis of multi-threaded programs

    Saddek Bensalem;Klaus Havelund

  • Statistical abstraction and model-checking of large heterogeneous systems

    Ananda Basu;Saddek Bensalem;Marius Bozga;Benoît Caillaud

  • Incremental Verification by Abstraction

    Yassine Lakhnech;Saddek Bensalem;Sergey Berezin;Sam Owre

  • Designing autonomous robots

    S. Bensalem;M. Gallien;F. Ingrand;I. Kahloul

  • InVeSt : A tool for the verification of invariants

    S. Bensalem;Y. Lakhnech;S. Owre

  • Automatic Generation of Invariants

    Saddek Bensalem;Yassine Lakhnech

  • Compositional verification for component-based systems and application

    Saddek Bensalem;Marius Bozga;Thanh-Hung Nguyen;Joseph Sifakis

  • Runtime verification of component-based systems

    Yliès Falcone;Mohamad Jaber;Thanh-Hung Nguyen;Marius Bozga

  • Incremental Component-Based Construction and Verification of a Robotic System

    Ananda Basu;Matthieu Gallien;Charles Lesire;Thanh-Hung Nguyen

  • Abstracting WS1S Systems to Verify Parameterized Networks

    Kai Baukus;Saddek Bensalem;Yassine Lakhnech;Karsten Stahl

  • Incremental component-based construction and verification using invariants

    Saddek Bensalem;Marius Bozga;Axel Legay;Thanh-Hung Nguyen

  • Statistical abstraction and model-checking of large heterogeneous systems

    Ananda Basu;Saddek Bensalem;Marius Bozga;Benoît Delahaye

Frequent Co-Authors

Marius Bozga
Marius Bozga Grenoble Alpes University
Axel Legay
Axel Legay Université Catholique de Louvain
Doron Peled
Doron Peled Bar-Ilan University
Stavros Tripakis
Stavros Tripakis Northeastern University
Mohamad Y. Jaber
Mohamad Y. Jaber Toronto Metropolitan University
Klaus Havelund
Klaus Havelund Jet Propulsion Lab
Marion Leboyer
Marion Leboyer Paris-Est Créteil University
Alois Knoll
Alois Knoll Technical University of Munich
Roberto Passerone
Roberto Passerone University of Trento

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to diverse, related fields and flexible learning options. For those interested in analytics, a data science degree is a popular choice, offering the skills needed for today’s data-driven careers. If technology and engineering are calling, consider online electrical engineering courses USA for cutting-edge knowledge you can study from home.

Not everyone needs a four-year degree to jumpstart their career. There are easy licenses and certifications to get that provide fast entry into high-demand tech roles. These quick credentials can often translate into strong salaries and new job opportunities.

For those seeking advanced credentials without a long commitment, check out the quickest online masters degree options. Accelerated graduate programs help you gain specialized expertise in less time and with more flexibility, putting you on a faster track to career growth in the tech sector.

Best Scientists Citing Saddek Bensalem

Trending Scientists

Recently Published Articles