Get started
Author

Sofiène Tahar

Observed names: Prof Sofiene Fi Tahar, S. Tahar, SOFIENE TAHAR, SOFIÈNE TAHAR, So ene Tahar, Sofi Ene Tahar, SofiEne Tahar, Sofi`ene Tahar, Sofiene TAHAR, Sofiene Tahar, Sofiene Tahar (14383095), Sofiène Tahar, Sofine Tahar, SofiÈne Tahar, Sofiène Tahar, Sofiéne Tahar, Sofiéné Tahar, Sofi�ne Tahar, Tahar, Sofiene, Tahar, Sofiène, 1966-, Tahar, Sofiène, Tahar, Sofiène, Tahar, Sofiène 1966-
Observed institutions: Karlsruhe Institute of Technology, Langley Research Center, Xidian University, Khalifa University of Science and Technology, Ahmed Bin Mohammed Military College, STMicroelectronics (Canada), Polytechnique Montréal, Concordia University, Université de Montréal, National University of Sciences and Technology
ORCID: 0000-0002-5537-104X
Observed ORCID: 0000-0002-5537-104X
OpenAlex ID: A5007159598
Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries
2014 · Hicham Chaoui, Navid Golbon, et al. · IEEE Transactions on Industrial Electronics · 176
Adaptive multistage parallel interference cancellation for CDMA
1999 · Guoqiang Xue, Jianfeng Weng, et al. · IEEE Journal on Selected Areas in Communications · 123
Formal Verification Methods
2014 · Osman Hasan, Sofiène Tahar · Advances in information quality and management · 119
Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning
2016 · Mohamed Layouni, Mohamed Salah Hamdi, et al. · Applied Soft Computing · 117
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design
2011 · Aijiao Cui, Chip-Hong Chang, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 98
Formal verification of analog and mixed signal designs: A survey
2008 · Mohamed H. Zaki, Sofiène Tahar, et al. · Microelectronics Journal · 94
A Survey on IP Watermarking Techniques
2004 · Amr T. Abdel-Hamid, Sofiéne Tahar, et al. · Design Automation for Embedded Systems · 81
On the Formalization of the Lebesgue Integration Theory in HOL
2010 · Tarek Mhamdi, Osman Hasan, et al. · Lecture notes in computer science · 73
Design and verification of SystemC transaction-level models
2006 · A. Habibi, S. Tahar · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 71
Design for Verification of SystemC Transaction Level Models
2005 · A. Habibi, S. Tahar · Design, Automation, and Test in Europe · 68
IP watermarking techniques: survey and comparison
2004 · A.T. Abdel-Hamid, S. Tahar, et al. · 65
A Public-Key Watermarking Technique for IP Designs
2005 · A.T. Abdel-Hamid, S. Tahar, et al. · Design, Automation, and Test in Europe · 60
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency
2019 · Mahmoud Masadeh, Osman Hasan, et al. · IEEE Access · 58
PDF
IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level
2008 · Aijiao Cui, Chip Hong Chang, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 57
PDF
A Machine Learning Approach for Big Data in Oil and Gas Pipelines
2015 · Abduljalil Mohamed, Mohamed Salah Hamdi, et al. · International Conference on Future Internet of Things and Cloud (FiCloud) · 48
A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop
2018 · Mbarka Soualhia, Foutse Khomh, et al. · IEEE Transactions on Cloud Computing · 46
Comparative Study of Approximate Multipliers
2018 · Mahmoud Masadeh, Osman Hasan, et al. · ACM Great Lakes Symposium on VLSI (GLSVLSI) · 44
PDF
Task Scheduling in Big Data Platforms: A Systematic Literature Review
2017 · Mbarka Soualhia, Foutse Khomh, et al. · Journal of Systems and Software · 44
Formalization of Entropy Measures in HOL
2011 · Tarek Mhamdi, Osman Hasan, et al. · Lecture notes in computer science · 41
Generating Finite State Machines from System C
2006 · A. Habibi, H. Moinudeen, et al. · 41
Formalization of Reliability Block Diagrams in Higher-order Logic
2016 · Waqar Ahmed, Osman Hasan, et al. · Journal of Applied Logic · 40
PDF
Machine-Learning-Based Self-Tunable Design of Approximate Computing
2021 · Mahmoud Masadeh, Osman Hasan, et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 39
Formal Reliability Analysis Using Theorem Proving
2009 · Osman Hasan, Sofiene Tahar, et al. · IEEE Transactions on Computers · 37
JCHARMING: A bug reproduction approach using crash traces and directed model checking
2015 · Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, et al. · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 36
Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm
2006 · Amer Samarah, Ali Habibi, et al. · Proceedings · 35
Works count: 506
Citation count: 4,388
H-index: 30
I10-index: 133
Year
Topic
Type