Follow
Sofiene Tahar
Title
Cited by
Cited by
Year
Adaptive multistage parallel interference cancellation for CDMA
G Xue, J Weng, T Le-Ngoc, S Tahar
IEEE Journal On selected areas in communications 17 (10), 1815-1827, 1999
2091999
Lyapunov-based adaptive state of charge and state of health estimation for lithium-ion batteries
H Chaoui, N Golbon, I Hmouz, R Souissi, S Tahar
IEEE Transactions on Industrial Electronics 62 (3), 1610-1618, 2014
1822014
Design and verification of SystemC transaction-level models
A Habibi, S Tahar
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 14 (1), 57-68, 2006
1542006
Formal verification of analog and mixed signal designs: A survey
MH Zaki, S Tahar, G Bois
Microelectronics journal 39 (12), 1395-1404, 2008
1452008
A robust FSM watermarking scheme for IP protection of sequential circuit design
A Cui, CH Chang, S Tahar, AT Abdel-Hamid
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011
1142011
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9, 211-227, 2004
1102004
Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning
M Layouni, MS Hamdi, S Tahar
Applied Soft Computing 52, 247-261, 2017
1052017
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
1012015
On the formalization of the Lebesgue integration theory in HOL
T Mhamdi, O Hasan, S Tahar
Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010
842010
IP watermarking techniques: Survey and comparison
AT Abdel-Hamid, S Tahar, EM Aboulhamid
The 3rd IEEE International Workshop on System-on-Chip for Real-Time …, 2003
832003
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
702005
Automated coverage directed test generation using a cell-based genetic algorithm
A Samarah, A Habibi, S Tahar, N Kharma
2006 IEEE International High Level Design Validation and Test Workshop, 19-26, 2006
632006
Generating finite state machines from system C
A Habibi, H Moinudeen, S Tahar
Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006
572006
IP watermarking using incremental technology mapping at logic synthesis level
A Cui, CH Chang, S Tahar
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
562008
Task scheduling in big data platforms: a systematic literature review
M Soualhia, F Khomh, S Tahar
Journal of Systems and Software 134, 170-189, 2017
552017
Formal verification of the island tunnel controller using multiway decision graphs
Z Zhou, X Song, S Tahar, E Cerny, F Corella, M Langevin
Formal Methods in Computer-Aided Design: First International Conference …, 1996
521996
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
492011
A symbolic methodology for the verification of analog and mixed signal designs
G Al-Sammane, MH Zaki, S Tahar
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
482007
A machine learning approach for big data in oil and gas pipelines
A Mohamed, MS Hamdi, S Tahar
2015 3rd International Conference on Future Internet of Things and Cloud …, 2015
472015
Predicting scheduling failures in the cloud: A case study with google clusters and hadoop on amazon EMR
M Soualhia, F Khomh, S Tahar
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
472015
The system can't perform the operation now. Try again later.
Articles 1–20