Umair Siddique
Cited by
Cited by
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
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
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
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
Formal reasoning about systems biology using theorem proving
A Rashid, O Hasan, U Siddique, S Tahar
PloS one 12 (7), e0180179, 2017
Formal stability analysis of optical resonators
U Siddique, V Aravantinos, S Tahar
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
Formal analysis of optical systems
S Khan-Afshar, U Siddique, MY Mahmoud, V Aravantinos, O Seddiki, ...
Mathematics in Computer Science 8, 39-70, 2014
Formal verification of platoon control strategies
A Rashid, U Siddique, O Hasan
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
Formal analysis of fractional order systems in HOL
U Siddique, O Hasan
2011 Formal Methods in Computer-Aided Design (FMCAD), 163-170, 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
On the formalization of gamma function in HOL
U Siddique, O Hasan
Journal of automated reasoning 53, 407-429, 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
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
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
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
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
The efficient implementation of S8 AES algorithm
W Ahmed, H Mahmood, U Siddique
Proceedings of world congress on engineering, 1215-1219, 2011
Formal Analysis of Discrete-Time Systems using z-Transform
U Siddique, MY Mahmoud, S Tahar
Journal of Applied Logic, 1--32, 2018
Formal Modeling and Verification of Integrated Photonic Systems
U Siddique, O Hasan, S Tahar
Proceedings of IEEE International Systems Conference (SysCon-2015), 562--569, 2015
Formal analysis of power electronic systems
SM Beillahi, U Siddique, S Tahar
Formal Methods and Software Engineering: 17th International Conference on …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20