O. Hasan
发表
W. Ahmed,
O. Hasan,
Usman Pervez,
2016
.
Osman Hasan,
O. Hasan,
2008
.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2006
.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2007
.
O. Hasan,
Adnan Rashid,
Ayesha Gauhar,
2020,
2020 IEEE International Systems Conference (SysCon).
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2009
.
S. Tahar,
Liya Liu,
O. Hasan,
2013
.
S. Tahar,
O. Hasan,
U. Siddique,
2014,
Mathematics in Computer Science.
Osman Hasan,
Syed Rafay Hasan,
Falah Awwad,
2018,
Energies.
S. Tahar,
O. Hasan,
M. Abid,
2016
.
O. Hasan,
Adnan Rashid,
Sa’ed Abed,
2022,
EURASIP J. Adv. Signal Process..
S. Tahar,
O. Hasan,
2007
.
Osman Hasan,
Syed Rafay Hasan,
Waqas Gul,
2016,
Integr..
Osman Hasan,
Mohamed H. Zaki,
Adnan Rashid,
2020,
IEEE Access.
Osman Hasan,
Sofiène Tahar,
Waqar Ahmad,
2020,
Formal Aspects of Computing.
Muhammad Shafique,
Faiq Khalid,
Osman Hasan,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Osman Hasan,
Riaz Uddin,
Syed Atif Naseem,
2018,
FLAP.
Osman Hasan,
Ammar Hasan,
Asad Ahmed,
2019,
FLAP.
Osman Hasan,
Adnan Rashid,
João Bispo,
2021,
PeerJ Computer Science.
Umair Siddique,
Sofiène Tahar,
Osman Hasan,
2015,
2015 Annual IEEE Systems Conference (SysCon) Proceedings.
Osman Hasan,
Falah Awwad,
Nabil Bastaki,
2020,
Energies.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2010,
Journal of Computer Science and Technology.
Osman Hasan,
Sumayya Shiraz,
O. Hasan,
2017
.
Sofiène Tahar,
Osman Hasan,
Naeem Abbasi,
2014
.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2011
.
Osman Hasan,
Waqar Ahmad,
O. Hasan,
2016
.
Sofiène Tahar,
Osman Hasan,
Tsvetan Dunchev,
2017,
SETTA.
Sofiène Tahar,
Osman Hasan,
Waqar Ahmad,
2016
.
Osman Hasan,
Amjad Gawanmeh,
Usman Pervez,
2018,
Comput. Syst. Sci. Eng..
Osman Hasan,
Sa'ed Abed,
Mishal Fatima Minhas,
2021,
Journal of electronic testing.
Osman Hasan,
Adnan Rashid,
O. Hasan,
2021
.
Sofiène Tahar,
Osman Hasan,
Mohammad Salah Hamdi,
2014
.
Osman Hasan,
Frédéric Mallet,
F. Mallet,
2021,
Sci. Comput. Program..
Kamel Barkaoui,
Osman Hasan,
Ammar Boucherit,
2021,
PNSE@Petri Nets.
Osman Hasan,
Waqar Ahmad,
O. Hasan,
2016,
ICFEM 2016.
Umair Siddique,
Sofiène Tahar,
Osman Hasan,
2017,
PloS one.
Osman Hasan,
Adnan Rashid,
O. Hasan,
2017,
CICM.
Krishna M. Sivalingam,
Alfredo Cuzzocrea,
Simone Diniz Junqueira Barbosa,
2020,
FTSCS.
Muhammad Shafique,
Faiq Khalid,
Osman Hasan,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Osman Hasan,
Adnan Rashid,
O. Hasan,
2020,
J. Syst. Archit..
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 Abid,
Osman Hasan,
2014,
Formal Aspects of Computing.
Osman Hasan,
Sofine Tahar,
O. Hasan,
2008
.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2007,
Theor. Comput. Sci..
Muhammad Shafique,
Osman Hasan,
Sana Mazahir,
2018,
IEEE Design & Test.
Muhammad Shafique,
Jörg Henkel,
Osman Hasan,
2017,
IEEE Transactions on Computers.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2015
.
Osman Hasan,
Talal Ahmad,
Farrukh Hijaz,
2010,
2010 International Conference on Information and Emerging Technologies.
Osman Hasan,
M. Zohaib Nawaz,
Philippe Fournier-Viger,
2021,
Appl. Soft Comput..
Osman Hasan,
Sohail Iqbal,
Binyameen Farooq,
2013,
ICFEM.
Umair Siddique,
Osman Hasan,
O. Hasan,
2014,
Journal of Automated Reasoning.
Osman Hasan,
Amr Mohamed,
Asad Ahmed,
2016,
2016 International Conference on Open Source Systems & Technologies (ICOSST).
Osman Hasan,
Syed Rafay Hasan,
Faiq Khalid Lodhi,
2014,
IET Circuits Devices Syst..
Faiq Khalid,
Osman Hasan,
Shahid Khan,
2018,
2018 Annual IEEE International Systems Conference (SysCon).
Osman Hasan,
Junaid Qadir,
O. Hasan,
2013,
IEEE Communications Surveys & Tutorials.
Faiq Khalid,
Osman Hasan,
Falah R. Awwad,
2016,
2016 IEEE International Symposium on Circuits and Systems (ISCAS).
Muhammad Abdullah Hanif,
M. Shafique,
O. Hasan,
2019,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sofiène Tahar,
Osman Hasan,
Ghassen Helali,
2013,
SBMF.
Osman Hasan,
Kashif Saghar,
Ainan Ihsan,
2019,
Comput. Stand. Interfaces.
S. R. Hasan,
M. Shafique,
O. Hasan,
2018,
Microprocess. Microsystems.
Osman Hasan,
Junaid Qadir,
Waqar Ahmad,
2016,
J. Netw. Comput. Appl..
Sofiène Tahar,
Osman Hasan,
Waqar Ahmad,
2016,
CICM.
Osman Hasan,
Falah R. Awwad,
Syed Rafay Hasan,
2016,
2016 IEEE International Symposium on Circuits and Systems (ISCAS).
Umair Siddique,
Sofiène Tahar,
Osman Hasan,
2015,
CICM.
Umair Siddique,
Osman Hasan,
O. Hasan,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Osman Hasan,
Shahid Ali Murtza,
Kashif Saghar,
2018,
2018 International Conference on Computing, Mathematics and Engineering Technologies (iCoMET).
Umair Siddique,
Sofiène Tahar,
Vincent Aravantinos,
2014,
Math. Comput. Sci..
Osman Hasan,
Nadra Ramzan,
F. K. Lodhi,
2010,
2010 International Conference on Information and Emerging Technologies.
Osman Hasan,
Adnan Rashid,
O. Hasan,
2018,
Microelectron. J..
Atif Mashkoor,
Osman Hasan,
Wolfgang Beer,
2013,
CD-ARES Workshops.
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
.
Osman Hasan,
M. Saqib Nawaz,
M. Zohaib Nawaz,
2020,
Applied Intelligence.
Osman Hasan,
Sofiène Tahar,
Sanaz Khan-Afshar,
2014,
Optics & Photonics - Optical Engineering + Applications.
Sofiène Tahar,
Osman Hasan,
Sanaz Khan Afshar,
2009,
TPHOLs.
Sofiène Tahar,
Osman Hasan,
Yassmeen Elderhalli,
2019,
IEEE Access.
Sofiène Tahar,
Osman Hasan,
Waqar Ahmad,
2019,
FLAP.
SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection
pdf
Muhammad Shafique,
Faiq Khalid,
Osman Hasan,
2020,
Microprocess. Microsystems.
Faiq Khalid,
Osman Hasan,
Awais M. Kamboh,
2019,
Sci. Comput. Program..
Muhammad Shafique,
Faiq Khalid,
Semeen Rehman,
2018,
ArXiv.
Runtime hardware Trojan monitors through modeling burst mode communication using formal verification
Faiq Khalid,
Osman Hasan,
Falah R. Awwad,
2018,
Integr..
Faiq Khalid,
Osman Hasan,
Syed Rafay Hasan,
2017,
2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS).
Osman Hasan,
Falah R. Awwad,
Syed Rafay Hasan,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Osman Hasan,
Falah R. Awwad,
Syed Rafay Hasan,
2015,
2015 Nordic Circuits and Systems Conference (NORCAS): NORCHIP & International Symposium on System-on-Chip (SoC).
Muhammad Shafique,
Jörg Henkel,
Osman Hasan,
2017,
Sci. Comput. Program..
Osman Hasan,
Adnan Rashid,
Sa'ed Abed,
2020,
IET systems biology.
Osman Hasan,
Sa'ed Abed,
Adnan Rashid,
2019,
SAC.
Sofiène Tahar,
Osman Hasan,
Yassmeen Elderhalli,
2020,
CICM.
Osman Hasan,
Sofiène Tahar,
Yassmeen Elderhalli,
2019,
ICFEM.
Osman Hasan,
Sofiene Tahar,
Yassmeen Elderhalli,
2019,
ArXiv.
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.
Sofiène Tahar,
Osman Hasan,
Waqar Ahmad,
2018,
NFM.
Sofiène Tahar,
Osman Hasan,
Waqar Ahmad,
2017,
ArXiv.
Sofiène Tahar,
Osman Hasan,
Yassmeen Elderhalli,
2018
.
Umair Siddique,
Osman Hasan,
Sohaib Ahmad,
2015,
Scalable Comput. Pract. Exp..
Umair Siddique,
Sofiène Tahar,
Osman Hasan,
2014,
SBMF.
Umair Siddique,
Osman Hasan,
Sohaib Ahmad,
2014,
2014 IEEE 23rd International WETICE Conference.
Sofiène Tahar,
Osman Hasan,
S. Tahar,
2007,
TPHOLs.
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,
Osman Hasan,
Mahmoud Masadeh,
2019,
IEEE Access.
Muhammad Abdullah Hanif,
Osman Hasan,
Muhammad Shafique,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Muhammad Shafique,
Muhammad Abdullah Hanif,
Osman Hasan,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Muhammad Shafique,
Osman Hasan,
Muhammad Kamran Ayub,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Sofiène Tahar,
Osman Hasan,
Tarek Mhamdi,
2012,
ICFEM.
Osman Hasan,
Amjad Gawanmeh,
Khalid Latif,
2015,
2015 17th International Conference on E-health Networking, Application & Services (HealthCom).
Osman Hasan,
Adnan Rashid,
O. Hasan,
2017,
CyPhy.
Osman Hasan,
Awais Mahmood,
Syed Rafay Hasan,
2019,
Advances in Environmental Engineering and Green Technologies.
Zahid Anwar,
Osman Hasan,
Muhammad Usama Sardar,
2017,
IEEE Access.
Osman Hasan,
M. Saqib Nawaz,
M. Zohaib Nawaz,
2020,
SAC.
Sofiène Tahar,
Osman Hasan,
Mahmoud Masadeh,
2021,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Sofiène Tahar,
Vincent Aravantinos,
Osman Hasan,
2014,
CICM.
Osman Hasan,
Sofiène Tahar,
Mohamed H. Zaki,
2015
.
Osman Hasan,
Falah Awwad,
Asad Ahmed,
2018,
FTSCS.
Sofiène Tahar,
Mohamed Abid,
Osman Hasan,
2016,
FTSCS.
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.
Osman Hasan,
Naeem Abbasi,
O. Hasan,
2010
.
Muhammad Shafique,
Jörg Henkel,
Osman Hasan,
2017,
J. Parallel Distributed Comput..
Muhammad Shafique,
Muhammad Abdullah Hanif,
Osman Hasan,
2020,
ACM J. Emerg. Technol. Comput. Syst..
Atif Mashkoor,
Osman Hasan,
A. Mashkoor,
2012,
ICCSA.
Sofiène Tahar,
Osman Hasan,
Naeem Abbasi,
2010,
IEEE Transactions on Computers.
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits
Muhammad Shafique,
Faiq Khalid,
Osman Hasan,
2018,
IEEE Access.
Osman Hasan,
Mumtaz Ali,
O. Hasan,
2017,
J. Circuits Syst. Comput..
Osman Hasan,
Waqar Ahmad,
Mahum Naseer,
2020,
Journal of Electronic Testing.
Osman Hasan,
Kashif Saghar,
Mishal Minhas,
2018,
2018 International Conference on Engineering and Emerging Technologies (ICEET).
Osman Hasan,
Qurat Ul Ain,
O. Hasan,
2018,
FTSCS.
Sofiène Tahar,
Osman Hasan,
Mahmoud Masadeh,
2018,
ACM Great Lakes Symposium on VLSI.
Osman Hasan,
Awais M. Kamboh,
Imran Hafeez Abbasi,
2016,
FTSCS.
S. Tahar,
O. Hasan,
Mahmoud Masadeh,
2020,
2020 32nd International Conference on Microelectronics (ICM).
TAREK MHAMDI,
OSMAN HASAN,
SOFIÈNE TAHAR,
2013,
TECS.
Sofiène Tahar,
Vincent Aravantinos,
Osman Hasan,
2013,
ITP.
Osman Hasan,
Sofine Tahar,
O. Hasan,
2015
.
Heba Khdr,
Osman Hasan,
Jörg Henkel,
2020,
2020 21st International Symposium on Quality Electronic Design (ISQED).