| Publication | Date of Publication | Type |
|---|
| A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving | 2024-12-04 | Paper |
| HOL4PRS: proof recommendation system for the HOL4 theorem prover | 2024-12-04 | Paper |
| A comparison of MDG and HOL for hardware verification | 2024-07-05 | Paper |
| 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 |
| Formalization of functional block diagrams using HOL theorem proving | 2023-08-10 | 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/Q5869541 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869611 | 2022-09-28 | Paper |
| Formalization of RBD-based cause consequence analysis in HOL | 2022-04-22 | Paper |
| A framework for formal dynamic dependability analysis using HOL theorem proving | 2021-01-20 | Paper |
| Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation | 2020-07-27 | Paper |
| Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory | 2020-02-06 | Paper |
| A modeling and verification framework for optical quantum circuits | 2019-06-03 | Paper |
| On the Formalization of Cardinal Points of Optical Systems | 2017-08-18 | Paper |
| Formal Reliability Analysis Using Theorem Proving | 2017-07-27 | Paper |
| Formal verification of stability and chaos in periodic optical systems | 2017-06-30 | Paper |
| Formalization of reliability block diagrams in higher-order logic | 2016-10-31 | Paper |
| On the formal analysis of Gaussian optical systems in HOL | 2016-09-20 | 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 |
| Formalizing Physics: Automation, Presentation and Foundation Issues | 2015-11-20 | Paper |
| Towards the Formalization of Fractional Calculus in Higher-Order Logic | 2015-11-20 | Paper |
| Enabling Symbolic and Numerical Computations in HOL Light | 2015-11-20 | Paper |
| Formal analysis of optical systems | 2014-11-26 | Paper |
| On the Formalization of Z-Transform in HOL | 2014-09-08 | Paper |
| Formal Verification of Optical Quantum Flip Gate | 2014-09-08 | Paper |
| Implicational Rewriting Tactics in HOL | 2014-09-08 | Paper |
| Towards the Formal Reliability Analysis of Oil and Gas Pipelines | 2014-08-07 | Paper |
| A Framework for Formal Reasoning about Geometrical Optics | 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 |
| NuMDG: a new tool for multiway decision graphs construction | 2014-02-06 | 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 |
| On the Formal Analysis of Geometrical Optics in HOL | 2013-09-20 | 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 |
| Correct Hardware Design and Verification Methods | 2010-02-05 | 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 |
| A New Approach for the Construction of Multiway Decision Graphs | 2009-01-27 | 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 |
| Error analysis of digital filters using HOL theorem proving | 2008-03-11 | Paper |
| Formalization of the standard uniform random variable | 2007-09-03 | Paper |
| Providing a formal linkage between MDG and HOL | 2007-04-26 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Formalization of fixed-point arithmetic in HOL | 2006-02-20 | Paper |
| Theorem Proving in Higher Order Logics | 2005-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737561 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737560 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413686 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412532 | 2003-07-15 | Paper |
| Performance of various multistage interference cancellation schemes for asynchronous QPSK/DS/CDMA over multipath Rayleigh fading channels | 2003-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787234 | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948730 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945213 | 2000-03-23 | Paper |
