Umair Siddique

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869541	2022-09-28	Paper
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL	2020-08-05	Paper
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory	2020-02-06	Paper
Combining refinement and signal-temporal logic for biological systems	2017-07-21	Paper
Formal verification of stability and chaos in periodic optical systems	2017-06-30	Paper
On the formal analysis of Gaussian optical systems in HOL	2016-09-20	Paper
Formalizing Physics: Automation, Presentation and Foundation Issues	2015-11-20	Paper
Towards the Formalization of Fractional Calculus in Higher-Order Logic	2015-11-20	Paper
On the formalization of gamma function in HOL	2015-07-02	Paper
Formal analysis of optical systems	2014-11-26	Paper
On the Formalization of Z-Transform in HOL	2014-09-08	Paper
A Framework for Formal Reasoning about Geometrical Optics	2014-08-07	Paper
On the Formal Analysis of Geometrical Optics in HOL	2013-09-20	Paper

This page was built for person: Umair Siddique