Author/Creator: Hasan, Osman - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Hasan, Osman

1. Formal analysis of continuous-time systems using Fourier transform. (January 2019)

Authors:: Rashid, Adnan; Hasan, Osman
Journal:: Journal of symbolic computation
Issue:: Volume 90(2018)
Page Start:: 65
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. (2018)

Authors:: Elleuch, Maissa; Hasan, Osman; Tahar, Sofiène; Abid, Mohamed
Journal:: International journal of critical computer-based systems
Issue:: Volume 8:Number 3/4(2018)
Page Start:: 311
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Formal reasoning about synthetic biology using higher‐order‐logic theorem proving. Issue 5 (16th September 2020)

Authors:: Abed, Sa'ed; Rashid, Adnan; Hasan, Osman
Journal:: IET systems biology
Issue:: Volume 14:Issue 5(2020)
Page Start:: 271
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Formal reliability analysis of oil and gas pipelines. (June 2018)

Authors:: Ahmad, Waqar; Hasan, Osman; Tahar, Sofiène; Hamdi, Mohamed Salah
Journal:: Proceedings of the Institution of Mechanical Engineers
Issue:: Volume 232:Number 3(2018:Jun.)
Page Start:: 320
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Formalization of bond graph using higher-order-logic theorem proving. (September 2022)

Authors:: Qasim, Ujala; Rashid, Adnan; Hasan, Osman
Journal:: ISA transactions
Issue:: Volume 128(2022)Part B
Page Start:: 453
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Reliability modeling and analysis of communication networks. (15th January 2017)

Authors:: Ahmad, Waqar; Hasan, Osman; Pervez, Usman; Qadir, Junaid
Journal:: Journal of network and computer applications
Issue:: Volume 78(2017)
Page Start:: 191
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. RRT-SMART: A Rapid Convergence Implementation of RRT. (25th July 2013)

Authors:: Nasir, Jauwairia; Islam, Fahad; Malik, Usman; Ayaz, Yasar; Hasan, Osman; Khan, Mushtaq; Muhammad, Mannan Saeed
Journal:: International journal of advanced robotic systems
Issue:: Volume 10:Number 7(2013)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. SecureSurgiNET: A framework for ensuring security in telesurgery. (September 2019)

Authors:: Iqbal, Sohail; Farooq, Shahzad; Shahzad, Khuram; Malik, Asad Waqar; Hamayun, Mian M; Hasan, Osman
Journal:: International journal of distributed sensor networks
Issue:: Volume 15:Number 9(2019)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. SmartSIM ‐ a virtual reality simulator for laparoscopy training using a generic physics engine. Issue 3 (27th September 2016)

Authors:: Khan, Zohaib Amjad; Kamal, Nabeel; Hameed, Asad; Mahmood, Amama; Zainab, Rida; Sadia, Bushra; Mansoor, Shamyl Bin; Hasan, Osman
Journal:: International journal of medical robotics and computer assisted surgery
Issue:: Volume 13:Issue 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Statistical model checking of relief supply location and distribution in natural disaster management. (October 2018)

Authors:: Iqbal, Sohaiba; Sardar, Muhammad Usama; Lodhi, Faiq Khalid; Hasan, Osman
Journal:: International journal of disaster risk reduction
Issue:: Volume 31(2018)
Page Start:: 1043
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