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
2001999
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
1462006
Formal verification of analog and mixed signal designs: A survey
MH Zaki, S Tahar, G Bois
Microelectronics journal 39 (12), 1395-1404, 2008
1302008
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
1252014
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9 (3), 211-227, 2004
932004
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
862015
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
832011
On the formalization of the Lebesgue integration theory in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 387-402, 2010
762010
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
692003
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
582005
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
512006
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
472007
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
472006
Formal verification of the island tunnel controller using multiway decision graphs
Z Zhou, X Song, S Tahar, E Cerny, F Corella, M Langevin
International Conference on Formal Methods in Computer-Aided Design, 233-247, 1996
471996
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
452011
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
452008
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.
G Al Sammane, MH Zaki, ZJ Dong, S Tahar
FDL, 293-298, 2007
442007
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
432017
Formal verification of analog designs using MetiTarski
W Denman, B Akbarpour, S Tahar, MH Zaki, LC Paulson
2009 Formal Methods in Computer-Aided Design, 93-100, 2009
422009
Formalization of continuous probability distributions
O Hasan, S Tahar
International Conference on Automated Deduction, 3-18, 2007
412007
The system can't perform the operation now. Try again later.
Articles 1–20