haiquan yang, zarina shukur, shahnorbanun sahran.  (2026).  a review of artificial intelligence for financial fraud detection.  - applied sciences.  1 - 32. 

fadila amanda, maria ulfah siregar, bambang sugiantoro, agung fatwanto, mhd reza mi pulungan, zarina shukur.  (2026).  a systematic literature review and bibliometric analysis of software tampering: trends and safeguards.  - international journal on informatics visualization (joiv).  369 - 375. 

murad njoum, rossilawati sulaiman, zarina shukur faizan qamar.  (2026).  a high-capacity image steganography based on random separate hashing data structure with secure chacha20-drbg and aes encryption algorithms.  - array.  1 - 29. 

hafiz adnan hussain, uzma jafar, zulkefli mansor, zarina shukur, mohd juzaiddin ab aziz, lusiana binti syaiful.  (2025).  reliefchain: a blockchain-enabled framework for transparent and accountable flood relief donations in malaysia.  - 2025 international conference on electrical engineering and informatics (iceei).  1 - 6. 

asmazatul adawiyah ramley, mohamad rizal bin abd rahman, zarina shukur, muhammad azwan ibrahim.  (2025).  manipulation of vehicle scales in legal metrology.  - akademika.  459 - 476. 

asmazatul adawiyah ramley, mohamad rizal bin abd rahman, zarina shukur, muhammad azwan ibrahim.  (2025).  manipulation of vehicle scales in legal metrology.  - akademika.  459 - 476. 

wenni syafitri, zarina shukur, umi asma’ mokhtar, rossilawati sulaiman.  (2025).  methodological review of social engineering policy model for digital marketing.  - (ijacsa) international journal of advanced computer science and applications.  874 - 885. 

haoliang wang, zarina shukur, khairul akram zainol ariffin, renhao xiao, lili wang.  (2025).  online exam cheating detection and blockchain trusted deposit based on yolov12.  - scientific reports.  1 - 22. 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohammad faidzul nasrudin & nasharuddin zainal.  (2025).  akalbot: aktiviti pemikiran komputasional dan atur cara dalam pembelajaran berasaskan pengalaman menggunakan robot.  - .  86 - 102. 

zarina shukur, abdullah mohd zin, islahuddin jalal.  (2025).  empowering afghanistan’s home economics through secure islamic fintech adoption.  - al-taqwa journal of social science.  339 - 358. 

seyedmostafa safavi; zarina shukur; muhammad ehsan rana.  (2025).  centeryou++: lightweight privacy enforcement for android using hybrid ai and cloud decision support.  - 2025 international conference on advancements in smart, secure and intelligent computing (assic).  1 - 5. 

ali fattahdizaji; mohammad pishdar; zarina shukur.  (2025).  investigating cyber threats against proof-of-work blockchain networks.  - 2024 ieee international conference on blockchain and distributed systems security (icbds).  1 - 14. 

srimurgan subramaniam, umi asma' mokhtar, zarina shukur, atif ahmad, shariffah rashidah syed othman, burhan irwan cheong.  (2025).  key factors influencing situational awareness for incident response in healthcare.  - the 3rd international conference on cyber resilience (iccr 2025.  1 - 7. 

muhammad nazir alias, sheikh imran iqbal ahmed, nursyahidah alias, zarina shukur, balqis abdullah.  (2025).  towards ensuring the authenticity and preservation of the digital qur’an: convergence of stakeholders, technology and governance.  - 2025 3rd international conference on cyber resilience (iccr).  1 - 6. 

aisyah abdul rahman.  (2025).  literasi kewangan islam.  - .  29 - 51. 

mahdi sahlabadia, raviechandren muniyandi, zarinashukur, md rezanur islam, morteza saberikamarposhti, kangbin yima.  (2024).  lpmsaef: lightweight process mining-based software architecture evaluation framework for security and performance analysis.  - heliyon.  1-30. 

mohammed abdul majeed, rossilawati sulaiman, zarina shukur.  (2024).  new text steganography technique based on part-of-speech tagging and format-preserving encryption.  - ksii transactions on internet and information systems.  170-191. 

myoungsu kim, insu oh, kangbin yim , mahdi sahlabadi and zarina shukur.  (2024).  security of 6g enabled vehicle-to-everything communication in emerging federated learning and blockchain technologies.  - ieee access.  33972 - 34001. 

syahanim bt. mohd salleh;zarina binti shukur;noorazean binti mohd ali.  (2024).  objek digital komputeran berasas teori beban kognitif.  - .  . 

abdulrahman abdullah arishi, nazhatul hafizah kamarudin, khairul azmi abu bakar, zarina binti shukur, mohammad kamrul hasan.  (2024).  cybersecurity awareness in schools: a systematic review of practices, challenges, and target audiences.  - international journal of advanced computer science and applications.  467 - 478. 

abdulrahman abdullah arishi, nazhatul hafizah kamarudin, khairul azmi abu bakar, zarina binti shukur, mohammad kamrul hasan.  (2024).  cybersecurity awareness in schools: a systematic review of practices, challenges, and target audiences.  - international journal of advanced computer science and applications.  467 - 478. 

njoum, murad; sulaiman, rossilawati; shukur, zarina; qamar, faizan.  (2024).  high-secured image lsb steganography using avl-tree with random rgb channel substitution.  - computers, materials and continua.  183 - 211. 

hazura mohamed.  (2024).  topic 6: quantitative ii: survey technique.  - .  . 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohammad faidzul nasrudin, nasharuddin zainal.  (2024).  modeling the impact of robotics learning experience on programming interest using the structured equation modeling approach.  - international journal of advanced computer science and applications (ijacsa) .  921 - 929. 

syahanim mohd salleh, zarina shukur, zaihosnita hood, .  (2024).  bengkel membina soalan pengaturcaraan berstrategi menggunakan pemancar.  - .  . 

seyedmostafa safavi , zarina shukur , muhammad ehsan rana, umi asma mokhtar , khairul azmi abu bakar , nizmar mohd nazar , farzana iasmin rumpa.  (2024).  securing the sustainable future of manufacturing: analysis of iot retrofit challenges and solutions.  - .  . 

zarina shukur.  (2024).  cerpen hibrid lagenda timur dan dongeng barat mengguna alatan ai: pengalaman pertama.  - buletin akses.  . 

teh athira.  (2024).  padu should have been thoroughly tested.  - the star.  . 

