Search Results - "Amin, Saifullah"

Unit Testing from Partial and Informal Requirements by Shahbaz, Muzammil, Saghar, Kashif, Amin, Saifullah

“…The paper presents a framework of conformance testing of black box component from partial and informal requirement specification. The framework combines the…”
Get full text

Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms by Amin, Saifullah, Elahi, Adnan, Saghar, Kashif, Mehmood, Faran

“…Robot Swarms (RS) is an approach that leads to the combined functioning of multiple robot systems to achieve a desired collective behaviour. Robot Swarms…”
Get full text

Establishment of boundaries for near-field, fresnel and Fraunhofer-field regions by Amin, Saifullah, Ahmed, Bilal, Amin, Muhammad, Abbasi, Muhammad Inam, Elahi, Adnan, Aftab, Usman

“…The paper establishes boundaries for near-field, Fresnel and Fraunhofer field regions of an antenna using Wave Impedance and Phase difference theory. Spatial…”
Get full text

ARHUM- ARRIVE protocol with Handshake Utilization and Management by Amin, Saifullah, Saghar, Kashif, Abbasi, Muhammad Burhan Tariq, Elahi, Adnan

“…Wireless Sensor Networks (WSNs) possess multiple benefits e.g. self-concerned, multi-hop networks consisting of inexpensive and tiny wireless devices, can…”
Get full text

Extended arc antenna for near isotropic radiation pattern by Amin, Saifullah, Amin, Muhammad, Ahmad, Muhammad Bilal, Shah, Awais Ali, Abbasi, Muhammad Inam

“…In this study a near isotropic extended arc antenna has been designed and simulated in Numerical Electromagnetics code at a frequency of 1 GHz. Simulations…”
Get full text