Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. - Usman Rauf; Umair Siddique; Jamil Ahmad; Umar Khan Niazi (BIBM, 2011)

Formal analysis of fractional order systems in HOL. - Umair Siddique; Osman Hasan (FMCAD, 2011)

On the Formal Analysis of Geometrical Optics in HOL. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (Automated Deduction in Geometry, 2012)

Formal Stability Analysis of Optical Resonators. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

Towards the formal analysis of microresonators based photonic systems. - Umair Siddique; Sofiène Tahar (DATE, 2014)

Towards ray optics formalization of optical imaging systems. - Umair Siddique; Sofiène Tahar (IRI, 2014)

On the Formalization of Z-Transform in HOL. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (ITP, 2014)

A Framework for Formal Reasoning about Geometrical Optics. - Umair Siddique; Sofiène Tahar (CICM, 2014)

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. - Sohaib Ahmad; Osman Hasan; Umair Siddique; Sofiène Tahar (SBMF, 2014)

Towards Formal Reasoning about Molecular Pathways in HOL. - Sohaib Ahmad; Osman Hasan; Umair Siddique (WETICE, 2014)

On the Formalization of Gamma Function in HOL. - Umair Siddique; Osman Hasan (J. Autom. Reason., 2014)

Formal Analysis of Optical Systems. - Sanaz Khan Afshar; Umair Siddique; Mohamed Yousri Mahmoud; Vincent Aravantinos; Ons Seddiki; Osman Hasan; Sofiène Tahar (Math. Comput. Sci., 2014)

On the Formal Analysis of Photonic Signal Processing Systems. - Umair Siddique; Sidi Mohamed Beillahi; Sofiène Tahar (FMICS, 2015)

Formal Analysis of Power Electronic Systems. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (ICFEM, 2015)

Formalizing Physics: Automation, Presentation and Foundation Issues. - Cezary Kaliszyk; Josef Urban; Umair Siddique; Sanaz Khan Afshar; Cvetan Dunchev; Sofiène Tahar (CICM, 2015)

Towards the Formalization of Fractional Calculus in Higher-Order Logic. - Umair Siddique; Osman Hasan; Sofiène Tahar (CICM, 2015)

Formal modeling and verification of integrated photonic systems. - Umair Siddique; Osman Hasan; Sofiène Tahar (SysCon, 2015)

On the Formalization of Zsyntax with Applications in Molecular Biology. - Sohaib Ahmad; Osman Hasan; Umair Siddique (Scalable Comput. Pract. Exp., 2015)

On the Formalization of Cardinal Points of Optical Systems. - Umair Siddique; Sofiène Tahar (Formalisms for Reuse and Systems Integration, 2015)

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (NSV@CAV, 2016)

On the formal analysis of Gaussian optical systems in HOL. - Umair Siddique; Sofiène Tahar (Formal Aspects Comput., 2016)

Formal specification and dependability analysis of optical communication networks. - Umair Siddique; Khaza Anuarul Hoque; Taylor T. Johnson (DATE, 2017)

Combining Refinement and Signal-Temporal Logic for Biological Systems. - Usman Sanwal; Umair Siddique (CICM, 2017)

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. - Noel Brett; Umair Siddique; Borzoo Bonakdarpour (TACAS (2), 2017)

Formal verification of stability and chaos in periodic optical systems. - Umair Siddique; Sofiène Tahar (J. Comput. Syst. Sci., 2017)

Formal Verification of Platoon Control Strategies. - Adnan Rashid; Umair Siddique; Osman Hasan (SEFM, 2018)

Formal Analysis of Discrete-Time Systems using z-Transform. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (FLAP, 2018)

Formalization of Asymptotic Notations in HOL4. - Nadeem Iqbal 001; Osman Hasan; Umair Siddique; Falah Awwad (ICCCS, 2019)

Formal Verification of Cyber-Physical Systems Using Theorem Proving. - Adnan Rashid; Umair Siddique; Sofiène Tahar (FTSCS, 2019)

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). - Adnan Rashid; Umair Siddique; Sofiène Tahar (CoRR, 2020)

SafetyOps. - Umair Siddique (CoRR, 2020)

AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles. - Tony Zhang; Burak Kantarci; Umair Siddique (CoRR, 2025)