denice chan nora nee, zarina shukur.  (2024).  pembangunan aplikasi pengurusan perumahan: ozanacare.  - .  . 

nirmala abd kasim, zarina shukur.  (2024).  sistem e-undi ukm menggunakan teknologi rantaian blok (ukmvote).  - .  . 

pravin subramaniam, zarina shukur.  (2024).  aplikasi pengurusan tugasan untuk pelajar universiti (unitask).  - .  . 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohamma faidzul nasrudin, nasharuddin zainal, mazatul syeira mohd muslim.  (2024).  memperkasa minat pengaturcaraan melalui kit pembelajaran akalbot.  - buletin akses ftsm.  . 

burkan hawash, umi asma mokhtar, jongkil jay jeong, sean b. maynard, zarina shukur, siti norul huda sheikh abdullah, rozilawati razali, lim joo soon, atif ahmad.  (2024).  cyber situational awareness in security operation centres .  - 28th pacific asia conference on information systems, pacis 2024, ho chi minh city, vietnam, july 1-5, 2024.  1 - 19. 

nurul syafiqah mohd daud ,zarina shukur.  (2023).  sistem e-undi perwakilan pelajar ukm berasas rantaian blok (e-undisiswa).  - laporan teknik projek tahun akhir.  1. 

fareena mohammad firdaus, zarina shukur.  (2023).  sistem pengurusan derma bagi pengecualian cukai.  - laporan teknikal projek tahun akhir.  1-20. 

sasikumar devaraj, zarina shukur.  (2023).  aplikasi mudah alih pengurusan kewangan dengan mengunakkan kaedah open banking (regrex).  - laporan teknikal projek tahun akhir.  1-20. 

mahdi sahlabadi, zarina shukur, ravie chandren muniyandi and morteza saberikamarposhti.  (2023).  gdp: group-based differential privacy framework for secure process mining in the internet of medical things.  - 2023 international conference on electrical engineering and informatics (iceei).  1-7. 

zarina shukur.  (2023).  scams are like viruses, say experts.  - the star.  1. 

zarina shukur, umi asma' mokhtar, khairul akram zainol ariffin, masnizah mohd ,amelia natasya abdul wahab.  (2023).  blueprint: pusat kecemerlangan keselamatan siber.  - blueprint: pusat kecemerlangan keselamatan siber.  1-62. 

mahdi sahlabadi, ravie chandren muniyandi, zarina shukur, faizan qamar and syed hussain ali kazmi.  (2023).  process mining discovery techniques for software architecture lightweight evaluation framework.  - cmc-computers materials & continua.  5777-5797. 

mohammad kamrul hasan, akm ahasan habib, zarina shukur, fazili brahim, shayla islam, md abdur razzaque.  (2023).  review on cyber-physical and cyber-security system in smart grid: standards, protocols, constraints, and recommendations.  - journal of network and computer applications.  1-23. 

muhammad azwan ibrahim, faizan qamar, zarina shukur, nasharuddin zainal, nazri marzuki, maria ulfah siregar.  (2023).  formalizing attack tree on security object for mysani in legal metrology.  - systems.  1-16. 

hafiz adnan hussain, zulkefli mansor, zarina shukur and uzma jafar.  (2023).  ether-iot: a realtime lightweight and scalable blockchain-enabled cache algorithm for iot access control.  - computers, materials & continua.  3797-3815. 

sami ghoul, rossilawati sulaiman, zarina shukur.  (2023).  a review on security techniques in image steganography.  - international journal of advanced computer science and applications.  361-385. 

noor faridatul ainun zainal, zarina syukur, kauthar mohd daud, shahrina shahrani, masura rahmat, azura ishak & rohizah abd rahman.  (2023).  managing online programming lab using codezinger.  - asean journal of teaching & learning in higher education.  41-56. 

siti norul huda bt. sheikh abdullah;zarina binti shukur;masnizah binti mohd;ahmad tarmizi bin abdul ghani;mohd syazwan bin baharuddin;khairul azmi bin abu bakar;khairul akram bin zainol ariffin;wan fariza binti paizi @ fauzi;hasimi bin sallehudin;azana ha.  (2023).  cyber range platform: robust cyber threat intelligence handling for internet of things (iot) devices.  - .  . 

zarina binti shukur;maryati binti mohd. yusof;rossilawati binti sulaiman;andrew kam jia yi.  (2023).  connectivity through software standardization: metrology software certification criteria.  - .  . 

aisyah binti abdul rahman;hawati binti janor;zarina binti shukur;syajarul imna binti mohd amin.  (2023).  incorporating fintech elements into developing islamic financial literacy framework.  - .  . 

syahanim mohd salleh, zarina shukur.  (2023).  pembelajaran aktif, flip classroom, kolaboratif.  - persidangan penyelidikan pendidikan kebangsaaan xvii tahun 2023.  281-296. 

rosnizam eusoff, syahanim mohd salleh, zarina shukur.  (2023).  the usability of p2p-flip framework for teaching programming via flipped classroom.  - international conference on electrical engineering and informatics, iceei.  1-5. 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohammad faidzul nasrudin, nasharuddin zainal.  (2023).  akalbot: aktiviti pemikiran komputasional dan aturcara dalam pembelajaran berasaskan pengalaman menggunakan robot.  - kongres dan pertandingan inovasi dalam pengajaran dan pembelajaran (knovasi) 2023.  25-28. 

hafiz adnan hussain, zulkefli mansor, zarina shukur, and uzma jafar.  (2023).  dynamic access control policy based on blockchain and machine learning to enhance security in iot smart homes.  - proceedings of iconi 2023.  249-253. 

hafiz adnan hussain, zulkefli mansor, zarina shukur, uzma jafar.  (2023).  cost-optimized dynamic access control policy using blockchain and machine learning for enhanced security in iot smart homes.  - e international conference on advances in machine intelligence, and cybersecurity technologies (amict2023)..  1-6. 

seyedmostafa safavi, sadaf safavi and zarina shukur.  (2023).  investigating the role of blockchain in enhancing home security: a comprehensive study.  - 2023 21st ieee scored.  1-4. 

md arif hassan, zarina shukur.  (2022).  device identity-based user authentication on electronic payment system for secure e-wallet apps.  - electronics.  1-29. 

mahdi sahlabadi, ravie chandren muniyandi, zarina shukur, faizan qamar.  (2022).  lightweight software architecture evaluation for industry: a comprehensive review.  - sensors.  1-27. 

