Abdur Rakib - RankMe

60 papers A* 2A 2B 1C 2Misc 1Journal 27Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A quantitative methodology for systemic impact assessment of cyber threats in connected vehicles. Comput. Secur. Don Nalin Dharshana Jayaratne, Qian Lu, Abdur Rakib, Muhamad Azfar Ramli, Rakhi Manohar Mepparambath, Siraj Ahmed Shaikh, Hoang Nga Nguyen
2026	J	`jnl`	Bayesian-Symbolic Integration for Uncertainty-Aware Parking Prediction. CoRR Alireza Nezhadettehad, Arkady B. Zaslavsky, Abdur Rakib, Seng W. Loke
2025	—	`conf`	An Approach to Formal Verification of Autonomous Vehicle Systems using Threat Analysis. ICVES Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar
2025	J	`jnl`	An adaptable security-by-design approach for ensuring a secure Over the Air (OTA) update in modern vehicles. Comput. Secur. Victormills Iyieke, Hesamaldin Jadidbonab, Abdur Rakib, Jeremy W. Bryans, Don Dhaliwal, Odysseas Kosmas
2025	—	`conf`	Bayesian-Symbolic Integration for Uncertainty-Aware Parking Prediction. ITSC Alireza Nezhadettehad, Arkady B. Zaslavsky, Abdur Rakib, Seng W. Loke
2025	C	`conf`	Integrating Threat Analysis and Formal Verification for Secure OTA Updates. PRDC Sheraz Mazhar, Abdur Rakib, Robin Doss, Adnan Anwar, Frank Jiang
2025	J	`jnl`	MetaCAN: An optimized adaptive hybrid metaheuristic-based intrusion detection system for CAN bus security. Veh. Commun. Kadir Ileri, Abdur Rakib, Soufiene Djahel
2025	J	`jnl`	Predicting Next Useful Location with Context-Awareness: The State-of-the-Art. ACM Trans. Intell. Syst. Technol. Alireza Nezhadettehad, Arkady B. Zaslavsky, Abdur Rakib, Siraj Ahmed Shaikh, Seng W. Loke, Guang-Li Huang, Alireza Hassani
2025	J	`jnl`	Systematic exploration of fuzzing in IoT: techniques, vulnerabilities, and open challenges. J. Supercomput. Asma Touqir, Faisal Iradat, Waseem Iqbal, Abdur Rakib, Nazim Taskin, Hesam Jadidbonab, Olivier Haas
2025	J	`jnl`	WOLVES: Window of Opportunity attack feasibility likelihood value estimation through a simulation-based approach. Comput. Secur. Suraj Harsha Kamtam, Qian Lu, Abdur Rakib, Muhamad Azfar Ramli, Rakhi Manohar Mepparambath, Siraj Ahmed Shaikh, Hoang Nga Nguyen
2024	—	`conf`	A Context-Aware Framework for Analysing Automotive Vehicle Security. ICSC Teena Kumari, Abdur Rakib, Arkady B. Zaslavsky, Hesamaldin Jadidbonab, Valeh Moghaddam
2024	J	`jnl`	A Semantic-Based Approach to Modelling Smart Indoor Kitchen Garden. Mob. Networks Appl. Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Hafiz Mahfooz Ul Haque, Altaf Uddin
2024	J	`jnl`	A simulation framework for automotive cybersecurity risk assessment. Simul. Model. Pract. Theory Don Nalin Dharshana Jayaratne, Suraj Harsha Kamtam, Siraj Ahmed Shaikh, Muhamad Azfar Ramli, Qian Lu, Rakhi Manohar Mepparambath, Hoang Nga Nguyen, Abdur Rakib
2024	J	`jnl`	Adaptive operator selection utilising generalised experience. CoRR Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib
2024	—	`conf`	DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection. SIGCOMM (Posters and Demos) Manu Jo Varghese, Frank Jiang, Robin Doss, Adnan Anwar, Abdur Rakib
2024	J	`jnl`	Feature-based search space characterisation for data-driven adaptive operator selection. Evol. Syst. Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib, Hisham Ihshaish
2024	J	`jnl`	Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art. CoRR Alireza Nezhadettehad, Arkady B. Zaslavsky, Abdur Rakib, Siraj Ahmed Shaikh, Seng W. Loke, Guang-Li Huang, Alireza Hassani
2024	Misc	`conf`	Reverse Engineering-Guided Fuzzing for CAN Bus Vulnerability Detection. WISA Manu Jo Varghese, Frank Jiang, Abdur Rakib, Robin Doss, Adnan Anwar
2024	J	`jnl`	State-of-the-art authentication and verification schemes in VANETs: A survey. Veh. Commun. Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans
2024	J	`jnl`	Why Reinforcement Learning? Algorithms Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib
2023	J	`jnl`	Formal Modelling and Verification of Probabilistic Resource Bounded Agents. J. Log. Lang. Inf. Hoang Nga Nguyen, Abdur Rakib
2022	—	`conf`	Analysing the Predictivity of Features to Characterise the Search Space. ICANN (4) Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
2022	J	`jnl`	Analysing the Predictivity of Features to Characterise the Search Space. CoRR Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib
2022	J	`jnl`	Transfer Learning for Operator Selection: A Reinforcement Learning Approach. Algorithms Rafet Durgut, Mehmet Emin Aydin, Abdur Rakib
2021	—	`ed.`	Context-Aware Systems and Applications - 10th EAI International Conference, ICCASA 2021, Virtual Event, October 28-29, 2021, Proceedings ICCASA Phan Cong Vinh, Abdur Rakib
2021	—	`ed.`	Context-Aware Systems and Applications, and Nature of Computation and Communication - 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26-27, 2020, Proceedings ICCASA/ICTCC Phan Cong Vinh, Abdur Rakib
2021	—	`conf`	Memory-Constrained Context-Aware Reasoning. ICCASA Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh
2021	J	`jnl`	Model checking ontology-driven reasoning agents using strategy and abstraction. Concurr. Comput. Pract. Exp. Abdur Rakib, Rokan Uddin Faruqui
2019	A*	`conf`	A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. IJCAI Hoang Nga Nguyen, Abdur Rakib
2019	J	`jnl`	An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. Mob. Networks Appl. Abdur Rakib, Ijaz Uddin
2019	—	`ed.`	Context-Aware Systems and Applications, and Nature of Computation and Communication - 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings ICCASA/ICTCC Phan Cong Vinh, Abdur Rakib
2019	J	`jnl`	FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language. CoRR Abba Lawan, Abdur Rakib
2019	A	`conf`	Probabilistic Resource-bounded Alternating-time Temporal Logic. AAMAS Hoang Nga Nguyen, Abdur Rakib
2019	J	`jnl`	The Semantic Web Rule Language Expressiveness Extensions-A Survey. CoRR Abba Lawan, Abdur Rakib
2018	J	`jnl`	Alternating-time temporal logic with resource bounds. J. Log. Comput. Hoang Nga Nguyen, Natasha Alechina, Brian Logan, Abdur Rakib
2018	J	`jnl`	Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mob. Networks Appl. Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, Phan Cong Vinh
2017	J	`jnl`	A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mob. Networks Appl. Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque
2017	—	`conf`	A Resource-Aware Preference Model for Context-Aware Systems. ICCASA/ICTCC Ijaz Uddin, Abdur Rakib
2016	—	`conf`	Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin
2016	—	`conf`	Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. ICTCC Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
2016	—	`conf`	The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
2015	C	`conf`	Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE Abdur Rakib, Hafiz Mahfooz Ul Haque
2014	—	`conf`	A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) Abdur Rakib, Hafiz Mahfooz Ul Haque
2014	J	`jnl`	A Logical Framework for the Representation and Verification of Context-aware Agents. Mob. Networks Appl. Abdur Rakib, Hafiz Mahfooz Ul Haque
2014	—	`conf`	Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne
2013	—	`conf`	A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. ICCASA Abdur Rakib, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui
2012	—	`conf`	A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. ICCASA Abdur Rakib, Rokan Uddin Faruqui
2012	—	`conf`	Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS Abdur Rakib, Rokan Uddin Faruqui, Wendy MacCaull
2011	J	`jnl`	Logic for coalitions with bounded resources. J. Log. Comput. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2011	—	`—`	Verifying requirements for resource-bounded agents. Abdur Rakib
2010	—	`conf`	Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	A	`conf`	Resource-bounded alternating-time temporal logic. AAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	A*	`conf`	A Logic for Coalitions with Bounded Resources. IJCAI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	—	`conf`	Expressing Properties of Coalitional Ability under Resource Bounds. LORI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	J	`jnl`	Verifying time, memory and communication bounds in systems of reasoning agents. Synth. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2004	B	`conf`	Component-Wise Instruction-Cache Behavior Prediction. ATVA Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm