Seguir
Sofiene Tahar
Título
Citado por
Citado por
Año
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
2081999
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
1872014
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
1552006
Formal verification of analog and mixed signal designs: A survey
MH Zaki, S Tahar, G Bois
Microelectronics journal 39 (12), 1395-1404, 2008
1502008
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
1172011
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
1122017
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9, 211-227, 2004
1102004
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
1072015
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
862003
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
852010
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
742005
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
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
612008
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
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
542017
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
522015
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
522011
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
511996
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
492015
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20