wenni syafitri, zarina shukur, umi a. mokhtar and rossilawati sulaiman and muhammad azwan ibrahim.  (2022).  social engineering attacks prevention: a systematic literature review.  - ieee access.  39325-39343. 

rahmad abdillah, zarina shukur, masnizah mohd, and ts. mohd zamri murah.  (2022).  phishing classification techniques: a systematic literature review.  - ieee access.  41574-41591. 

md arif hassan, zarina shukur, masnizah mohd.  (2022).  a penetration testing on malaysia popular e-wallets and m-banking apps.  - (ijacsa) international journal of advanced computer science and applications.  692-703. 

umi asma` binti mokhtar;zawiyah binti mohammad yusof;zarina binti shukur;ahmad tarmizi bin abdul ghani;khairul akram bin zainol ariffin.  (2022).  a policy framework for records management based on blockchain technology.  - .  . 

uzma jafar, mohd juzaiddin ab aziz, zarina shukur, hafiz adnan hussain.  (2022).  a systematic literature review and meta-analysis on scalable blockchain-based electronic voting systems.  - sensors.  1-43. 

mohammed abdul majeed, rossilawati sulaiman, zarina shukur.  (2022).  new text steganography technique based on multilayer encoding with format-preserving encryption and huffman coding.  - international journal of advanced computer science and applications (ijacsa).  163-172. 

kok ven jyn, umi asma mokhtar, zarina shukur.  (2022).  cyber resilience forum 2022: cyber resilience best practices for critical infrastructure organizations.  - buletin akses (volume 4).  10-11. 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohammad faidzul nasrudin, nasharuddin zainal, noor natazashadatul hanis abu.  (2022).  akalbot: aktiviti pemikiran komputasional, aturcara dan logik melalui robot.  - buletin akses.  26-27. 

islahuddin jalal, khairul azmi abu bakar, zarina shukur, norleyza jailani.  (2022).  achieving liveness in validators' performance efficiency consensus (vpec) based blockchain system using the zakat principles.  - international conference on cyber resilience (iccr).  1-5. 

rossilawati binti sulaiman;zarina binti shukur;noorazean binti mohd ali.  (2021).  a trusted digital islamic legacy model.  - .  . 

khairul azmi bin abu bakar;zarina binti shukur;ravie chandren a/l muniyandi.  (2021).  location based authentication using visible light communication.  - .  . 

rozilawati binti razali;zarina binti shukur;mohammad faidzul bin nasrudin;rosnah binti ismail.  (2021).  piawaian perkhidmatan kesihatan elektronik bersepadu negara asean.  - .  . 

hafiz adnan hussain, zulkefli mansor, zarina shukur.  (2021).  comprehensive survey and research directions on blockchain iot access control.  - international journal of advanced computer science and applications.  239-244. 

uzma jafar, mohd juzaiddin ab aziz, zarina shukur.  (2021).  blockchain for electronic voting system review and open research challenges..  - sensors.  1-22. 

mohammed abdul majeed, rossilawati sulaiman, zarina shukur and mohammad kamrul hasan.  (2021).  a review on text steganography techniques.  - mathematics.  1-28. 

seyedmostafa safavi and zarina shukur.  (2021).  centeryou: permission-based privacy framework in android environment.  - .  121. 

mansour esmaeilpour, shahnorbanun sahran, zarina shukur.  (2021).  cadar: a knowledge analysis application using cellular learning automata and distributed learning automata.  - .  113. 

nazatul aini abd majid, noor faridatul ainun zainal, zarina shukur, mohammad faidzul nasrudin dan nasharuddin zainal.  (2021).  akalbot: an educational robotic system to strengthen interest in programming.  - advancing knowledge for success (akses).  34. 

md arif hassan, zarina shukur.  (2021).  a secure multi factor user authentication framework for electronic payment system.  - 3rd international cyber resilience conference (crc).  1-6. 

md arif hassan, zarina shukur, mohammad kamrul hassan.  (2021).  enhancing multi-factor user authentication for electronic payments.  - international conference on inventive computation and information technologies (icicit 2020).  869-882. 

mohd firdaus othman, zarina shukur.  (2021).  sistem pakar sutkm.  - pta-ftsm.  1-22. 

nurul husna mohamad azman, zarina shukur.  (2021).  aplikasi derma darah berasaskan awan.  - .  1-14. 

azana hafizah mohd aman, zarina shukur.  (2021).  kolokium antarabangsa tertutup keselamatan siber.  - akses: advancing knowledge for success.  33. 

fariza fauzi, zarina shukur, mohd jasmy abd rahman.  (2021).  advancing knowledge for success.  - towards youth talent development in cyber security.  38-39. 

ahmad tarmizi bin abdul ghani, zarina binti shukur.  (2021).  langganan servis aws cloud oleh ftsm untuk penyelidikan dan pengajaran.  - buletin akses.  39. 

nader abdel karim, zarina shukur, abedelkarim al-banna.  (2020).  uipa: user authentication method based on user interface preferences for account recovery process.  - journal of information security and applications.  1-15. 

islahuddin jalal, zarina shukur and khairul azmi abu bakar.  (2020).  validators performance efficiency consensus (vpec): a public blockchain.  - test engineering & management.  17530-17539. 

syahanim mohd salleh, zarina shukur.  (2020).  pemancar: model pengajaran pengaturcaraan berasaskan teori beban kognitif.  - .  128. 

md arif hassan, zarina shukur, mohammad kamrul hasan.  (2020).  an improved time-based one time password authentication framework for electronic payments.  - (ijacsa) international journal of advanced computer science and applications.  359-366. 

nor azan mat zin, mohd syazwan baharuddin, zarina shukur, hafiz mohd sarim, hadi affendy dahlan, azana hafizah mohd aman.  (2020).  akses: advancing knowledge for success (issn 2710-7329).  - akses: advancing knowledge for success.  1-40. 

md arif hassan, zarina shukur, mohammad kamrul hasan * and ahmed salih al-khaleefa.  (2020).  a review on electronic payments security.  - symmetry.  1-22. 

md arif hassan, zarina shukur and mohammad kamrul hasan.  (2020).  an efficient secure electronic payment system for e-commerce.  - computers.  1-13. 

nur husna azizul, abdullah mohd zin, ravie chandren muniyandi, zarina shukur.  (2019).  authentication and authorization design in honeybee computing.  - international journal of advanced computer science and applications.  18-23. 

hanis salwan mobidin, rossilawati sulaiman, zarina shukur, noorazean mohd ali.  (2019).  personal legacy information management system for muslim in malaysia: a preliminary design.  - journal of computer science.  1721-1733. 

syahanim mohd salleh, zarina shukur.  (2019).  keberkesanan sokongan contoh kerja penyelesaian masalah pengaturcaraan.  - .  167-178. 

abdo ali a. al-wosabi, zarina shukur.  (2019).  a secure protocol for remote-code integrity attestation of embedded systems: the csp approach.  - ieee access.  1-32. 

vahideh naderifar, zarina shukur, shahnorbanun sahran.  (2019).  distributed learning automata approach for workflow mining: discovering process model using condensate drops method.  - journal of computer science.  1694-1709. 

vahideh naderifar, zarina shukur, shahnorbanun sahran.  (2019).  a review on conformance checking technique for the evaluation of process mining algorithms.  - tem journal.  1232-1241. 

noridayu adnan, zarina shukur and w.m wan muda.  (2019).  formal method of z specification for basic alcohol level detector.  - international conference on electrical engineering and informatics (iceei) 2019.  1. 

md arif hassan and zarina shukur.  (2019).  review of digital wallet requirements.  - international conference on cybersecurity 2019 (icocsec2019).  1. 

zarina shukur, azwan ibrahim.  (2019).  malaysia experience towards zero software metrology tampering.  - international conference on electrical engineering and informatics (iceei 2019).  1. 

zarina shukur.  (2019).  ukm experience in masters degree programme: development and accreditation.  - review dan redesain kurikulum program studi informatika program magister, uin sunan kalijaga.  1. 

zarina binti shukur;ibrahim bin mohamed;shahnorbanun binti sahran;ravie chandren a/l muniyandi.  (2019).  process mining algorithm based on the learning automata families for detecting anomalous event.  - .  1-7. 

syahanim mohd salleh & zarina shukur.  (2018).  model pengajaran berkesan bagi penyelesaian masalah dalam pengaturcaraan berasaskan teori beban kognitif.  - .  1. 

syahanim mohd salleh, zarina shukur, hairulliza mohamad judi.  (2018).  scaffolding model for efficient programming learning based on cognitive load theory.  - international journal of pure and applied mathematics.  77-83. 

zarina binti shukur;rossilawati binti sulaiman;mohd rosmadi bin mokhtar.  (2018).  software tampering solution for malaysian regulated digital device.  - .  . 

arash ghazvini, zarina shukur, zaihosnita hood.  (2018).  review of information security policy based on content coverage and online presentation in higher education.  - international journal of advanced computer science and applications.  . 

zarina shukur, muhammad azwan ibrahim, maryati mohd yusof & rossilawati sulaiman.  (2018).  securing asean from tampered metrology software.  - special issue ukm-iic2018.  . 

nurhizam safie mohd satar, andrew kam jia yi, rashila ramli, zarina shukur & tan raan hann.  (2018).  asean joins hands for cyber security.  - special issue ukm-iic2018.  . 

arash ghazvini, zarina shukur.  (2018).  a serious game for healthcare industry: information security awareness training program for hospital universiti kebangsaan malaysia.  - international journal of advanced computer science and applications.  . 

islahuddin jalal, maryati mohd yusof, zarina shukur, mohd. rosmadi mokhtar.  (2018).  a model for afghanistan's cyber security incident response team.  - international journal on advanced science, engineering and information technology.  . 

nadeem alherbawi, zarina shukur, rossilawati sulaiman.  (2018).  jpeg image classification in digital forensic via dct coefficient analysis.  - journal of multimedia tools and applications.  . 

muhammad azwan ibrahim, zarina shukur, nasharuddin zainal & maryati mohd yusof.  (2018).  zero tampering solution for measuring instruments special issue ukm-iic2018.  - majalah impak.  . 

muhammad azwan ibrahim, nazri marzuki, osman zakaria, zarina shukur, nasharuddin zainal, maryati mohd. yusof.  (2018).  legalising software for measuring instruments: a proposed plan for malaysian case study.  - asia pacific journal of information technology and multimedia.  . 

muhammad azwan ibrahim, nazri marzuki, zarina shukur & nasharuddin zainal.  (2018).  a proposed plan in legalising software for measuring instruments in malaysia.  - cyber resilience conference 2018.  . 

seyedmostafa safavi, ahmad moaaz meer, ed keneth joel melanie & zarina shukur.  (2018).  cyber vulnerabilities on smart healthcare, review and solutions.  - cyber resilience conference 2018.  . 

zarina shukur, muriati mukhtar.  (2018).  ada kes?.  - .  11-17. 

zarina shukur, salimah mat husin@mohamed, syahanim mohd salleh.  (2018).  spaq untuk ezq.  - .  28-36. 

zarina shukur.  (2018).  mengguna kes.  - .  87-92. 

goo miao ling, isaac wong jun xiang & zarina shukur.  (2018).  majestic fast ferry (kiosk system).  - .  . 

zarina shukur, noorazean mohd ali, nazatul aini abd majid, rossilawati sulaiman & fadhilah rosdi.  (2018).  pccomp 2018 problem booklet.  - .  . 

khairul akram zainol abidin, masnizah mohd & zarina shukur.  (2018).  cyber resilience conference 2018.  - cyber resilience conference 2018.  . 

zarina shukur.  (2018).  kes dalam kitar hayat pembangunan perisian.  - .  106. 

nadeem alherbawi, zarina shukur, rossilawati sulaiman.  (2017).  current techniques in jpeg image authentication and forgery detection.  - journal of engineering and applied sciences.  104-112. 

mahdi sahlabadi, amirhossein sahlabadi, ravie chandren muniyandi, zarina shukur.  (2017).  evaluation and extracting factual software architecture of distributed system by process mining techniques.  - asia-pacific journal of information technology and multimedia.  1-14. 

abdo ali a. wasobi and zarina shukur.  (2017).  proposed system architecture for integrity verification of embedded systems.  - journal of engineering and applied sciences.  2371-2376. 

arash ghazvini and zarina shukur.  (2017).  a framework for an effective information security awareness program in healthcare.  - international journal of advanced computer science and applications,.  193-205. 

hani saeed mohammed ghaleb, zarina shukur, rossilawati sulaiman, hanis salwan mobidin.  (2017).  implementation of aes algorithm in qgis software.  - the 2017 6th international conference on electrical engineering and informatics (iceei).  . 

intisaar o. said and zarina shukur muhammad azwan bin ibrahim.  (2017).  a certification criteria for software of measuring instruments based on malaysian environment.  - the 2017 6th international conference on electrical engineering and informatics (iceei).  . 

islahuddin jalal, zarina shukur and mohd. rosmadi mokhtar.  (2017).  3c-csirt model a sustainable national csirt for afghanistan.  - the 2017 6th international conference on electrical engineering and informatics (iceei).  . 

arash ghazvini and zarina shukur.  (2017).  information security content development for awareness training programs in healthcare.  - international journal of security and its applications.  87-96. 

cittra a/p som chit & zarina shukur.  (2017).  save my kids: family locator and gps tracker application.  - laporan teknikal projek tahun akhir ftsm 2017 pta-ftsm-2017-167.  . 

goo miao ling, zarina shukur & fariza fauzi.  (2017).  perisian aplikasi ujian persepsi pertuturan bahasa mandarin.  - laporan teknikal projek tahun akhir ftsm 2017 pta-ftsm-2017-168.  . 

zarina shukur.  (2017).  ikim fm: teknologi dan inovasi.  - centeryou.  . 

zarina shukur & mohd. rosmadi mokhtar.  (2017).  be wary of cyber attack.  - new straits time.  1. 

zarina shukur.  (2017).  ancaman wannacry menggegar dunia.  - nadi bangi.  1. 

zarina shukur & mohd. rosmadi mokhtar.  (2017).  new cyber law on the cards.  - new straits time.  4. 

zarina shukur.  (2017).  no one is safe from cyber attacks, security experts warn.  - new straits time.  1. 

zarina shukur, mohd rosmadi mokhtar, rossilawati sulaiman, muhammad azwan ibrahim & zulkifli saidi.  (2017).  software tampering solution for malaysian regulated digital device.  - a holistic famework and a.  . 

arash ghazvini & zarina shukur.  (2017).  review of information security guidelines for awareness training program in healthcare industry.  - the 2017 6th international conference on electrical engineering and informatics (iceei).  . 

zarina shukur.  (2017).  computer security and software verification.  - research @ ftsm 2017.  . 

syahanim mohd salleh & zarina shukur.  (2017).  model perancah bagi penyelesaian masalah dalam pengaturcaraan (pmdp).  - .  1. 

zarina shukur, khairul azmi abu bakar, ravie chandren muniyandi, rossilawati sulaiman & zulkarnain md. ali.  (2017).  keselamatan komputer dan penentusahan perisian.  - .  97-104. 

zarina shukur & masnizah mohd..  (2017).  cabaran perdana keselamatan siber : melindungi sistem kritikal untuk memelihara aset digital negara.  - .  1-9. 

zarina shukur.  (2017).  understanding openlearning.com from ftsm perspective.  - bengkel pemantapan pembelajaran teradun (prog eksekutif) 2017.  . 

zarina shukur.  (2017).  bitcoin blockchain.  - diskusi isu-isu syariah dalam transaksi bitcoin.  . 

zarina shukur.  (2017).  keselamatan siber: risiko sebagai pengguna dan pekerja.  - minggu keselamatan, kesihatan dan kelestarian anjuran rosh ukm.  . 

zarina shukur.  (2017).  pengurusan keselamatan maklumat tahukahanda?.  - .  1-22. 

zarina shukur.  (2017).  keselamatan teknologi kewangan dan risiko (proforma).  - .  1-4. 

zarina shukur and masnizah mohd.  (2017).  grand challenge for cyber security: securing critical systems for the protection of national digital assets.  - the 2017 6th international conference on electrical engineering and informatics (iceei).  . 

masnizah mohd, zarina shukur, ruzita abdul rahim, aisyah abdul rahman, ibrahim mohamed, azlan abdul aziz & ling pick soon.  (2017).  detax analytics: tax exemption-donation analytics.  - .  1-6. 

masnizah mohd, zarina shukur, ruzita abdul rahim, aisyah abdul rahman, ibrahim mohamed, azlan abdul aziz & ling pick soon.  (2017).  detax: trusted donation platform.  - .  1-11. 

marini abu bakar, zarina shukur, rodziah latih, norleyza jailani, syahanim mohd salleh, noorazean mohd ali, nazatul aini abd majid, rossilawati sulaiman & fadhilah rosdi.  (2017).  pccomp 2017 problem booklet.  - .  1-18. 

syahanim mohd salleh, zarina shukur.  (2016).  perancah, penyelesaian masalah, pengaturcaraan.  - model perancah bagi penyelesaian masalah berasaskan pengaturcaraan.  . 

vahideh naderifar, shahnorbanun sahran, zarina shukur and mansour esmaeilpour.  (2016).  process mining discovery based on the clustering for analyzing processes those change over time: a survey.  - international journal of computer science and information security (ijcsis).  1112-1118. 

syahanim mohd salleh & zarina shukur.  (2016).  isu dalam penyelesaian masalah berasaskan pengaturcaraan.  - isu dalam penyelesaian masalah berasaskan pengaturcaraan.  . 

nader abdel karim, zarina shukur and mohammad ghazal.  (2016).  proposed features of online examination interface design.  - asian journal of information technology.  2733-2736. 

nader abdel karim, zarina shukur.  (2016).  proposed features of an online examination interface design and its optimal values.  - computers in human behavior.  414-422. 

arash ghazvini, zarina shukur.  (2016).  awareness training transfer and information security content development for healthcare industry.  - international journal of advanced computer science and applications.  361-370. 

nader abdel karim, zarina shukur.  (2016).  using preferences as user identification in the online examination.  - international journal on advanced science, engineering and information technology.  1026-1032. 

abdo a. a. al-wosabi, zarina shukur.  (2016).  a secure system architecture for remote software tampering detection in embedded systems.  - softam postgraduate symposium.  115-120. 

nor afifah sabri, zarina shukur.  (2016).  pendekatan dalam model kitar hayat pembangunan perisian yang selamat.  - softam postgraduate symposium 2016.  161-167. 

muhammad azwan ibrahim, zarina shukur, nasharuddin zainal, nazri marzuki, abdo ali abdullah al-wosabi.  (2016).  a review of software watermarking approaches.  - proceedings of the 3rd softam (2016: kuala lumpur) softam postgraduate symposium 2016.  154-160. 

hanis salwan mobidin, rossilawati sulaiman, zarina shukur.  (2016).  design of information inheritance management system based on multi-agent.  - softam postgraduate symposium.  131-139. 

mohd rosmadi mokhtar & zarina shukur.  (2016).  syndicate hacks into firms` system.  - the new straits times.  12. 

