Abdur Rakib

According to our database, Abdur Rakib authored at least 42 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Why Reinforcement Learning?

Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib

Algorithms, June, 2024

Feature-based search space characterisation for data-driven adaptive operator selection.

Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib, Hisham Ihshaish

Evol. Syst., February, 2024

State-of-the-art authentication and verification schemes in VANETs: A survey.

Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans

Veh. Commun., 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

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

Adaptive operator selection utilising generalised experience.

Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib

CoRR, 2024

DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection.

Manu Jo Varghese, Frank Jiang, Robin Doss, Adnan Anwar, Abdur Rakib

Proceedings of the ACM SIGCOMM 2024 Conference: Posters and Demos, 2024

A Context-Aware Framework for Analysing Automotive Vehicle Security.

Teena Kumari, Abdur Rakib, Arkady B. Zaslavsky, Hesamaldin Jadidbonab, Valeh Moghaddam

Proceedings of the 18th IEEE International Conference on Semantic Computing, 2024

2023

Formal Modelling and Verification of Probabilistic Resource Bounded Agents.

Hoang Nga Nguyen, Abdur Rakib

J. Log. Lang. Inf., December, 2023

2022

Transfer Learning for Operator Selection: A Reinforcement Learning Approach.

Rafet Durgut, Mehmet Emin Aydin, Abdur Rakib

Algorithms, 2022

Analysing the Predictivity of Features to Characterise the Search Space.

Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2022, 2022

2021

Model checking ontology-driven reasoning agents using strategy and abstraction.

Abdur Rakib, Rokan Uddin Faruqui

Concurr. Comput. Pract. Exp., 2021

Memory-Constrained Context-Aware Reasoning.

Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh

Proceedings of the Context-Aware Systems and Applications, 2021

2019

An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems.

Abdur Rakib, Ijaz Uddin

Mob. Networks Appl., 2019

FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language.

Abba Lawan, Abdur Rakib

CoRR, 2019

The Semantic Web Rule Language Expressiveness Extensions-A Survey.

Abba Lawan, Abdur Rakib

CoRR, 2019

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems.

Hoang Nga Nguyen, Abdur Rakib

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Probabilistic Resource-bounded Alternating-time Temporal Logic.

Hoang Nga Nguyen, Abdur Rakib

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

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

Alternating-time temporal logic with resource bounds.

Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib

J. Log. Comput., 2018

2017

A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems.

Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque

Mob. Networks Appl., 2017

A Resource-Aware Preference Model for Context-Aware Systems.

Ijaz Uddin, Abdur Rakib

Proceedings of the Context-Aware Systems and Applications, 2017

2016

Resource-Bounded Context-Aware Applications: A Survey and Early Experiment.

Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat

Proceedings of the Nature of Computation and Communication, 2016

Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources.

Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data.

Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne

Proceedings of the Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery, 2016

2015

Modeling and verifying context-aware non-monotonic reasoning agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

A Logical Framework for the Representation and Verification of Context-aware Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Mob. Networks Appl., 2014

A Logic for Context-Aware Non-monotonic Reasoning Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque

Proceedings of the Human-Inspired Computing and Its Applications, 2014

Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment.

Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne

Proceedings of the Workshop and Poster Proceedings of the 4th Joint International Semantic Technology Conference, 2014

2013

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents.

Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui

Proceedings of the Context-Aware Systems and Applications, 2013

2012

A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents.

Abdur Rakib, Rokan Uddin Faruqui

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents.

Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Verifying requirements for resource-bounded agents.

Abdur Rakib

PhD thesis, 2011

Logic for coalitions with bounded resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

J. Log. Comput., 2011

2010

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Resource-bounded alternating-time temporal logic.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Verifying time, memory and communication bounds in systems of reasoning agents.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Synth., 2009

Expressing Properties of Coalitional Ability under Resource Bounds.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Verifying Resource Requirements for Distributed Rule-Based Systems.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Rule Representation, 2008

Verifying Time and Communication Costs of Rule-Based Reasoners.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Reasoning about Other Agents' Beliefs under Bounded Resources.

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

2004

Component-Wise Instruction-Cache Behavior Prediction.

Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004