The following pages link to Sofiène Tahar (Q246141):
Displaying 50 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- 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)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← 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)
- Formalization of RBD-based cause consequence analysis in HOL (Q2128793) (← links)
- A framework for formal dynamic dependability analysis using HOL theorem proving (Q2219384) (← links)
- Formal verification of stability and chaos in periodic optical systems (Q2361358) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Error analysis of digital filters using HOL theorem proving (Q2475434) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- On the Formal Analysis of Geometrical Optics in HOL (Q2849513) (← links)
- Implicational Rewriting Tactics in HOL (Q2879242) (← links)
- Formal Verification of Optical Quantum Flip Gate (Q2879263) (← links)
- On the Formalization of Z-Transform in HOL (Q2879271) (← 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)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← 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)
- (Q4412532) (← links)
- (Q4413686) (← links)
- Performance of various multistage interference cancellation schemes for asynchronous QPSK/DS/CDMA over multipath Rayleigh fading channels (Q4552983) (← links)
- (Q4737560) (← links)
- (Q4737561) (← links)
- (Q4787234) (← links)
- Formal Lifetime Reliability Analysis Using Continuous Random Variables (Q4931592) (← links)
- (Q4945213) (← links)
- (Q4948730) (← 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 Analysis of Engineering Systems Based on Signal-Flow-Graph Theory (Q5213976) (← links)
