Umair Siddique

38 papers A 2B 3C 7Misc 1Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Competence Shadow: Theory and Bounds of AI Assistance in Safety Engineering.
CoRR
Umair Siddique
2025 J jnl
A Digital Twin Framework for Metamorphic Testing of Autonomous Driving Systems Using Generative Model.
CoRR
Tony Zhang, Burak Kantarci, Umair Siddique
2025 J jnl
AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles.
CoRR
Tony Zhang, Burak Kantarci, Umair Siddique
2020 J jnl
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper).
CoRR
Adnan Rashid, Umair Siddique, Sofiène Tahar
2020 J jnl
SafetyOps.
CoRR
Umair Siddique
2019 — conf
Formal Verification of Cyber-Physical Systems Using Theorem Proving.
FTSCS
Adnan Rashid, Umair Siddique, Sofiène Tahar
2019 — conf
Formalization of Asymptotic Notations in HOL4.
ICCCS
Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2018 J jnl
Formal Analysis of Discrete-Time Systems using z-Transform.
FLAP
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar
2018 B conf
Formal Verification of Platoon Control Strategies.
SEFM
Adnan Rashid, Umair Siddique, Osman Hasan
2018 J jnl
Formal Verification of Platoon Control Strategies.
CoRR
Adnan Rashid, Umair Siddique, Osman Hasan
2017 C conf
Combining Refinement and Signal-Temporal Logic for Biological Systems.
CICM
Usman Sanwal, Umair Siddique
2017 A conf
Formal specification and dependability analysis of optical communication networks.
DATE
Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson
2017 J jnl
Formal verification of stability and chaos in periodic optical systems.
J. Comput. Syst. Sci.
Umair Siddique, Sofiène Tahar
2017 — conf
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL.
TACAS (2)
Noel Brett, Umair Siddique, Borzoo Bonakdarpour
2016 — conf
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.
NSV@CAV
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
2016 J jnl
On the formal analysis of Gaussian optical systems in HOL.
Formal Aspects Comput.
Umair Siddique, Sofiène Tahar
2015 C conf
Formal Analysis of Power Electronic Systems.
ICFEM
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
2015 — conf
Formal modeling and verification of integrated photonic systems.
SysCon
Umair Siddique, Osman Hasan, Sofiène Tahar
2015 C conf
Formalizing Physics: Automation, Presentation and Foundation Issues.
CICM
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar
2015 C conf
On the Formal Analysis of Photonic Signal Processing Systems.
FMICS
Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
2015 — ch.
On the Formalization of Cardinal Points of Optical Systems.
Formalisms for Reuse and Systems Integration
Umair Siddique, Sofiène Tahar
2015 J jnl
On the Formalization of Zsyntax with Applications in Molecular Biology.
Scalable Comput. Pract. Exp.
Sohaib Ahmad, Osman Hasan, Umair Siddique
2015 C conf
Towards the Formalization of Fractional Calculus in Higher-Order Logic.
CICM
Umair Siddique, Osman Hasan, Sofiène Tahar
2015 J jnl
Towards the Formalization of Fractional Calculus in Higher-Order Logic.
CoRR
Umair Siddique, Osman Hasan, Sofiène Tahar
2014 C conf
A Framework for Formal Reasoning about Geometrical Optics.
CICM
Umair Siddique, Sofiène Tahar
2014 J jnl
Formal Analysis of Optical Systems.
CoRR
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
2014 J jnl
Formal Analysis of Optical Systems.
Math. Comput. Sci.
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
2014 — conf
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4.
SBMF
Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar
2014 J jnl
On the Formalization of Gamma Function in HOL.
J. Autom. Reason.
Umair Siddique, Osman Hasan
2014 B conf
On the Formalization of Z-Transform in HOL.
ITP
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar
2014 C conf
Towards Formal Reasoning about Molecular Pathways in HOL.
WETICE
Sohaib Ahmad, Osman Hasan, Umair Siddique
2014 Misc conf
Towards ray optics formalization of optical imaging systems.
IRI
Umair Siddique, Sofiène Tahar
2014 A conf
Towards the formal analysis of microresonators based photonic systems.
DATE
Umair Siddique, Sofiène Tahar
2013 — conf
Formal Stability Analysis of Optical Resonators.
NASA Formal Methods
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
2012 — conf
On the Formal Analysis of Geometrical Optics in HOL.
Automated Deduction in Geometry
Umair Siddique, Vincent Aravantinos, Sofiène Tahar
2011 — conf
Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN.
BIBM
Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Khan Niazi
2011 B conf
Formal analysis of fractional order systems in HOL.
FMCAD
Umair Siddique, Osman Hasan