Concepedia

Saddek Bensalem

SB

Statistics

Publications

30

Citations

1.3K

H-Index

18

Active since

1995

Affiliations

Verimag(Current)

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Université Joseph Fourier

Institut de Recherche en Informatique et Systèmes Aléatoires

Saddek Bensalem is an author at Verimag specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal VerificationFormal MethodsComputer EngineeringVerificationSoftware AnalysisProgram AnalysisAutomated Reasoning

Publications per year

1995–2023

30

Publications

30

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 352 citations

Engineering, Automated Reasoning, Property Preserving Abstractions +7

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Engineering, Verification, Invariant Generation +20

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

Automatic Generation of Invariants

Saddek Bensalem, Yassine Lakhnech · Formal Methods in System Design · 1999 · 54 citations

Compositional verification for component-based systems and application

Saddek Bensalem, Marius Bozga, Trung-Hien Nguyen et al. · IET Software · 2010 · 48 citations · Full text

1–5 of 30