Umair Siddique

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 20

Top Topics

Engineering Systems

Theorem Proving

Formal Analysis

Top Venues

Math. Comput. Sci.

Publications

Umair Siddique
SafetyOps. CoRR (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS (2019)
Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad
Formalization of Asymptotic Notations in HOL4. ICCCS (2019)
Adnan Rashid, Umair Siddique, Osman Hasan
Formal Verification of Platoon Control Strategies. SEFM (2018)
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar
Formal Analysis of Discrete-Time Systems using z-Transform. FLAP 5 (4) (2018)
Adnan Rashid, Umair Siddique, Osman Hasan
Formal Verification of Platoon Control Strategies. CoRR (2018)
Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson
Formal specification and dependability analysis of optical communication networks. DATE (2017)
Noel Brett, Umair Siddique, Borzoo Bonakdarpour
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. TACAS (2) (2017)
Usman Sanwal, Umair Siddique
Combining Refinement and Signal-Temporal Logic for Biological Systems. CICM (2017)
Umair Siddique, Sofiène Tahar
Formal verification of stability and chaos in periodic optical systems. J. Comput. Syst. Sci. 88 (2017)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV (2016)
Umair Siddique, Sofiène Tahar
On the formal analysis of Gaussian optical systems in HOL. Formal Aspects Comput. 28 (5) (2016)
Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
On the Formal Analysis of Photonic Signal Processing Systems. FMICS (2015)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Power Electronic Systems. ICFEM (2015)
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM (2015)
Umair Siddique, Osman Hasan, Sofiène Tahar
Formal modeling and verification of integrated photonic systems. SysCon (2015)
Umair Siddique, Osman Hasan, Sofiène Tahar
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM (2015)
Umair Siddique, Osman Hasan, Sofiène Tahar
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CoRR (2015)
Sohaib Ahmad, Osman Hasan, Umair Siddique
On the Formalization of Zsyntax with Applications in Molecular Biology. Scalable Comput. Pract. Exp. 16 (1) (2015)
Umair Siddique, Osman Hasan
On the Formalization of Gamma Function in HOL. J. Autom. Reason. 53 (4) (2014)
Sohaib Ahmad, Osman Hasan, Umair Siddique
Towards Formal Reasoning about Molecular Pathways in HOL. WETICE (2014)
Umair Siddique, Sofiène Tahar
Towards ray optics formalization of optical imaging systems. IRI (2014)
Umair Siddique, Sofiène Tahar
Towards the formal analysis of microresonators based photonic systems. DATE (2014)
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar
On the Formalization of Z-Transform in HOL. ITP (2014)
Umair Siddique, Sofiène Tahar
A Framework for Formal Reasoning about Geometrical Optics. CICM (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. CoRR (2014)
Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. SBMF (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. Math. Comput. Sci. 8 (1) (2014)
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
Formal Stability Analysis of Optical Resonators. NASA Formal Methods (2013)
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
On the Formal Analysis of Geometrical Optics in HOL. Automated Deduction in Geometry (2012)
Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Khan Niazi
Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. BIBM (2011)
Umair Siddique, Osman Hasan
Formal analysis of fractional order systems in HOL. FMCAD (2011)