zarina shukur, maryati mohd yusof dan nurdiyana mohd yassin.  (2016).  project guidelines for tx609c.  - .  1-9. 

zarina shukur dan nurdiyana mohd yassin.  (2016).  ukm cyber security seminar 2016.  - ukm cyber security seminar 2016.  . 

nadeem alherbawi, zarina shukur, rossilawati sulaiman.  (2016).  a survey on data carving in digital forensic.  - asian journal of information technology.  5137-5144. 

chang jian hao, zarina shukur, cila umat & tengku siti meriam tengku wook.  (2015).  aplikasi ujian saringan automatik dan interaktif.  - .  141-148. 

saadiah ariffin, zarina shukur, & siti zamratol mai-sarah mukari.  (2015).  sistem ujian kesan stroop melalui warna perkataan.  - .  185-199. 

rodziah latih, norleyza jailani, marini abu bakar, zarina shukur.  (2015).  pendekatan pembelajaran berasaskan masalah dalam kursus pengaturcaraan komputer.  - 2015.  Bab 12 : 104-111. 

m. a. ibrahim, z. shukur, n. zainal and abdo a. a. al-wosabi.  (2015).  software manipulative techniques of protection and detection: a review.  - arpn journal of engineering and applied sciences.  17953-17959. 

nader abdel karim, zarina shukur.  (2015).  review of user authentication methods in online examination.  - asian journal of information technology.  166-175. 

