Umair Siddique
Latest

Formal Verification of CyberPhysical Systems using Theorem Proving

Formalization of Asymptotic Notations in HOL4

Joint Proceedings of the CMEEI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 colocated with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 1317, 2018

Formal Analysis of DiscreteTime Systems using zTransform

Formal verification of platoon control strategies

Combining Refinement and SignalTemporal Logic for Biological Systems

Formal reasoning about systems biology using theorem proving

Formal verification of stability and chaos in periodic optical systems

RewritingBased Runtime Verification for AlternationFree HyperLTL

On the formal analysis of Gaussian optical systems in HOL

Formal Analysis of Geometrical Optics using Theorem Proving

Formal analysis of power electronic systems

Formalizing physics: automation, presentation and foundation issues

On the formalization of zsyntax with applications in molecular biology

Towards the formalization of fractional calculus in higherorder logic

A Framework for Formal Reasoning about Geometrical Optics

Formal analysis of optical systems

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

On the Formalization of Cardinal Points of Optical Systems

On the Formalization of SignalFlowGraphs in HOL

Stability Verification of Optical and Laser Resonators in HOL Light

Towards Formal Reasoning about Molecular Pathways in HOL

Towards Ray Optics Formalization of Optical Imaging Systems

Towards the application of formal methods in process engineering

A new approach for the verification of optical systems

Efficient Implementation of Computationally Complex Algorithms: Custom Instruction Approach

Formal stability analysis of optical resonators

Analysis techniques for fractional order systems: A survey

Formal modeling and analysis of the malassociated biological regulatory network: insight into cerebral malaria

HigherOrder Logic Formalization of Geometrical Optics

On the formal analysis of geometrical optics in HOL

Formal modeling and analysis of biological regulatory networks using spin