◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Bensalem

31 papers hereh-index 375.4k citations247 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • middle author13
  • last author12

Across the 28 of 31 papers where every author was matched, so the position is known.

fields
  • cs.LO8
  • cs.LG6
  • cs.SE5
  • cs.CV3
  • cs.AI2
  • cs.NI2
same name
  • S. Bensalem — 1 paper, h 3
  • S. Bensalem — 1 paper, h 5

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20102026
most citedStatistical Model Checking : An Overview

25 citations · 97 across the 30 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LG2021★ 3 cited

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes

Changshun Wu, Yliès Falcone, Saddek Bensalem

Classification neural networks fail to detect inputs that do not fall inside the classes they have been trained for. Runtime monitoring techniques on the neuron activation pattern…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.