mabroka maeref, fatma algali, ahmed patel and zarina shukur.  (2015).  an interactive visualization tool for animating behavior of cryptographic protocols.  - international journal of network security & its applications.  23-36. 

arash ghazvini, zarina shukur.  (2015).  an effective awareness training program for information security in hospital universiti kebangsaan malaysia (hukm).  - journal of next generation information technology.  1-12. 

abdo ali abdullah al-wosabi, zarina shukur.  (2015).  software tampering detection in embedded systems: a systematic literature review.  - journal of theoretical and applied information technology.  211-221. 

khosraw salamzada, zarina shukur and marini abu bakar.  (2015).  a framework for cybersecurity strategy for developing countries: case study of afghanistan.  - asia-pacific journal of information technology and multimedia.  1-10. 

marini abu bakar, surya ismail, sufian idris and zarina shukur.  (2015).  semeja api design based on crud+n concept.  - journal of computer science.  645-661. 

zarina shukur.  (2015).  koleksi usulan projek keselamatan siber jan-feb 2015.  - .  . 

nader salameh, zarina shukur & rossilawati sulaiman.  (2015).  user authentication for online examination based on login, preferences and multimodal-biometric authentications.  - softam postgraduate seminar 2015.  . 

nadeem n. i. alherbawi, zarina shukur & rossilawati sulaiman.  (2015).  jpeg classification in data carving.  - softam postgraduate seminar.  . 

