Prof. Sofiène
Tahar
Concordia University, Canada
Email: tahar@ece.concordia.ca
Qualifications
1994 Ph.D., University of Karlsruhe, Germany
1990 M.Sc., University of Darmstadt, Germany
1987 B.Sc., University of Darmstadt, Germany
Publications (Selected)
-
Masadeh, M., Aoun, A., & Tahar, S. (2024, December). Energy-Efficient Approximate Squaring Unit. In 2024 International Conference on Microelectronics (ICM) (pp. 1-5). IEEE.
-
Barhoumi, O., Nour, M., Zaki, M. H., & Tahar, S. (2024). A Formally Integrated Adaptive Speed Management for Proactive Traffic Safety. Journal on Autonomous Transportation Systems, 2(3), 1-22.
-
Barhoumi, O., Zaki, M. H., & Tahar, S. (2024, August). Formal Analysis of Vehicular Crash Severity Using KeYmaera X. In International Symposium on Symbolic Computation in Software Science (pp. 1-19). Cham: Springer Nature Switzerland.
-
Elderhalli, Y., Hasan, O., & Tahar, S. (2024). Dynamic dependability analysis of shuffle-exchange networks. Formal Methods in System Design, 62(1), 285-325.
-
Barhoumi, O., Zaki, M. H., & Tahar, S. (2024). A formal approach to road safety assessment using traffic conflict techniques. IEEE Open Journal of Vehicular Technology.
-
Deniz, E., Rashid, A., Hasan, O., & Tahar, S. (2024). Formalization of the telegrapher’s equations using higher-order-logic theorem proving. Journal of Applied Logics—IfCoLog Journal of Logics and their Applications, 11(2).
-
Abdelghany, M., & Tahar, S. (2023). Reliability analysis of smart grids using formal methods. In Handbook of Smart Energy Systems (pp. 147-163). Cham: Springer International Publishing.
-
Aoun, A., Masadeh, M., & Tahar, S. (2022, December). On the Design of Approximate Sobel Filter. In 2022 International Conference on Microelectronics (ICM) (pp. 102-106). IEEE.
-
Deniz, E., Rashid, A., Hasan, O., & Tahar, S. (2022, September). On the formalization of the heat conduction problem in HOL. In International Conference on Intelligent Computer Mathematics (pp. 21-37). Cham: Springer International Publishing.
-
Masadeh, M., Elderhalli, Y., Hasan, O., & Tahar, S. (2021). A quality-assured approximate hardware accelerators–based on machine learning and dynamic partial reconfiguration. ACM Journal on Emerging Technologies in Computing Systems (JETC), 17(4), 1-19.
-
Najmeddin, S., Aïssa, S., & Tahar, S. (2021). Energy-efficient resource allocation in multi-UAV networks with NOMA. IEEE Transactions on Green Communications and Networking, 5(4), 1906-1917.
-
Abdelghany, M., Ahmad, W., & Tahar, S. (2021). Event tree reliability analysis of safety-critical systems using theorem proving. IEEE Systems Journal, 16(2), 2899-2910.
-
Masadeh, M., Hasan, O., & Tahar, S. (2021). Machine-learning-based self-tunable design of approximate computing. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 29(4), 800-813.
-
Abdelghany, M., & Tahar, S. (2021). Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks. IEEE Access, 9, 23929-23943.
-
Masadeh, M., Hasan, O., & Tahar, S. (2020, August). Machine learning-based self-compensating approximate computing. In 2020 IEEE International Systems Conference (SysCon) (pp. 1-6). IEEE.
Profile Details
https://www.concordia.ca/faculty/sofiene-tahar.html
https://scholar.google.com.hk/citations?user=NTUnEaoAAAAJ&hl=zh-CN&oi=sra
https://www.researchgate.net/scientific-contributions/Sofiene-Tahar-7994132