Scholar

Sofiene Tahar

Google Scholar ID: NTUnEaoAAAAJ

Concordia University

Formal MethodsHardware VerificationReliability AnalysisSystem-on-ChipAnalog and Mixed Signal

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,780

H-index

19

i10-index

44

Publications

20

Co-authors

32

list available

Contact

Emailtahar@ece.concordia.ca

Publications

2 items

On the Formalization of Network Topology Matrices in HOL

2026

Cited

0

Extending XReason: Formal Explanations for Adversarial Detection

2024

Cited

0

Resume (English only)

Background

Professor in Electrical & Computer Engineering

Miscellany

Personal Interests

Co-authors

32 total

Mohamed H. Zaki

Western University