10 citations · 15 across the 5 of their papers we have counts for
6 papers
A Wireless Intrusion Detection System for 802.11 WPA3 Networks
Neil Dalal, Nadeem Akhtar, Anubhav Gupta +3
Wi-Fi (802.11) networks have become an essential part of our daily lives; hence, their security is of utmost importance. However, Wi-Fi Protected Access 3 (WPA3), the latest securi…
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Nadeem Akhtar, Malik M. Saad Missen
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynam…
Formal requirement and architecture specifications of a multi-agent robotic system
Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo
One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic…
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY
Nadeem Akhtar
One of the most challenging tasks in software specifications engineering for a multi-agent system is to ensure correctness. As these systems have high concurrency, often have dynam…
KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents
Nadeem Akhtar, Anique Akhtar
The analysis, design and development of a graphical programming IDE for mini-robotic agents allows novice users to program robotic agents by a graphical drag and drop interface, wi…
Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System
Nadeem Akhtar, Aisha Shafique Ghori, Nadeem Salamat
This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesse…