Sofiene Tahar
Concordia University
H-index: 35
North America-Canada
Top articles of Sofiene Tahar
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques | IEEE Open Journal of Vehicular Technology | Oumaima Barhoumi Mohamed H Zaki Sofiène Tahar | 2024/4/12 |
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving | Journal of Applied Logics—IfCoLog Journal of Logics and their Applications | Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar | 2024 |
Adaptive Approximate Accelerators with Controlled Quality Using Machine Learning | Mahmoud Masadeh Osman Hasan Sofiène Tahar | 2023/8/17 | |
Reliability analysis of smart grids using formal methods | Mohamed Abdelghany Sofiène Tahar | 2023/8/5 | |
Formal Analysis of an IoT-Based Healthcare Application | Maissa Elleuch Sofiene Tahar | 2023/7/9 | |
A machine learning based load value approximator guided by the tightened value locality | Alain Aoun Mahmoud Masadeh Sofiene Tahar | 2023 | |
Design space exploration for energy-efficient approximate Sobel filter | AEU - International Journal of Electronics and Communications | Alain Aoun Mahmoud Masadeh Sofiene Tahar | 2023 |
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings | Yi Li Sofiène Tahar | 2023/11/9 | |
Formalization of Functional Block Diagrams Using HOL Theorem Proving | Mohamed Abdelghany Sofiène Tahar | 2022/12/1 | |
Formal Probabilistic Risk Assessment of a Nuclear Power Plant | Mohamed Abdelghany Sofiène Tahar | 2022/11/29 | |
On the Formalization of the Heat Conduction Problem in HOL | Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar | 2022/9/17 | |
On the Design of Approximate Sobel Filter | Alain Aoun Mahmoud Masadeh Sofiene Tahar | 2022 | |
Machine-learning-based self-tunable design of approximate computing | IEEE Transactions on Very Large Scale Integration (VLSI) Systems | Mahmoud Masadeh Osman Hasan Sofiène Tahar | 2021/2/23 |
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation | arXiv preprint arXiv:2109.04196 | Mbarka Soualhia Foutse Khomh Sofiene Tahar | 2021/9/7 |
Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities | arXiv preprint arXiv:2102.02064 | Hassnaa El-Derhalli Lea Constans Sebastien Le Beux Alfredo De Rossi Fabrice Raineri | 2021/2/3 |
A quality-assured approximate hardware accelerators–based on machine learning and dynamic partial reconfiguration | ACM Journal on Emerging Technologies in Computing Systems (JETC) | Mahmoud Masadeh Yassmeen Elderhalli Osman Hasan Sofiene Tahar | 2021/8/21 |
Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks | IEEE Access | Mohamed Abdelghany Sofiène Tahar | 2021/1/18 |
Energy-efficient resource allocation in multi-UAV networks with NOMA | IEEE Transactions on Intelligent Transportation Systems | Nway Nway Ei Madyan Alsenwi Yan Kyaw Tun Zhu Han Choong Seon Hong | 2022/2/23 |
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving | arXiv preprint arXiv:2101.07174 | Mohamed Abdelghany Sofiene Tahar | 2021/1/18 |
Towards all-optical stochastic computing using photonic crystal nanocavities | ACM Journal on Emerging Technologies in Computing Systems (JETC) | Hassnaa El-Derhalli Léa Constans Sébastien Le Beux Alfredo De Rossi Fabrice Raineri | 2021/10/22 |