Abdur Rakib

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 26

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Manu Jo Varghese, Frank Jiang, Robin Doss, Adnan Anwar, Abdur Rakib
DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection. SIGCOMM (Posters and Demos) (2024)
Teena Kumari, Abdur Rakib, Arkady B. Zaslavsky, Hesamaldin Jadidbonab, Valeh Moghaddam
A Context-Aware Framework for Analysing Automotive Vehicle Security. ICSC (2024)
Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib
Adaptive operator selection utilising generalised experience. CoRR (2024)
Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib, Hisham Ihshaish
Feature-based search space characterisation for data-driven adaptive operator selection. Evol. Syst. 15 (1) (2024)
Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans
State-of-the-art authentication and verification schemes in VANETs: A survey. Veh. Commun. 49 (2024)
Don Nalin Dharshana Jayaratne, Suraj Harsha Kamtam, Siraj Ahmed Shaikh, Muhamad Azfar Ramli, Qian Lu, Rakhi Manohar Mepparambath, Hoang Nga Nguyen, Abdur Rakib
A simulation framework for automotive cybersecurity risk assessment. Simul. Model. Pract. Theory 136 (2024)
Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib
Why Reinforcement Learning? Algorithms 17 (6) (2024)
Hoang Nga Nguyen, Abdur Rakib
Formal Modelling and Verification of Probabilistic Resource Bounded Agents. J. Log. Lang. Inf. 32 (5) (2023)
Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
Analysing the Predictivity of Features to Characterise the Search Space. CoRR (2022)
Rafet Durgut, Mehmet Emin Aydin, Abdur Rakib
Transfer Learning for Operator Selection: A Reinforcement Learning Approach. Algorithms 15 (1) (2022)
Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
Analysing the Predictivity of Features to Characterise the Search Space. ICANN (4) (2022)
Abdur Rakib, Rokan Uddin Faruqui
Model checking ontology-driven reasoning agents using strategy and abstraction. Concurr. Comput. Pract. Exp. 33 (2) (2021)
Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh
Memory-Constrained Context-Aware Reasoning. ICCASA (2021)
Abba Lawan, Abdur Rakib
FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language. CoRR (2019)
Abba Lawan, Abdur Rakib
The Semantic Web Rule Language Expressiveness Extensions-A Survey. CoRR (2019)
Abdur Rakib, Ijaz Uddin
An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. Mob. Networks Appl. 24 (1) (2019)
Hoang Nga Nguyen, Abdur Rakib
Probabilistic Resource-bounded Alternating-time Temporal Logic. AAMAS (2019)
Hoang Nga Nguyen, Abdur Rakib
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. IJCAI (2019)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mob. Networks Appl. 23 (1) (2018)
Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28 (4) (2018)
Ijaz Uddin, Abdur Rakib
A Resource-Aware Preference Model for Context-Aware Systems. ICCASA/ICTCC (2017)
Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mob. Networks Appl. 22 (2) (2017)
Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA (2016)
Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. ICTCC (2016)
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS (2016)
Abdur Rakib, Hafiz Mahfooz Ul Haque
Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE (2015)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logical Framework for the Representation and Verification of Context-aware Agents. Mob. Networks Appl. 19 (5) (2014)
Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque
A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) (2014)
Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. ICCASA (2013)
Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS (2012)
Abdur Rakib, Rokan Uddin Faruqui
A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. ICCASA (2012)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Logic for coalitions with bounded resources. J. Log. Comput. 21 (6) (2011)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Resource-bounded alternating-time temporal logic. AAMAS (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169 (2) (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Expressing Properties of Coalitional Ability under Resource Bounds. LORI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
A Logic for Coalitions with Bounded Resources. IJCAI (2009)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) (2008)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt (2008)
Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
Component-Wise Instruction-Cache Behavior Prediction. ATVA (2004)

Abdur Rakib.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abdur Rakib