Abdur Rakib

Don Nalin Dharshana Jayaratne

Algorithms, June, 2024

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

[BibT_eX]

[DOI]

Evol. Syst., February, 2024

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

[BibT_eX]

[DOI]

Veh. Commun., 2024

A simulation framework for automotive cybersecurity risk assessment.

[BibT_eX]

[DOI]

Rakhi Manohar Mepparambath

Simul. Model. Pract. Theory, 2024

Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art.

[BibT_eX]

[DOI]

Alireza Nezhadettehad

CoRR, 2024

Adaptive operator selection utilising generalised experience.

[BibT_eX]

[DOI]

Mehmet Emin Aydin

Rafet Durgut

CoRR, 2024

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

[BibT_eX]

[DOI]

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

A Context-Aware Framework for Analysing Automotive Vehicle Security.

[BibT_eX]

[DOI]

Teena Kumari

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.

[BibT_eX]

[DOI]

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

2022

Transfer Learning for Operator Selection: A Reinforcement Learning Approach.

[BibT_eX]

[DOI]

Rafet Durgut

Mehmet Emin Aydin

Algorithms, 2022

Analysing the Predictivity of Features to Characterise the Search Space.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2021

Memory-Constrained Context-Aware Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, 2021

2019

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

[BibT_eX]

[DOI]

Mob. Networks Appl., 2019

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

[BibT_eX]

[DOI]

Abba Lawan

CoRR, 2019

The Semantic Web Rule Language Expressiveness Extensions-A Survey.

[BibT_eX]

[DOI]

Abba Lawan

CoRR, 2019

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

[BibT_eX]

[DOI]

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

Probabilistic Resource-bounded Alternating-time Temporal Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Phan Cong Vinh

Mob. Networks Appl., 2018

Alternating-time temporal logic with resource bounds.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

2017

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

[BibT_eX]

[DOI]

Mob. Networks Appl., 2017

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

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, 2017

2016

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

[BibT_eX]

[DOI]

Mohamad Rafi Segi Rahmat

Proceedings of the Nature of Computation and Communication, 2016

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2014

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications, 2013

2012

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Wendy MacCaull

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Verifying requirements for resource-bounded agents.

[BibT_eX]

[DOI]