UMAIR SIDDIQUE
UMAIR SIDDIQUE
Home
Publications
Contact
Publications
Quickly discover relevant content by
filtering publications
.
Type
Conference paper
Journal article
Preprint
Report
Book
Thesis
Date
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
Umair Siddique
August 2020
Safetyops
PDF
Cite
Adnan Rashid
,
Umair Siddique
,
Sofiéne Tahar
January 2020
Formal Techniques for Safety-Critical Systems
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
PDF
Cite
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
January 2019
CEUR-WS.org
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
PDF
Cite
Adnan Rashid
,
Umair Siddique
,
Osman Hasan
January 2018
International Conference on Software Engineering and Formal Methods
Formal verification of platoon control strategies
PDF
Cite
Umair Siddique
,
Mohamed Yousri Mahmoud
,
Sofiéne Tahar
January 2018
Journal of Applied Logic
Formal Analysis of Discrete-Time Systems using z-Transform
PDF
Cite
Noel Brett
,
Umair Siddique
,
Borzoo Bonakdarpour
January 2017
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2017
Journal of Computer and System Sciences
Formal verification of stability and chaos in periodic optical systems
PDF
Cite
Adnan Rashid
,
Osman Hasan
,
Umair Siddique
,
Sofiéne Tahar
January 2017
PloS one
Formal reasoning about systems biology using theorem proving
PDF
Cite
S. M. Beillahi
,
U. Siddique
,
S. Tahar
January 2017
Numerical Software Verification (NSV-2016)
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
PDF
Cite
Usman Sanwal
,
Umair Siddique
January 2017
International Conference on Intelligent Computer Mathematics
Combining Refinement and Signal-Temporal Logic for Biological Systems
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2016
Formal Aspects of Computing
On the formal analysis of Gaussian optical systems in HOL
PDF
Cite
Umair Siddique
,
Osman Hasan
,
Sofiéne Tahar
January 2015
Conferences on Intelligent Computer Mathematics
Towards the formalization of fractional calculus in higher-order logic
PDF
Cite
Sohaib Ahmad
,
Osman Hasan
,
Umair Siddique
January 2015
Scalable Computing: Practice and Experience
On the formalization of zsyntax with applications in molecular biology
PDF
Cite
Cezary Kaliszyk
,
Josef Urban
,
Umair Siddique
,
Sanaz Khan-Afshar
,
Cvetan Dunchev
,
Sofiéne Tahar
January 2015
Conferences on Intelligent Computer Mathematics
Formalizing physics: automation, presentation and foundation issues
PDF
Cite
Sidi Mohamed Beillahi
,
Umair Siddique
,
Sofiéne Tahar
January 2015
International Conference on Formal Engineering Methods
Formal analysis of power electronic systems
PDF
Cite
Umair Siddique
January 2015
PhD Thesis
Formal Analysis of Geometrical Optics using Theorem Proving
PDF
Cite
Sidi Mohamed Beillahi
,
Umair Siddique
,
Sofiéne Tahar
January 2014
Fun With Formal Methods
Towards the application of formal methods in process engineering
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2014
Proceedings of IEEE International Conference on Information Reuse and Integration (IRI'14), San Francisco, California, USA
Towards Ray Optics Formalization of Optical Imaging Systems
PDF
Cite
Sohaib Ahmad
,
Osman Hasan
,
Umair Siddique
January 2014
IEEE 23rd International WETICE Conference
Towards Formal Reasoning about Molecular Pathways in HOL
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2014
Technical Report, Department of Electrical and Computer Engineering, Concordia University
Stability Verification of Optical and Laser Resonators in HOL Light
PDF
Cite
Sidi Mohamed Beillahi
,
Umair Siddique
,
Sofiéne Tahar
January 2014
Technical report, ECE Department, Concordia University, Montreal, QC, Canada
On the Formalization of Signal-Flow-Graphs in HOL
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2014
Journal of Automated Reasoning
On the Formalization of Gamma Function in HOL
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2014
Formal Methods Integration
On the Formalization of Cardinal Points of Optical Systems
PDF
Cite
Sohaib Ahmad
,
Osman Hasan
,
Umair Siddique
,
Sofiéne Tahar
January 2014
Brazilian Symposium on Formal Methods
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4
PDF
Cite
Sanaz Khan-Afshar
,
Umair Siddique
,
Mohamed Yousri Mahmoud
,
Vincent Aravantinos
,
Ons Seddiki
,
Osman Hasan
,
Sofiéne Tahar
January 2014
Mathematics in Computer Science
Formal analysis of optical systems
PDF
Cite
Umair Siddique
,
Sofiéne Tahar
January 2014
Intelligent Computer Mathematics
A Framework for Formal Reasoning about Geometrical Optics
PDF
Cite
Umair Siddique
,
Vincent Aravantinos
,
Sofiéne Tahar
January 2013
NASA Formal Methods Symposium
Formal stability analysis of optical resonators
PDF
Cite
Waqar Ahmed
,
Hasan Mahmood
,
Umair Siddique
January 2013
Electrical Engineering and Intelligent Systems
Efficient Implementation of Computationally Complex Algorithms: Custom Instruction Approach
PDF
Cite
Umair Siddique
,
Vincent Aravantinos
,
Sofiéne Tahar
January 2013
Optical System Alignment, Tolerancing, and Verification VII
A new approach for the verification of optical systems
PDF
Cite
Umair Siddique
,
Vincent Aravantinos
,
Sofiéne Tahar
January 2012
International Workshop on Automated Deduction in Geometry
On the formal analysis of geometrical optics in HOL
PDF
Cite
Umair Siddique
,
Vincent Aravantinos
,
Sofiéne Tahar
January 2012
International Workshop on Automated Deduction in Geometry (ADG)
Higher-Order Logic Formalization of Geometrical Optics
PDF
Cite
Jamil Ahmad
,
Umar Niazi
,
Sajid Mansoor
,
Umair Siddique
,
Jaclyn Bibby
January 2012
PloS one
Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria
PDF
Cite
Umair Siddique
,
Osman Hasan
January 2012
AIP Conference Proceedings
Analysis techniques for fractional order systems: A survey
PDF
Cite
W Ahmed
,
H Mahmood
,
U Siddique
January 2011
Proceedings of world congress on engineering
The efficient implementation of S8 AES algorithm
PDF
Cite
Usman Rauf
,
Umair Siddique
,
Jamil Ahmad
,
Umar Niazi
January 2011
2011 IEEE International Conference on Bioinformatics and Biomedicine
Formal modeling and analysis of biological regulatory networks using spin
PDF
Cite
U. Siddique
January 2011
Formal Methods in Computer-Aided Design (FMCAD)
Formal analysis of Fractional Order Systems in Higher-order Logic
PDF
Cite
Cite
×