Component-Wise Instruction-Cache Behavior Prediction. - Abdur Rakib; Oleg Parshin; Stephan Thesing; Reinhard Wilhelm (ATVA, 2004)

Reasoning about Other Agents' Beliefs under Bounded Resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (KRAMAS, 2008)

Verifying Time and Communication Costs of Rule-Based Reasoners. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2008)

Verifying Resource Requirements for Distributed Rule-Based Systems. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (RuleML, 2008)

Expressing Properties of Coalitional Ability under Resource Bounds. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (LORI, 2009)

Verifying time, memory and communication bounds in systems of reasoning agents. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (Synth., 2009)

Resource-bounded alternating-time temporal logic. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (AAMAS, 2010)

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (MoChArt, 2010)

Logic for coalitions with bounded resources. - Natasha Alechina; Brian Logan 001; Nguyen Hoang Nga; Abdur Rakib (J. Log. Comput., 2011)

Verifying requirements for resource-bounded agents. - Abdur Rakib (2011)

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. - Abdur Rakib; Rokan Uddin Faruqui; Wendy MacCaull (FoIKS, 2012)

A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. - Abdur Rakib; Rokan Uddin Faruqui (ICCASA, 2012)

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque; Rokan Uddin Faruqui (ICCASA, 2013)

Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. - Abba Lawan; Abdur Rakib; Natasha Alechina; Asha Karunaratne (JIST (Workshops & Posters), 2014)

A Logic for Context-Aware Non-monotonic Reasoning Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (MICAI (1), 2014)

A Logical Framework for the Representation and Verification of Context-aware Agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (Mob. Networks Appl., 2014)

Modeling and verifying context-aware non-monotonic reasoning agents. - Abdur Rakib; Hafiz Mahfooz Ul Haque (MEMOCODE, 2015)

The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. - Abba Lawan; Abdur Rakib; Natasha Alechina; Asha Karunaratne (BDAS, 2016)

Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. - Hafiz Mahfooz Ul Haque; Abdur Rakib; Ijaz Uddin (ICCASA, 2016)

Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. - Ijaz Uddin; Hafiz Mahfooz Ul Haque; Abdur Rakib; Mohamad Rafi Segi Rahmat (ICTCC, 2016)

A Resource-Aware Preference Model for Context-Aware Systems. - Ijaz Uddin; Abdur Rakib (ICCASA/ICTCC, 2017)

A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. - Ijaz Uddin; Abdur Rakib; Hafiz Mahfooz Ul Haque (Mob. Networks Appl., 2017)

Alternating-time temporal logic with resource bounds. - Hoang Nga Nguyen; Natasha Alechina; Brian Logan 001; Abdur Rakib (J. Log. Comput., 2018)

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. - Ijaz Uddin; Abdur Rakib; Hafiz Mahfooz Ul Haque; Phan Cong Vinh (Mob. Networks Appl., 2018)

Probabilistic Resource-bounded Alternating-time Temporal Logic. - Hoang Nga Nguyen; Abdur Rakib (AAMAS, 2019)

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. - Hoang Nga Nguyen; Abdur Rakib (IJCAI, 2019)

The Semantic Web Rule Language Expressiveness Extensions-A Survey. - Abba Lawan; Abdur Rakib (CoRR, 2019)

FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language. - Abba Lawan; Abdur Rakib (CoRR, 2019)

An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. - Abdur Rakib; Ijaz Uddin (Mob. Networks Appl., 2019)

Memory-Constrained Context-Aware Reasoning. - Ijaz Uddin; Abdur Rakib; Mumtaz Ali; Phan Cong Vinh (ICCASA, 2021)

Model checking ontology-driven reasoning agents using strategy and abstraction. - Abdur Rakib; Rokan Uddin Faruqui (Concurr. Comput. Pract. Exp., 2021)

Analysing the Predictivity of Features to Characterise the Search Space. - Rafet Durgut; Mehmet Emin Aydin; Hisham Ihshaish; Abdur Rakib (ICANN (4), 2022)