muhammad azwan ibrahim, zarina shukur & nasharuddin zainal.  (2015).  offline software tampering detection for software controlled instrument for legal enforcement.  - softam postgraduate seminar 2015.  . 

abdo ali abdullah al-wosabi & zarina shukur.  (2015).  framework for software tampering detection in embedded systems.  - softam postgraduate seminar 2015.  . 

syahanim mohd salleh, zarina shukur.  (2015).  model perancah bagi penyelesaian masalah pengaturcaraan berasaskan teori beban kognitif: kaedah contoh-kerja.  - postgraduate seminar (softam 2015).  . 

zarina shukur, syahanim mohd salleh.  (2015).  graph data structure.  - .  . 

syahanim mohd salleh, zarina shukur.  (2015).  binary search tree data structure: text concordance revisited using worked-example approach..  - .  . 

syahanim mohd salleh, zarina shukur.  (2015).  list data structure in text concordance problem using worked-example approach..  - .  . 

syahanim mohd salleh, zarina shukur.  (2015).  queue data structure: service simulation problems using worked-example approach..  - .  . 

syahanim mohd salleh, zarina shukur.  (2015).  stack data structure: an arithmetic calculator problem using worked-example approach..  - .  . 

zarina shukur.  (2015).  national university of malaysia open source society (numoss).  - .  . 

zarina shukur, rossilawati sulaiman, mohd. rosmadi mokhtar, muhammad azwan ibrahim, zulkifli saidi, ali abdo abdullah al wosabi.  (2015).  software tampering solution for regulated digital devices: poster.  - research di ftsm.  . 

seyedmostafa safavi, zarina shukur.  (2014).  conceptual privacy framework for health information on wearable device.  - plos one.  1-16. 

mansour esmaeilpour, vahideh naderifar, zarina shukur.  (2014).  design pattern mining using distributed learning automata and dna sequence alignment.  - plos one.  1-12. 

dzulaiha aryanee putri zainal, rozilawati razali dan zarina shukur.  (2014).  a guideline of using case method in software engineering courses.  - international education studies.  50-65. 

seyedmostafa safavi, zarina shukur.  (2014).  improving google glass security and privacy by changing the physical and software structure.  - life science journal.  . 

aws magableh, zarina shukur, and noorazean mohd. ali.  (2014).  comprehensive aspectual uml approach to support aspectj.  - the scientific world journal.  2014:1-30. 

ade adi wibowo, zarina shukur and rozmi ismail.  (2014).  measurement model for deception detection in online chat software.  - information technology journal.  13(3):485-492. 

mahdi sahlabadi, ravie chandren muniyandi and zarina shukur.  (2014).  detecting abnormal behavior in social network websites by using a process mining technique.  - journal of computer science.  10(3):393-402. 

mohd isrul esa, marini abu bakar, rodziah latih, norleyza jailani, zarina shukur.  (2014).  rekabentuk konseptual buku kerja pengaturcaraan komputer sebagai alat sokongan pembelajaran berpusatkan pelajar.  - international seminar on global education ii : educational transformation towards a developed country / fakulti pendidikan ukm.  2074-2085. 

rodziah latih, norleyza jailani, marini abu bakar, zarina shukur.  (2014).  rangka kerja perlaksanaan pembelajaran berasaskan masalah dalam kursus pengaturcaraan komputer.  - kongres pengajaran dan pembelajaran 2013.  . 

