Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sofiene Tahar
conf.researchr.org general profile
ICSE 2019 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Wed 15 Jun 2022
Name:
Sofiene Tahar
Country:
Canada
Affiliation:
Concordia University
Contributions
2023
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
2022
FTSCS
Author of Formal Probabilistic Risk Assessment of a Nuclear Power Plant within the Formal Techniques for Safety-Critical Systems-track
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
2019
FormaliSE
Author of On the Formalization of Importance Measures using HOL Theorem Proving within the FormaliSE 2019-track
Share
x
Fri 9 May 19:10