| Rewriting-based runtime verification for alternation-free HyperLTL N Brett, U Siddique, B Bonakdarpour International Conference on Tools and Algorithms for the Construction and …, 2017 | 53 | 2017 |
| Rewriting-Based Runtime Verification for Alternation-Free HyperLTL N Brett, U Siddique, B Bonakdarpour TACAS 2017: Tools and Algorithms for the Construction and Analysis of …, 2017 | 53 | 2017 |
| Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria J Ahmad, U Niazi, S Mansoor, U Siddique, J Bibby PloS one 7 (3), e33532, 2012 | 29 | 2012 |
| On the Formalization of Z-Transform in HOL U Siddique, MY Mahmoud, S Tahar Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 23 | 2014 |
| Formal analysis of optical systems S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ... Mathematics in Computer Science 8, 39-70, 2014 | 22 | 2014 |
| Formal reasoning about systems biology using theorem proving A Rashid, O Hasan, U Siddique, S Tahar Plos one 12 (7), e0180179, 2017 | 21 | 2017 |
| Formal stability analysis of optical resonators U Siddique, V Aravantinos, S Tahar NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 21 | 2013 |
| Formal verification of platoon control strategies A Rashid, U Siddique, O Hasan Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 20 | 2018 |
| Formal analysis of fractional order systems in HOL U Siddique, O Hasan 2011 Formal Methods in Computer-Aided Design (FMCAD), 163-170, 2011 | 18 | 2011 |
| On numerical investigation of non-dimensional constant representing the occurrence of secondary peaks in the Nusselt distribution curves N Gulhane, U Siddique International Journal of Engineering 29 (10), 1431-1440, 2016 | 16 | 2016 |
| On the formalization of gamma function in HOL U Siddique, O Hasan Journal of automated reasoning 53, 407-429, 2014 | 13 | 2014 |
| On the formal analysis of geometrical optics in HOL U Siddique, V Aravantinos, S Tahar International Workshop on Automated Deduction in Geometry, 161-180, 2012 | 11 | 2012 |
| On the formalization of zsyntax with applications in molecular biology S Ahmad, O Hasan, U Siddique Scalable Computing: Practice and Experience 16 (1), 37-52, 2015 | 10 | 2015 |
| Formal verification of cyber-physical systems using theorem proving A Rashid, U Siddique, S Tahar Formal Techniques for Safety-Critical Systems: 7th International Workshop …, 2020 | 8 | 2020 |
| Formalization of asymptotic notations in HOL4 N Iqbal, O Hasan, U Siddique, F Awwad 2019 IEEE 4th International Conference on Computer and Communication Systems …, 2019 | 8 | 2019 |
| Formalizing physics: automation, presentation and foundation issues C Kaliszyk, J Urban, U Siddique, S Khan-Afshar, C Dunchev, S Tahar Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015 | 8 | 2015 |
| The efficient implementation of S8 AES algorithm W Ahmed, H Mahmood, U Siddique Proceedings of world congress on engineering, 1215-1219, 2011 | 8 | 2011 |
| Generalized Minkowski-type fractional inequalities involving extended Mittag-Leffler function M ANDRIC, G Farid, J PECARIC, U Siddique Journal of the Indian Math. Soc. ISSN (Online) 2455, 6475, 2020 | 7 | 2020 |
| Formal modeling and analysis of biological regulatory networks using spin U Rauf, U Siddique, J Ahmad, U Niazi 2011 IEEE International Conference on Bioinformatics and Biomedicine, 304-308, 2011 | 7 | 2011 |
| Formal Analysis of Discrete-Time Systems using z-Transform U Siddique, MY Mahmoud, S Tahar Journal of Applied Logic, 1--32, 2018 | 6 | 2018 |
Sofiene TaharConcordia UniversityVerified email at ece.concordia.ca
