Osman Hasan

Available identifiers

zbMath Open hasan.osmanMaRDI QIDQ246140

List of research outcomes

Publication	Date of Publication	Type
On the formalization of the heat conduction problem in HOL	2023-06-02	Paper
Formal Analysis of Information Flow in HOL	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5869525	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869574	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869610	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869611	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5869662	2022-09-28	Paper
A framework for formal dynamic dependability analysis using HOL theorem proving	2021-01-20	Paper
Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}	2020-09-09	Paper
Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation	2020-07-27	Paper
Formalization of fault trees in higher-order logic: a deep embedding approach	2018-08-16	Paper
Probabilistic Error Analysis of Approximate Recursive Multipliers	2018-06-27	Paper
Formal analysis of continuous-time systems using Fourier transform	2018-06-14	Paper
Formal Reliability Analysis Using Theorem Proving	2017-07-27	Paper
Formalization of transform methods using HOL Light	2017-07-21	Paper
Probabilistic Error Modeling for Approximate Adders	2017-06-08	Paper
Formalization of reliability block diagrams in higher-order logic	2016-10-31	Paper
On the Formalization of Fourier Transform in Higher-order Logic	2016-10-27	Paper
Formalization of Normal Random Variables in HOL	2016-08-30	Paper
Formal Dependability Modeling and Analysis: A Survey	2016-08-30	Paper
Evaluation of anonymity and confidentiality protocols using theorem proving	2016-02-25	Paper
Formal probabilistic analysis of detection properties in wireless sensor networks	2016-01-06	Paper
Towards Formal Fault Tree Analysis Using Theorem Proving	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
Towards the Formal Reliability Analysis of Oil and Gas Pipelines	2014-08-07	Paper
Formalization of Complex Vectors in Higher-Order Logic	2014-08-07	Paper
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy	2014-07-08	Paper
Formal Analysis of Memory Contention in a Multiprocessor System	2014-07-08	Paper
Formal reasoning about finite-state discrete-time Markov chains in HOL	2014-02-06	Paper
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light	2014-01-17	Paper
An approach for lifetime reliability analysis using theorem proving	2013-12-13	Paper
Formal Reasoning about Classified Markov Chains in HOL	2013-08-07	Paper
Formalization of Finite-State Discrete-Time Markov Chains in HOL	2011-10-07	Paper
Formalization of Entropy Measures in HOL	2011-08-17	Paper
Reasoning about conditional probabilities in a higher-order-logic theorem prover	2011-06-22	Paper
Formal reliability analysis of combinational circuits using theorem proving	2011-06-22	Paper
Formal Lifetime Reliability Analysis Using Continuous Random Variables	2010-09-29	Paper
On the Formalization of the Lebesgue Integration Theory in HOL	2010-09-14	Paper
Using theorem proving to verify expectation and variance for discrete random variables	2009-11-25	Paper
Performance analysis and functional verification of the stop-and-wait protocol in HOL	2009-11-25	Paper
Formal Analysis of Optical Waveguides in HOL	2009-10-20	Paper
Formalization of Continuous Probability Distributions	2009-03-06	Paper
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function	2009-03-06	Paper
Formal verification of tail distribution bounds in the HOL theorem prover	2009-03-04	Paper
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays	2009-02-24	Paper
Verification of Tail Distribution Bounds in a Theorem Prover	2009-01-22	Paper
Verification of Expectation Properties for Discrete Random Variables in HOL	2008-09-02	Paper
Formalization of the standard uniform random variable	2007-09-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Osman Hasan