| Publication | Date of Publication | Type |
|---|
| Dynamic dependability analysis of shuffle-exchange networks | 2024-06-28 | Paper |
| Formalization of the telegrapher's equations using higher-order-logic theorem proving | 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 | 2023-06-02 | Paper |
| Formal Analysis of Information Flow in HOL | 2022-11-04 | 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/Q5869662 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869611 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869525 | 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 |
| Formal Dependability Modeling and Analysis: A Survey | 2016-08-30 | Paper |
| Formalization of Normal Random Variables in HOL | 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 Memory Contention in a Multiprocessor System | 2014-07-08 | Paper |
| Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy | 2014-07-08 | Paper |
| Formal reasoning about finite-state discrete-time Markov chains in HOL | 2014-02-06 | 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 |
| Performance analysis and functional verification of the stop-and-wait protocol in HOL | 2009-11-25 | Paper |
| Using theorem proving to verify expectation and variance for discrete random variables | 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 |
