S. Tahar

发表

Sofiène Tahar, Osman Hasan, S. Tahar, 2006 .
A. Hamou-Lhadj, S. Tahar, Mathieu Nayrolles, 2017, J. Softw. Evol. Process..
Sofiène Tahar, Osman Hasan, S. Tahar, 2007 .
P. Curzon, S. Tahar, R. Mizouni, 2004, Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004..
S. Tahar, M. Abdelghany, 2021, Handbook of Smart Energy Systems.
S. Tahar, P. Winkler, Henda Aridhi, 2015 .
S. Tahar, O. Hasan, U. Siddique, 2014, Mathematics in Computer Science.
Sofiène Tahar, Tarek Mhamdi, S. Tahar, 2004, ATVA.
Meral Shirazipour, S. Tahar, Y. Mokhtari, 2007 .
Sofiène Tahar, Xiaoyu Song, Francisco Corella, 1997, Formal Hardware Verification.
S. Tahar, M. Abdelghany, Waqar Ahmad, 2020, 2020 IEEE Electric Power and Energy Conference (EPEC).
A. Blandford, P. Curzon, S. Tahar, 2022 .
S. Tahar, Vincent Aravantinos, M. Yousri, 2012 .
Sofiène Tahar, Mohamed Abdelghany, S. Tahar, 2021, CICM.
Osman Hasan, Sofiène Tahar, Waqar Ahmad, 2020, Formal Aspects of Computing.
Umair Siddique, Sofiène Tahar, Osman Hasan, 2015, 2015 Annual IEEE Systems Conference (SysCon) Proceedings.
Sofiène Tahar, Osman Hasan, S. Tahar, 2010, Journal of Computer Science and Technology.
Sofiène Tahar, Osman Hasan, Naeem Abbasi, 2014 .
Sofiène Tahar, Osman Hasan, S. Tahar, 2011 .
Sofiène Tahar, Osman Hasan, Tsvetan Dunchev, 2017, SETTA.
Sofiène Tahar, Osman Hasan, Waqar Ahmad, 2016 .
Sofiène Tahar, Osman Hasan, Mohammad Salah Hamdi, 2014 .
Umair Siddique, Sofiène Tahar, Osman Hasan, 2017, PloS one.
S. Tahar, Adnan Rashid, Elif Deniz, 2022, CICM.
Sofiène Tahar, Prakash Panangaden, Mohamed Yousri Mahmoud, 2015, FMICS.
Sofiène Tahar, Vincent Aravantinos, Mohamed Yousri Mahmoud, 2014, ITP.
Sofiène Tahar, Vincent Aravantinos, Mohamed Yousri Mahmoud, 2013, NASA Formal Methods.
Sofiène Tahar, Amjad Gawanmeh, Anis Souari, 2012, 10th IEEE International NEWCAS Conference.
Sofiène Tahar, Behzad Akbarpour, Abu Nasser Mohammed Abdullah, 2009, FMWS@CONCUR.
Sofiène Tahar, Behzad Akbarpour, S. Tahar, 2007, J. Appl. Log..
Sofiène Tahar, Behzad Akbarpour, Abu Nasser Mohammed Abdullah, 2006, 2006 Formal Methods in Computer Aided Design.
Sofiène Tahar, Behzad Akbarpour, S. Tahar, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sofiène Tahar, Behzad Akbarpour, S. Tahar, 2004, FMCAD.
Sofiène Tahar, Behzad Akbarpour, S. Tahar, 2004, TPHOLs.
Sofiène Tahar, Osman Hasan, S. Tahar, 2008, Journal of Automated Reasoning.
Sofiène Tahar, Osman Hasan, S. Tahar, 2008, ISPASS 2008 - IEEE International Symposium on Performance Analysis of Systems and software.
Sofiène Tahar, Osman Hasan, S. Tahar, 2007, CADE.
Sofiène Tahar, Mohamed Salah Hamdi, Abduljalil Mohamed, 2015, 2015 19th International Conference on Information Visualisation.
Sofiène Tahar, Mohamed Abid, Osman Hasan, 2014, Formal Aspects of Computing.
Sofiène Tahar, Osman Hasan, S. Tahar, 2007, Theor. Comput. Sci..
Sofiène Tahar, Osman Hasan, S. Tahar, 2015 .
S. Tahar, U. Siddique, M. Y. Mahmoud, 2018, FLAP.
Umair Siddique, Sofiène Tahar, Mohamed Yousri Mahmoud, 2014, ITP.
Sofiène Tahar, Ibtissem Seghaier, S. Tahar, 2017, VECoS.
Sofiène Tahar, Foutse Khomh, Mbarka Soualhia, 2017, J. Syst. Softw..
Sebastien Le Beux, Fabrice Raineri, Hassnaa El-Derhalli, 2021, ArXiv.
Sofiène Tahar, Paul Curzon, Rabeb Mizouni, 2006, Microelectron. J..
Sébastien Le Beux, Hassnaa El-Derhalli, Sofiène Tahar, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Osman Hasan, Amr Mohamed, Asad Ahmed, 2016, 2016 International Conference on Open Source Systems & Technologies (ICOSST).
Ons Lahiouel, Henda Aridhi, Sofiène Tahar, 2017, Integr..
Sofiène Tahar, Chip-Hong Chang, Aijiao Cui, 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sofiène Tahar, Amr T. Abdel-Hamid, El Mostapha Aboulhamid, 2006, First NASA/ESA Conference on Adaptive Hardware and Systems (AHS'06).
Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2010, J. Electron. Test..
Sofiène Tahar, Amjad Gawanmeh, Kirsten Winter, 2008, J. Syst. Archit..
Sofiène Tahar, Amjad Gawanmeh, Ali Habibi, 2007, J. Circuits Syst. Comput..
S. Tahar, A. Habibi, A. Gawanmeh, 2006, 2006 6th International Workshop on System on Chip for Real Time Applications.
Sofiène Tahar, Ali Habibi, Haja Moinudeen, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Sofiène Tahar, Ali Habibi, A. Habibi, 2005, 2005 12th IEEE International Conference on Electronics, Circuits and Systems.
S. Tahar, A. Habibi, H. Moinudeen, 2005, Canadian Conference on Electrical and Computer Engineering, 2005..
Sofiène Tahar, Otmane Aït Mohamed, Ali Habibi, 2005, Design, Automation and Test in Europe.
Sofiène Tahar, Amjad Gawanmeh, Ali Habibi, 2005, Abstract State Machines.
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, 2004, J. Circuits Syst. Comput..
Sofiène Tahar, Xiaoyu Song, M. H. Zobair, 2004 .
Sofiène Tahar, Hong Peng, Yassine Mokhtari, 2003, ICFEM.
Sofiène Tahar, Paul Curzon, Rabeb Mizouni, 2003 .
Sofiène Tahar, Ferhat Khendek, Hong Peng, 2003, International Journal on Software Tools for Technology Transfer.
Sofiène Tahar, Yassine Mokhtari, Mohamed Zaki, 2003 .
Sofiène Tahar, Amjad Gawanmeh, Kirsten Winter, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Hong Peng, Sofiène Tahar, S. Tahar, 2000, ICM 2000. Proceedings of the 12th International Conference on Microelectronics. (IEEE Cat. No.00EX453).
Sofiène Tahar, Paul Curzon, P. Curzon, 1999, Nord. J. Comput..
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Sofiène Tahar, Subhashini Balakrishnan, S. Tahar, 1999, Proceedings Ninth Great Lakes Symposium on VLSI.
Sofiène Tahar, Xiaoyu Song, Jianping Lu, 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).
Sofiène Tahar, Jianping Lu, S. Tahar, 1998, Proceedings of the 8th Great Lakes Symposium on VLSI (Cat. No.98TB100222).
Sofiène Tahar, Xiaoyu Song, Jianping Lu, 1998 .
Sofiène Tahar, Subhashini Balakrishnan, S. Tahar, 1997 .
Sofiène Tahar, Xiaoyu Song, Francisco Corella, 1996, FMCAD.
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Sofiène Tahar, Paul Curzon, P. Curzon, 1996, TPHOLs.
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, 1996, Proceedings of the Sixth Great Lakes Symposium on VLSI.
Amr T. Abdel-Hamid, El Mostapha Aboulhamid, Sofiène Tahar, 2004, Des. Autom. Embed. Syst..
Sofiène Tahar, Osman Hasan, Ghassen Helali, 2013, SBMF.
Sofiène Tahar, Osman Hasan, Waqar Ahmad, 2016, CICM.
Sofiène Tahar, Valdivino Alexandre de Santiago Junior, S. Tahar, 2015, SBMF.
Umair Siddique, Sofiène Tahar, Osman Hasan, 2015, CICM.
Sofiène Tahar, Hüseyin Çambaşı, Özgür Kuru, 2019, 2019 Innovations in Intelligent Systems and Applications Conference (ASYU).
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2014, Math. Comput. Sci..
Sofiène Tahar, Foutse Khomh, Mbarka Soualhia, 2020, IEEE Transactions on Cloud Computing.
Zhiwei Wang, Mohamed H. Zaki, Naeem Abbasi, 2009, 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop.
Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2009, 2009 Formal Methods in Computer-Aided Design.
Sofiène Tahar, Paul Curzon, Haiyan Xiong, 1999, TPHOLs.
Sofiène Tahar, Jozef Hooman, Mohamed Layouni, 2003, CHARME.
Sofiène Tahar, Luis Rodrigues, Mohamed H. Zaki, 2011, NASA Formal Methods.
Sofiène Tahar, Xiaoyu Song, Otmane Aït Mohamed, 2008, ICTAC.
Sofiène Tahar, Hicham Chaoui, Navid Golbon, 2015, IEEE Transactions on Industrial Electronics.
Sofiène Tahar, Mohamed H. Zaki, Henda Aridhi, 2016, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
S. Tahar, E. Cerny, 1999 .
Sofiène Tahar, Ali Habibi, A. Habibi, 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Sofiène Tahar, Osman Hasan, Liya Liu, 2017, 2017 Annual IEEE International Systems Conference (SysCon).
Sofiène Tahar, Osman Hasan, Liya Liu, 2013, Journal of Computer Science and Technology.
Sofiène Tahar, Osman Hasan, Liya Liu, 2011, ATVA.
Sofiène Tahar, Osman Hasan, Mohamed Layouni, 2014 .
Sidi Mohamed Beillahi, S. Tahar, M. Y. Mahmoud, 2019, Formal Aspects of Computing.
Umair Siddique, Sofiène Tahar, S. Tahar, 2017, J. Comput. Syst. Sci..
S. Tahar, U. Siddique, 2016, Formal Aspects of Computing.
Umair Siddique, Sofiène Tahar, S. Tahar, 2014, Formalisms for Reuse and Systems Integration.
Umair Siddique, Sofiène Tahar, S. Tahar, 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
Sofiène Tahar, Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, 2016, NFM.
Umair Siddique, Sofiène Tahar, Cezary Kaliszyk, 2015, CICM.
Osman Hasan, Sofiène Tahar, Sanaz Khan-Afshar, 2014, Optics & Photonics - Optical Engineering + Applications.
Sofiène Tahar, Mohamed Yousri Mahmoud, S. Tahar, 2014, NASA Formal Methods.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2013, NASA Formal Methods.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2012, Automated Deduction in Geometry.
Sofiène Tahar, Osman Hasan, Sanaz Khan Afshar, 2009, TPHOLs.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2013, Optics & Photonics - Optical Engineering + Applications.
S. Aïssa, S. Tahar, Saif Najmeddin, 2020, GLOBECOM 2020 - 2020 IEEE Global Communications Conference.
Sofiène Tahar, Mohamed H. Zaki, Paul Winkler, 2014, GLSVLSI '14.
Sofiène Tahar, Mohamed H. Zaki, Henda Aridhi, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sofiène Tahar, Osman Hasan, Yassmeen Elderhalli, 2019, IEEE Access.
Sofiène Tahar, Osman Hasan, Waqar Ahmad, 2019, FLAP.
Sofiène Tahar, Amjad Gawanmeh, Mohamed Lassaad Ammari, 2014, 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE).
Kirubel W. Afrassa, Kirubel Wube AFRASSA, Ahmet Ziya BOZ, 2019, 2019 Innovations in Intelligent Systems and Applications Conference (ASYU).
A. Jantsch, S. Tahar, Nahla El-Araby, 2021, 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).
Sofiène Tahar, Osman Hasan, Yassmeen Elderhalli, 2020, CICM.
Osman Hasan, Sofiène Tahar, Yassmeen Elderhalli, 2019, ICFEM.
Sofiène Tahar, Osman Hasan, Joost-Pieter Katoen, 2019, SEFM.
Osman Hasan, Yassmeen Elderhalli, Sofiene Tahar, 2019, ArXiv.
Sofiène Tahar, Osman Hasan, Waqar Ahmad, 2018, ArXiv.
Umair Siddique, Sofiène Tahar, Osman Hasan, 2014, SBMF.
Sonia Aïssa, Ali Bayat, Sofiène Tahar, 2019, 2019 IEEE Wireless Communications and Networking Conference (WCNC).
Sofiène Tahar, Foutse Khomh, Mbarka Soualhia, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.
Sofiène Tahar, Osman Hasan, S. Tahar, 2007, TPHOLs.
Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, 2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS).
Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, GLSVLSI '14.
Sofiène Tahar, Ghiath Al Sammane, Mohamed H. Zaki, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
Sofiène Tahar, Vincent Aravantinos, S. Tahar, 2014, ITP.
Sofiène Tahar, Otmane Aït Mohamed, Ali Habibi, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Sofiène Tahar, Osman Hasan, S. Tahar, 2010, ASM.
Sofiène Tahar, Osman Hasan, S. Tahar, 2009, FMWS@CONCUR.
Sofiène Tahar, Osman Hasan, S. Tahar, 2008, Journal of Automated Reasoning.
Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2008, Microelectron. J..
Sofiène Tahar, El Mostapha Aboulhamid, Amr T. Abdel-Hamid, 2005, Design, Automation and Test in Europe.
Sofiène Tahar, Osman Hasan, Mahmoud Masadeh, 2019, IEEE Access.
Sofiène Tahar, Osman Hasan, Tarek Mhamdi, 2012, ICFEM.
Sofiène Tahar, Mohamed Salah Hamdi, Abduljalil Mohamed, 2015, 2015 3rd International Conference on Future Internet of Things and Cloud.
Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
S. Tahar, M. Elleuch, 2023, 2023 IEEE Symposium on Computers and Communications (ISCC).
Sofiène Tahar, Osman Hasan, Mahmoud Masadeh, 2021, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1994, EURO-DAC '94.
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1994, TPHOLs.
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1993, HUG.
Sofiène Tahar, A. Habibi, Yon Jun Shin, 2007 .
Sofiène Tahar, Vincent Aravantinos, Osman Hasan, 2014, CICM.
Sofiène Tahar, Nawwaf N. Kharma, Ali Habibi, 2006, 2006 IEEE International High Level Design Validation and Test Workshop.
Sofiène Tahar, Mohamed H. Zaki, William Denman, 2011, IET Circuits Devices Syst..
Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2009, J. Aerosp. Comput. Inf. Commun..
Sofiène Tahar, Guy Bois, Ghiath Al Sammane, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
G. Bois, S. Tahar, G. Al Sammane, 2007, 2007 50th Midwest Symposium on Circuits and Systems.
Osman Hasan, Sofiène Tahar, Mohamed H. Zaki, 2015 .
Sofiène Tahar, Ghiath Al Sammane, Mohamed H. Zaki, 2007, FDL.
Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2007, ISoLA.
Sofiène Tahar, Mohamed Abid, Osman Hasan, 2013, 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.
Sofiène Tahar, Mohamed Abid, Osman Hasan, 2011, ICFEM.
Sofiène Tahar, Osman Hasan, Jigar Patel, 2011, J. Appl. Log..
Sofiène Tahar, Osman Hasan, S. Tahar, 2011, J. Appl. Log..
Sofiène Tahar, Mohamed Abid, Osman Hasan, 2016, VECoS.
Sofiène Tahar, Farida Cheriet, Gabriela Nicolescu, 2012, 10th IEEE International NEWCAS Conference.
Y. Mokhtari, S. Tahar, M. Zaki, 2004, The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004..
Waqar Ahmad, Mohamed Abdelghany, Sofiene Tahar, 2020, ArXiv.
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1998, Formal Methods Syst. Des..
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1995, Comput. J..
Sofiène Tahar, Ramayya Kumar, S. Tahar, 1993 .
Sofiène Tahar, Yassmeen Elderhalli, Mahmoud Masadeh, 2021, ACM J. Emerg. Technol. Comput. Syst..
Sofiène Tahar, Osman Hasan, Naeem Abbasi, 2010, IEEE Transactions on Computers.
Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sofiène Tahar, Adel Ghazel, Ali Habibi, 2002, Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools.
T. Le-Ngoc, F. Khendek, T.H. Bui, 1999, Engineering Solutions for the Next Millennium. 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat. No.99TH8411).
Sofiène Tahar, Osman Hasan, Mahmoud Masadeh, 2018, ACM Great Lakes Symposium on VLSI.
S. Tahar, O. Hasan, Mahmoud Masadeh, 2020, 2020 32nd International Conference on Microelectronics (ICM).
Sofiène Tahar, Paul Curzon, Otmane Ait Mohamed, 1998 .
Sofiène Tahar, Vincent Aravantinos, Osman Hasan, 2013, ITP.
S. Tahar, Y. Mokhtari, Mohamed H. Zaki, 2004 .