52 citations · 119 across the 9 of their papers we have counts for
12 papers
Emergence of Agentic AI: A Review on Evolution, Background, Working Principles, Applications, Adoption Factors, and Future Research Directions
AKM Bahalul Haque, Al Amin Islam Ridoy, Mohammad Rayhan +1
Agentic AI is gaining new insights and advancements in the field of Artificial Intelligence, fostering significant potential to enable rapid transformation across various domains.T…
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek +3
We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patt…
Consistency of UML class, object and statechart diagrams using ontology reasoners
Ali Hanzala Khan, Ivan Porres
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams usi…
WOGAN at the SBST 2022 CPS Tool Competition
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks. In this note, we present how WOGAN works and summarize its performance in the SBS…
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
We propose a novel online test generation algorithm WOGAN based on Wasserstein Generative Adversarial Networks. WOGAN is a general-purpose black-box test generator applicable to an…
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Jarkko Peltomäki, Ivan Porres
We consider the problem of falsifying safety requirements of Cyber-Physical Systems expressed in signal temporal logic (STL). This problem can be turned into an optimization proble…
Early Detection of Network Attacks Using Deep Learning
Tanwir Ahmad, Dragos Truscan, Juri Vain +1
The Internet has become a prime subject to security attacks and intrusions by attackers. These attacks can lead to system malfunction, network breakdown, data corruption or theft.…
Online GANs for Automatic Performance Testing
Ivan Porres, Hergys Rexha, Sébastien Lafond
In this paper we present a novel algorithm for automatic performance testing that uses an online variant of the Generative Adversarial Network (GAN) to optimize the test generation…
On the Verification and Validation of AI Navigation Algorithms
Ivan Porres, Sepinoud Azimi, Sébastien Lafond +3
This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find rese…
Distributed virtual machine consolidation: A systematic mapping study
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Background: Virtual Machine (VM) consolidation is an effective technique to improve resource utilization and reduce energy footprint in cloud data centers. It can be implemented in…
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system
Adnan Ashraf, Ivan Porres
In this paper, we present a novel multi-objective ant colony system algorithm for virtual machine (VM) consolidation in cloud data centers. The proposed algorithm builds VM migrati…
Analyzing Consistency of Behavioral REST Web Service Interfaces
Irum Rauf, Ali Hanzala Khan, Ivan Porres
REST web services can offer complex operations that do more than just simply creating, retrieving, updating and deleting information from a database. We have proposed an approach t…