Ijaz Ahmed
AuthID: R-000-Y8J
1
TITLE: Technological, Financial and Ecological Analysis of Photovoltaic Power System using RETScreen®: A Case in Khuzdar, Pakistan
AUTHORS: Um-E-Habiba Alvi; Ijaz Ahmed; Alveena Alvi; Babar Ashfaq; Sana Mukhtar; Paghunda Roheela Ali;
PUBLISHED: 2022, SOURCE: 2022 International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2022 in ICETECC 2022 - International Conference on Emerging Technologies in Electronics, Computing and Communication
AUTHORS: Um-E-Habiba Alvi; Ijaz Ahmed; Alveena Alvi; Babar Ashfaq; Sana Mukhtar; Paghunda Roheela Ali;
PUBLISHED: 2022, SOURCE: 2022 International Conference on Emerging Technologies in Electronics, Computing and Communication, ICETECC 2022 in ICETECC 2022 - International Conference on Emerging Technologies in Electronics, Computing and Communication
INDEXED IN: 
Scopus
Scopus2
TITLE: A case study on the lightweight verification of a multi-threaded task server Full Text
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
AUTHORS: Néstor Cataño; Ijaz Ahmed; Radu I Siminiceanu; Jonathan Aldrich;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 80
INDEXED IN: 
CrossRef
CrossRef3
TITLE: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTHORS: Nestor Catano ; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: 19th IEEE Int Requirements Engineering Conf erence (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 6959
AUTHORS: Nestor Catano ; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: 19th IEEE Int Requirements Engineering Conf erence (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 6959
INDEXED IN: Scopus 
WOS
Scopus WOS4
TITLE: Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
AUTHORS: Néstor Cataño; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
AUTHORS: Néstor Cataño; Ijaz Ahmed;
PUBLISHED: 2011, SOURCE: Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef