Concepedia

Author

Ismail Bennani

École Normale Supérieure - PSL

Also Known As

Ismail Bennani

2

Publications

49

Citations

2

H-Index

21

Concepts

All Affiliations

École Normale Supérieure - PSLLudwig-Maximilians-Universität MünchenArizona State UniversityÉcole Normale SupérieureUniversity of Luxembourg
IB

About

Ismail Bennani is an author at École Normale Supérieure - PSL specializing in computer science, formal specification, and systems engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

49

2

Computer Science

2

2

49

3

Systems Engineering

2

2

49

4

Computer Engineering

1

1

22

5

Data Science

1

1

22

Ismail Bennani

×

2

Publications

49

Citations

2

H-Index

YearCitations

ARCH-COMP 2020 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani,

EPiC series in computing

2020

27

ARCH-COMP 2021 Category Report: Falsification with Validation of Results

Gidon Ernst, Paolo Arcaini, Ismail Bennani,

EPiC series in computing

2021

22

Page 1