Transfer Learning for Operator Selection: A Reinforcement Learning Approach. - Rafet Durgut; Mehmet Emin Aydin; Abdur Rakib (Algorithms, 2022)

Formal Modelling and Verification of Probabilistic Resource Bounded Agents. - Hoang Nga Nguyen; Abdur Rakib (J. Log. Lang. Inf., 2023)

A Context-Aware Framework for Analysing Automotive Vehicle Security. - Teena Kumari; Abdur Rakib; Arkady B. Zaslavsky; Hesamaldin Jadidbonab; Valeh Moghaddam (ICSC, 2024)

DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection. - Manu Jo Varghese; Frank Jiang 001; Robin Doss; Adnan Anwar; Abdur Rakib (SIGCOMM (Posters and Demos), 2024)

Reverse Engineering-Guided Fuzzing for CAN Bus Vulnerability Detection. - Manu Jo Varghese; Frank Jiang 001; Abdur Rakib; Robin Doss; Adnan Anwar (WISA, 2024)

Adaptive operator selection utilising generalised experience. - Mehmet Emin Aydin; Rafet Durgut; Abdur Rakib (CoRR, 2024)

Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art. - Alireza Nezhadettehad; Arkady B. Zaslavsky; Abdur Rakib; Siraj Ahmed Shaikh; Seng W. Loke; Guang-Li Huang; Alireza Hassani (CoRR, 2024)

A simulation framework for automotive cybersecurity risk assessment. - Don Nalin Dharshana Jayaratne; Suraj Harsha Kamtam; Siraj Ahmed Shaikh; Muhamad Azfar Ramli; Qian Lu; Rakhi Manohar Mepparambath; Hoang Nga Nguyen; Abdur Rakib (Simul. Model. Pract. Theory, 2024)

State-of-the-art authentication and verification schemes in VANETs: A survey. - Sheraz Mazhar; Abdur Rakib; Lei Pan 002; Frank Jiang 001; Adnan Anwar; Robin Doss; Jeremy W. Bryans (Veh. Commun., 2024)

Feature-based search space characterisation for data-driven adaptive operator selection. - Mehmet Emin Aydin; Rafet Durgut; Abdur Rakib; Hisham Ihshaish (Evol. Syst., 2024)

Why Reinforcement Learning? - Mehmet Emin Aydin; Rafet Durgut; Abdur Rakib (Algorithms, 2024)

A Semantic-Based Approach to Modelling Smart Indoor Kitchen Garden. - Ijaz Uddin; Abdur Rakib; Mumtaz Ali; Hafiz Mahfooz Ul Haque; Altaf Uddin (Mob. Networks Appl., 2024)

An adaptable security-by-design approach for ensuring a secure Over the Air (OTA) update in modern vehicles. - Victormills Iyieke; Hesamaldin Jadidbonab; Abdur Rakib; Jeremy W. Bryans; Don Dhaliwal; Odysseas Kosmas (Comput. Secur., 2025)

WOLVES: Window of Opportunity attack feasibility likelihood value estimation through a simulation-based approach. - Suraj Harsha Kamtam; Qian Lu; Abdur Rakib; Muhamad Azfar Ramli; Rakhi Manohar Mepparambath; Siraj Ahmed Shaikh; Hoang Nga Nguyen (Comput. Secur., 2025)

MetaCAN: An optimized adaptive hybrid metaheuristic-based intrusion detection system for CAN bus security. - Kadir Ileri; Abdur Rakib; Soufiene Djahel (Veh. Commun., 2025)

Systematic exploration of fuzzing in IoT: techniques, vulnerabilities, and open challenges. - Asma Touqir; Faisal Iradat; Waseem Iqbal 003; Abdur Rakib; Nazim Taskin; Hesam Jadidbonab; Olivier Haas (J. Supercomput., 2025)