Umair Siddique

According to our database, Umair Siddique authored at least 31 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

SafetyOps.

Umair Siddique

CoRR, 2020

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper).

Adnan Rashid, Umair Siddique, Sofiène Tahar

CoRR, 2020

2019

Formal Verification of Cyber-Physical Systems Using Theorem Proving.

Adnan Rashid, Umair Siddique, Sofiène Tahar

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Formalization of Asymptotic Notations in HOL4.

Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad

Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019

2018

Formal Analysis of Discrete-Time Systems using z-Transform.

Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

FLAP, 2018

Formal Verification of Platoon Control Strategies.

Adnan Rashid, Umair Siddique, Osman Hasan

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Formal verification of stability and chaos in periodic optical systems.

Umair Siddique, Sofiène Tahar

J. Comput. Syst. Sci., 2017

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL.

Noel Brett, Umair Siddique, Borzoo Bonakdarpour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Combining Refinement and Signal-Temporal Logic for Biological Systems.

Usman Sanwal, Umair Siddique

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal specification and dependability analysis of optical communication networks.

Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

On the formal analysis of Gaussian optical systems in HOL.

Umair Siddique, Sofiène Tahar

Formal Aspects Comput., 2016

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory.

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

On the Formalization of Cardinal Points of Optical Systems.

Umair Siddique, Sofiène Tahar

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

On the Formalization of Zsyntax with Applications in Molecular Biology.

Sohaib Ahmad, Osman Hasan, Umair Siddique

Scalable Comput. Pract. Exp., 2015

Formal modeling and verification of integrated photonic systems.

Umair Siddique, Osman Hasan, Sofiène Tahar

Proceedings of the Annual IEEE Systems Conference, 2015

Towards the Formalization of Fractional Calculus in Higher-Order Logic.

Umair Siddique, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Formalizing Physics: Automation, Presentation and Foundation Issues.

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Formal Analysis of Power Electronic Systems.

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2015

On the Formal Analysis of Photonic Signal Processing Systems.

Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

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 Formalization of Gamma Function in HOL.

Umair Siddique, Osman Hasan

J. Autom. Reason., 2014

Towards Formal Reasoning about Molecular Pathways in HOL.

Sohaib Ahmad, Osman Hasan, Umair Siddique

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4.

Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

A Framework for Formal Reasoning about Geometrical Optics.

Umair Siddique, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

On the Formalization of Z-Transform in HOL.

Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Towards ray optics formalization of optical imaging systems.

Umair Siddique, Sofiène Tahar

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Towards the formal analysis of microresonators based photonic systems.

Umair Siddique, Sofiène Tahar

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Formal Stability Analysis of Optical Resonators.

Umair Siddique, Vincent Aravantinos, Sofiène Tahar

Proceedings of the NASA Formal Methods, 2013

2012

On the Formal Analysis of Geometrical Optics in HOL.

Umair Siddique, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Formal analysis of fractional order systems in HOL.

Umair Siddique, Osman Hasan

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN.

Usman Rauf, Umair Siddique, Jamil Ahmad, Umar Khan Niazi

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011