| Publication | Date of Publication | Type |
|---|
Dynamic dependability analysis of shuffle-exchange networks
Formal Methods in System Design | 2024-06-28 | Paper |
Formalization of the telegrapher's equations using higher-order-logic theorem proving
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-05-10 | Paper |
Formal Verification of Rewriting Rules for Dynamic Fault Trees
| 2024-03-14 | Paper |
On the formalization of the heat conduction problem in HOL
Lecture Notes in Computer Science | 2023-06-02 | Paper |
Formal analysis of information flow in HOL
Dependable Software Engineering. Theories, Tools, and Applications | 2022-11-04 | Paper |
scientific article; zbMATH DE number 7594146 (Why is no real title available?)
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7594175 (Why is no real title available?)
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7594209 (Why is no real title available?)
| 2022-09-28 | Paper |
Probabilistic analysis of dynamic fault trees using HOL theorem proving
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7594102 (Why is no real title available?)
| 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}
Formal Aspects of Computing | 2020-09-09 | Paper |
Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation
Formal Aspects of Computing | 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
IEEE Transactions on Computers | 2018-06-27 | Paper |
Formal analysis of continuous-time systems using Fourier transform
Journal of Symbolic Computation | 2018-06-14 | Paper |
Formal Reliability Analysis Using Theorem Proving
IEEE Transactions on Computers | 2017-07-27 | Paper |
Formalization of transform methods using HOL Light
| 2017-07-21 | Paper |
Probabilistic Error Modeling for Approximate Adders
IEEE Transactions on Computers | 2017-06-08 | Paper |
Formalization of reliability block diagrams in higher-order logic
Journal of Applied Logic | 2016-10-31 | Paper |
On the formalization of Fourier transform in higher-order logic
Interactive Theorem Proving | 2016-10-27 | Paper |
Formal dependability modeling and analysis: a survey
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Formalization of normal random variables in HOL
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Evaluation of anonymity and confidentiality protocols using theorem proving
Formal Methods in System Design | 2016-02-25 | Paper |
Formal probabilistic analysis of detection properties in wireless sensor networks
Formal Aspects of Computing | 2016-01-06 | Paper |
Towards Formal Fault Tree Analysis Using Theorem Proving
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Towards the formalization of fractional calculus in higher-order logic
Lecture Notes in Computer Science | 2015-11-20 | Paper |
On the formalization of gamma function in HOL
Journal of Automated Reasoning | 2015-07-02 | Paper |
Formal analysis of optical systems
Mathematics in Computer Science | 2014-11-26 | Paper |
Towards the formal reliability analysis of oil and gas pipelines
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Formalization of complex vectors in higher-order logic
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Formal Analysis of Memory Contention in a Multiprocessor System
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Formal reasoning about finite-state discrete-time Markov chains in HOL
Journal of Computer Science and Technology | 2014-02-06 | Paper |
An approach for lifetime reliability analysis using theorem proving
Journal of Computer and System Sciences | 2013-12-13 | Paper |
Formal reasoning about classified Markov chains in HOL
Interactive Theorem Proving | 2013-08-07 | Paper |
Formalization of finite-state discrete-time Markov chains in HOL
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Formalization of entropy measures in HOL
Interactive Theorem Proving | 2011-08-17 | Paper |
Reasoning about conditional probabilities in a higher-order-logic theorem prover
Journal of Applied Logic | 2011-06-22 | Paper |
Formal reliability analysis of combinational circuits using theorem proving
Journal of Applied Logic | 2011-06-22 | Paper |
Formal lifetime reliability analysis using continuous random variables
Logic, Language, Information and Computation | 2010-09-29 | Paper |
On the formalization of the Lebesgue integration theory in HOL
Interactive Theorem Proving | 2010-09-14 | Paper |
Performance analysis and functional verification of the stop-and-wait protocol in HOL
Journal of Automated Reasoning | 2009-11-25 | Paper |
Using theorem proving to verify expectation and variance for discrete random variables
Journal of Automated Reasoning | 2009-11-25 | Paper |
Formal Analysis of Optical Waveguides in HOL
Lecture Notes in Computer Science | 2009-10-20 | Paper |
Formalization of Continuous Probability Distributions
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Formal verification of tail distribution bounds in the HOL theorem prover
Mathematical Methods in the Applied Sciences | 2009-03-04 | Paper |
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
Lecture Notes in Computer Science | 2009-02-24 | Paper |
Verification of Tail Distribution Bounds in a Theorem Prover
AIP Conference Proceedings | 2009-01-22 | Paper |
Verification of Expectation Properties for Discrete Random Variables in HOL
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Formalization of the standard uniform random variable
Theoretical Computer Science | 2007-09-03 | Paper |
