Nadeem Akhtar

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Performance Evaluation of Video Streaming Applications with Target Wake Time in Wi-Fi 6 2023 Govind Rajendran
Rishabh Roy
Preyas Hathi
Nadeem Akhtar
Samar Agnihotri
+ PDF Chat A Wireless Intrusion Detection System for 802.11 WPA3 Networks 2022 Neil Dalal
Nadeem Akhtar
Anubhav Gupta
Nikhil Karamchandani
Gaurav S. Kasbekar
Jatin Parekh
+ A Wireless Intrusion Detection System for 802.11 WPA3 Networks. 2021 Neil Dalal
Nadeem Akhtar
Anubhav Gupta
Nikhil Karamchandani
Gaurav S. Kasbekar
Jatin Parekh
+ P-Tracer: Proximity Detection for Contact Tracing 2021 Laxmi Thakare
Ruchi Dohare
Nadeem Akhtar
+ A Wireless Intrusion Detection System for 802.11 WPA3 Networks 2021 Neil Dalal
Nadeem Akhtar
Anubhav Gupta
Nikhil Karamchandani
Gaurav S. Kasbekar
Jatin C. Parekh
+ Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System 2016 Nadeem Akhtar
Malik Muhammad Saad Missen
+ Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY 2015 Nadeem Akhtar
+ Formal requirement and architecture specifications of a multi-agent robotic system 2015 Nadeem Akhtar
Yann Le Guyadec
Flávio Oquendo
+ KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents 2015 Nadeem Akhtar
Anique Akhtar
+ Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System 2015 Nadeem Akhtar
Aisha Shafique Ghori
Nadeem Salamat
+ Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System 2015 Nadeem Akhtar
Aisha Shafique Ghori
Nadeem Salamat
+ Formal requirement and architecture specifications of a multi-agent robotic system 2015 Nadeem Akhtar
Yann Le Guyadec
Flávio Oquendo
+ KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents 2015 Nadeem Akhtar
Anique Akhtar
+ Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY 2015 Nadeem Akhtar
+ Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System 2014 Nadeem Akhtar
Aisha Shafique Ghori
Nadeem Salamat