zarina shukur and abdo ali.  (2014).  software tampering solution for regulated digital devices.  - bit`s 3rd annual world congress of cloud computing (cisis infotech 2014).  . 

khosraw salamzada, zarina shukur and marini abu bakar.  (2014).  a framework for cyber security strategy for developing country.  - asean-japan workshop on information science and technology 2014, ftsm, ukm.  . 

aws magableh, zarina shukur and noorazean mohd ali.  (2013).  systematic review on aspect-oriented uml modeling: a complete aspectual uml modeling framework.  - journal of applied sciences.  13(1):1-13. 

seyedmostafa safavi, zarina shukur, rozilawati razali.  (2013).  reviews on cybercrime affecting portable devices.  - the 4th international conference on electrical engineering and informatics (iceei 2013), kuala lumpur..  650-670. 

arash ghazvini, zarina shukur.  (2013).  system dynamics in e-health policy making and the glocal concept.  - procedia technology : 4th international conference on electrical engineering and informatics (iceei 2013), kuala lumpur.  86-92. 

arash ghazvini and zarina shukur.  (2013).  security challenges and success factors of electronic healthcare system.  - procedia technology : 4th international conference on electrical engineering and informatics (iceei 2013), putrajaya.  212-219. 

nadeem alherbawi, zarina shukur, rossilawati sulaiman.  (2013).  systematic literature review on data carving in digital forensic.  - procedia technology : 4th international conference on electrical engineering and informatics, 2013. kuala lumpur.  86-92. 

syahanim mohd salleh , zarina shukur, hairulliza mohamad judi.  (2013).  analysis of research in programming teaching tools: an initial review.  - procedia social and behavioral sciences -13th international educational technology conference.  . 

syahanim mohd salleh, zarina shukur, hairulliza mohamad judi.  (2013).  analysis of research in programming teaching tools: an initial review.  - 13th international educational technology conference.  . 

mahdi sahlabadi, ravie chandren muniyandi, zarina shukor, amirhossein sahlabadi.  (2013).  heterogeneous hierarchical coloured petri net software/hardware architectural view of embedded system based on system behaviours.  - procedia technology - the 4th international conference on electrical engineering and informatics (iceei 2013).  . 

marini abu bakar, jamhiriah jilani, norleyza jailani, rozilawati razali, zarina shukur, mohd juzaiddin abd aziz.  (2013).  student centered learning environment for project monitoring.  - procedia technology - the 4th international conference on electrical engineering and informatics (iceei 2013).  . 

norasikin fabil, zawawi ismail, zarina shukur, shahrul azman mohd noah, juhana salim.  (2012).  information visualization (iv) application for information acquisition based on visual perception.  - creative education.  3:86-89. 

aws a. magableh, zarina shukur, noorazean mohd ali.  (2012).  an aspectual uml modelling tool.  - journal of applied sciences.  12(21):2182-2194. 

aws a. magableh, zarina shukur, norazean mohd ali.  (2012).  heavy-weight and light-weight uml modelling extensions of aspect-orientation in the early stage of software development.  - journal of applied sciences.  12(21):2195-2201. 

syed ahmad aljunid, abdullah mohd zin and zarina shukur.  (2012).  a study on the program comprehension and debugging processes of novice programmers.  - journal of software engineering.  6(1):1-9. 

marini abu bakar, norleyza jailani, zarina shukor & noor faezah mohd yatim.  (2012).  spesifikasi dan rekabentuk sistem pengurusan penyeliaan projek akhir sains komputer.  - .  Bab 16, 212-223. 

syahanim mohd salleh, zarina shukur, rodziah latih & rossilawati sulaiman.  (2012).  implementasi konsep perancah dalam soalan pengaturcaraan.  - kongress pengajaran & pembelajaran ukm 2012.  . 

esmaeilpour, m., naderifar, v., shukur, z..  (2012).  cellular learning automata for mining customer behaviour in shopping activity.  - international journal of innovative computing, information and control.  8(4):2491-2511. 

phang see wang, zarina shukur.  (2012).  asas teknik: pemprosesan bahasa.  - .  329. 

baharom, s; shukur, z.  (2011).  an experimental assessment of module documentation-based testing.  - information and software technology.  53(7):747-760. 

esmaeilpour, m., nomigolzar, e., derakhshi, m.r.f., shukur, z..  (2011).  fault diagnostics of centrifuge pump using data analysis in spectrometric method.  - informatica (ljubljana).  35(2):259-268. 

shukur z., nasution a.h., wibowo a.a..  (2011).  approaches to develop oracle for detecting deception in online chatting software.  - 2011 international conference on electrical engineering and informatics, iceei 2011; bandung.  . 

s. zainudin, a.r.m. hashim, z. shukur, l.k. keong, m.n. hamid and z.a.m. hussein.  (2011).  a proposed design for a suite of bioinformatics analysis tools.  - information technology journal.  10(2):434-439. 

zarina shukur, norasikin fabil, shahrul azman mohd. noah & juhana salim.  (2011).  formalisma hubungan logikal dan visualisasi hubungan perawi hadith.  - jurnal teknologi.  56(Sains&Kej):83-99. 

zarina shukur, norasikin fabil, juhana salim, and shahrul azman noah.  (2011).  visualization of the hadith chain of narrators.  - lecture notes in computer science (2nd international visual informatics conference, ivic 2011).  . 

samat, p.a., zin, a.m., shukur, z..  (2011).  analysis of the model checkers` input languages for modeling traffic light systems.  - journal of computer science.  7(2):225-233. 

bakar m.a., jailani n., shukur z., mohd yatim n.f..  (2011).  final year supervision management system as a tool for monitoring computer science projects.  - kongres pengajaran dan pembelajaran ukm, 2010; tanjung keling, melaka.  . 

esmaeilpour m., shukur z., naderifar v..  (2011).  student behavior mining on intelligent desktop and finding their interests.  - 6th iasted international conference on robotics and applications, ra 2011; vancouver.  . 

ismail, s., idris, s., marini, a.b., shukur, z..  (2011).  initial design of an application programming interface for a university operating system.  - 2011 international conference on electrical engineering and informatics, iceei 2011; bandung.  . 

yusof, m.m., shukur, z., abdullah, a.l..  (2011).  cuqup: a hybrid approach for selecting suitable information systems development methodology.  - information technology journal.  10(5):1031-1037. 

