The following pages link to Osman Hasan (Q246140):
Displaying 50 items.
- Formalization of reliability block diagrams in higher-order logic (Q334147) (← links)
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
- Formal reliability analysis of combinational circuits using theorem proving (Q545153) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Formalization of the standard uniform random variable (Q995466) (← links)
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Formal analysis of continuous-time systems using Fourier transform (Q1640640) (← links)
- Formalization of fault trees in higher-order logic: a deep embedding approach (Q1660781) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- A framework for formal dynamic dependability analysis using HOL theorem proving (Q2219384) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- On the Formalization of Fourier Transform in Higher-order Logic (Q2829282) (← links)
- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light (Q2870169) (← links)
- Formalization of Entropy Measures in HOL (Q3088009) (← links)
- Formalization of Finite-State Discrete-Time Markov Chains in HOL (Q3172906) (← links)
- Formal Analysis of Optical Waveguides in HOL (Q3183532) (← links)
- Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)
- Verification of Expectation Properties for Discrete Random Variables in HOL (Q3523170) (← links)
- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (Q3605473) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)
- Formalization of Continuous Probability Distributions (Q3608759) (← links)
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (Q3608890) (← links)
- Probabilistic Error Analysis of Approximate Recursive Multipliers (Q4567247) (← links)
- Formal Lifetime Reliability Analysis Using Continuous Random Variables (Q4931592) (← links)
- Formal Analysis of Information Flow in HOL (Q5045392) (← links)
- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy (Q5166664) (← links)
- Formal Analysis of Memory Contention in a Multiprocessor System (Q5166668) (← links)
- Formal Reliability Analysis Using Theorem Proving (Q5280761) (← links)
- Formal Reasoning about Classified Markov Chains in HOL (Q5327351) (← links)
- Probabilistic Error Modeling for Approximate Adders (Q5346087) (← links)
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912) (← links)
- Formalization of Complex Vectors in Higher-Order Logic (Q5495918) (← links)
- Verification of Tail Distribution Bounds in a Theorem Prover (Q5504370) (← links)
- On the Formalization of the Lebesgue Integration Theory in HOL (Q5747663) (← links)
- (Q5869525) (← links)
- (Q5869574) (← links)
- (Q5869610) (← links)
- (Q5869611) (← links)
- (Q5869662) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)
- Dynamic dependability analysis of shuffle-exchange networks (Q6564180) (← links)
