94
Publications
2.5K
Citations
27
H-Index
1998
Active since
Sofiène Tahar is an author at Concordia University specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringFormal VerificationSystems EngineeringFormal MethodsVerificationProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
1998–2024
94
94
Rows per page
1–5 of 94