howida fathi almalaoushi, zarina shukur, rokiah @ rozita ahmad, ummul khair salma din.  (2011).  mathematical dictionary system.  - australian journal of basic and aplied sciences.  5(12):1379-1385. 

ahmed patel, liu na, rodziah latih, christopher wills, zarina shukur and rabia mulla.  (2010).  a study of mashup as a software application development technique with examples from an end-user programming perspective.  - journal of computer science.  6(12):1406-1415. 

maryati mohd. yusof, mansor omar and zarina shukur.  (2010).  a disruption-tolerant model for building a mobile application using web service.  - journal of computer science.  6 (12): 1430-1437. 

zarina shukur, syahanim mohd salleh dan zaihosnita hood.  (2010).  triz dalam projek berasaskan perisian: mengubah mentaliti ciplak kepada pencetus inovasi.  - kongres pengajaran dan pembelajaran ukm 2010 - gugusan sains dan teknologi maklumat (stem).  . 

marini abu bakar, norleyza jailani, zarina shukur &, noor faezah mohd yatim.  (2010).  sistem pengurusan penyeliaan projek akhir sebagai alat sokongan pemantauan kemajuan projek.  - kongres pengajaran dan pembelajaran ukm 2010 - gugusan sains dan teknologi maklumat (stem).  . 

mansour esmaeilpour, zarina shukur and vahideh naderifar.  (2010).  a new method for path mining by distributed learning automata.  - 2010 international conference on intelligent networt and computing (icinc 2010).  . 

sufian idris, marini abu bakar and zarina shukur.  (2010).  architecture of semeja desktop system.  - international symposium on information technology (itsim 2010).  . 

ahmed patel, qais qassim, zarina shukor, josé helano matos nogueira, joaquim celestino júnior and christopher wills..  (2010).  autonomic agent-based self-managed intrusion detection and prevention system.  - south african information security multi-conference (saismc 2010), port elizabeth, south africa..  . 

marini abu bakar, norleyza jailani, zarina shukor & noor faezah mohd yatim.  (2010).  spesifikasi dan rekabentuk sistem pengurusan penyeliaan projek akhir sains komputer.  - .  16:225-237. 

syahanim m. salleh, hairulliza mohamad judi, zaihosnita hood, zarina shukur & marini abu bakar.  (2010).  perisian cflow sebagai pemangkin dalam pembelajaran pengaturcaraan.  - .  18:252-262. 

zarina shukur & muriati mukhtar.  (2010).  strategi menyediakan koleksi kes komputeran tempatan: satu percubaan menggunakan laporan latihan industri.  - .  21:276-288. 

mahmud bashir s. elghazaly, zarina shukur.  (2010).  software design for route finder and travel cost estimation.  - european journal of scientific research.  48(2):188-198. 

ravie chandren muniyandi, abdullah mohd. zin and zarina shukor.  (2010).  model checking the biological model of membrane computing with probabilistic symbolic model checker by using two biological systems.  - journal of computer science.  6(7):666-676. 

syahanim m. salleh, hairulliza mohamad judi, zaihosnita hood, zarina shukur, marini abu bakar.  (2009).  perisian cflow sebagai pemangkin dalam pembelajaran pengaturcaraan.  - kongres pengajaran & pembelajaran ukm 2009 - seminar pendidikan sains & teknologi maklumat (stem`09), 14-16 disember 2009, awana porto malai, langkawi.  . 

zarina shukur, nursyahidah alias, bahari idrus dan mohd. hazali mohd. halip.  (2009).  penspesifikasian dan pengesahsahihan formal protokol csma/cd menggunakan z.  - jurnal kejuruteraan.  2009(21):85-96. 

mohd. shahizan othman, lizawati mi yusuf, juhana salim & zarina shukur.  (2009).  pengelasan dokumen web di bursa malaysia menggunakan pendekatan support vector machine (svm).  - jurnal teknologi maklumat & multimedia.  5:47-60. 

mabroka mayouf and zarina shukur.  (2009).  using animation in active learning tool to detect possible attacks in cryptographic protocols.  - lecture notes in computer science.  5857:510-520. 

zarina shukur dan marini abu bakar.  (2009).  bertatih menghadapi pertandingan.  - kongres pengajaran & pembelajaran ukm 2009 - seminar pendidikan sains & teknologi maklumat (stem`09), 14-16 disember 2009, awana porto malai, langkawi.  . 

zarina shukur dan muriati mukhtar.  (2009).  strategi menyediakan koleksi kes komputeran tempatan: satu percubaan menggunakan laporan latihan industri.  - kongres pengajaran & pembelajaran ukm 2009 - seminar pendidikan sains & teknologi maklumat (stem`09), 14-16 disember 2009, awana porto malai, langkawi.  . 

marini abu bakar, norleyza jailani, noorfaezah mohd. yatim dan zarina shukur.  (2009).  kerangka konsepsi pengurusan penyeliaan projek akhir jabatan sains komputer..  - kongres pengajaran & pembelajaran ukm 2009 - seminar pendidikan sains & teknologi maklumat (stem`09), 14-16 disember 2009, awana porto malai, langkawi.  . 

zarina shukur,mohd nazri ramli.  (2009).  rules-based assumption derivation of authentication protocols.  - proceedings of the 2009 international conference on electrical engineering and informatics, iceei 2009.  42-45. 

mohamad gobil a.r., shukor z., mohtar i.a..  (2009).  novice difficulties in selection structure.  - proceedings of the 2009 international conference on electrical engineering and informatics, iceei 2009.  . 

shukur, z., ramli, m.n..  (2009).  rule-based assumptions derivation of authentication protocols.  - proceedings of the 2009 international conference on electrical engineering and informatics, iceei 2009.  . 

baharom, s., shukur, z..  (2009).  utilizing an abstraction relation document in grey-box testing approach.  - proceedings of the 2009 international conference on electrical engineering and informatics, iceei 2009.  . 

yusof, r., shukur, z..  (2009).  validating the z specification of telephone book system with symbolic execution.  - proceedings of the 2009 international conference on electrical engineering and informatics, iceei 2009.  . 

zarina shukur, nursyahidah alias, bahari idrus dan mohd hazali mohamed halip.  (2009).  penspesifikasian dan pengesahsahihan format protokol csma/cd menggunakan z.  - jurnal kejuruteraan.  21: 85-96.