| 2025 | GLOBECOM | A Digital Twin Framework for Metamorphic Testing of Autonomous Driving Systems Using Generative Model. | Tony Zhang, Burak Kantarci, Umair Siddique |
| 2018 | SEFM | Formal Verification of Platoon Control Strategies. | Adnan Rashid, Umair Siddique, Osman Hasan |
| 2017 | DATE | Formal specification and dependability analysis of optical communication networks. | Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson |
| 2017 | TACAS | Rewriting-Based Runtime Verification for Alternation-Free HyperLTL. | Noel Brett, Umair Siddique, Borzoo Bonakdarpour |
| 2016 | CAV | Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. | Sidi Mohamed Beillahi, Umair Siddique, Sofine Tahar |
| 2015 | FMICS | On the Formal Analysis of Photonic Signal Processing Systems. | Umair Siddique, Sidi Mohamed Beillahi, Sofine Tahar |
| 2015 | ICFEM | Formal Analysis of Power Electronic Systems. | Sidi Mohamed Beillahi, Umair Siddique, Sofine Tahar |
| 2014 | DATE | Towards the formal analysis of microresonators based photonic systems. | Umair Siddique, Sofine Tahar |
| 2014 | IRI | Towards ray optics formalization of optical imaging systems. | Umair Siddique, Sofine Tahar |
| 2014 | ITP | On the Formalization of Z-Transform in HOL. | Umair Siddique, Mohamed Yousri Mahmoud, Sofine Tahar |
| 2014 | WETICE | Towards Formal Reasoning about Molecular Pathways in HOL. | Sohaib Ahmad, Osman Hasan, Umair Siddique |
| 2011 | FMCAD | Formal analysis of fractional order systems in HOL. | Umair Siddique, Osman Hasan |