| 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
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 |
Formalization of functional block diagrams using HOL theorem proving
Lecture Notes in Computer Science | 2023-08-10 | 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 7594116 (Why is no real title available?) | 2022-09-28 | Paper |
Probabilistic analysis of dynamic fault trees using HOL theorem proving
(available as arXiv preprint) | 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
Formal Aspects of Computing | 2020-07-27 | Paper |
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory
Numerical Software Verification | 2020-02-06 | Paper |
A modeling and verification framework for optical quantum circuits
Formal Aspects of Computing | 2019-06-03 | Paper |
On the formalization of cardinal points of optical systems
Formalisms for Reuse and Systems Integration | 2017-08-18 | Paper |
Formal Reliability Analysis Using Theorem Proving
IEEE Transactions on Computers | 2017-07-27 | Paper |
Formal verification of stability and chaos in periodic optical systems
Journal of Computer and System Sciences | 2017-06-30 | Paper |
Formalization of reliability block diagrams in higher-order logic
Journal of Applied Logic | 2016-10-31 | Paper |
On the formal analysis of Gaussian optical systems in HOL
Formal Aspects of Computing | 2016-09-20 | 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 |
Formalizing physics: automation, presentation and foundation issues
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 |
Enabling symbolic and numerical computations in HOL Light
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Formal analysis of optical systems
Mathematics in Computer Science | 2014-11-26 | Paper |
On the Formalization of Z-Transform in HOL
Interactive Theorem Proving | 2014-09-08 | Paper |
Formal verification of optical quantum flip gate
Interactive Theorem Proving | 2014-09-08 | Paper |
Implicational rewriting tactics in HOL
Interactive Theorem Proving | 2014-09-08 | Paper |
Towards the formal reliability analysis of oil and gas pipelines
Lecture Notes in Computer Science | 2014-08-07 | Paper |
A Framework for Formal Reasoning about Geometrical Optics
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 |
NuMDG: a new tool for multiway decision graphs construction
Journal of Computer Science and Technology | 2014-02-06 | 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 |
On the Formal Analysis of Geometrical Optics in HOL
Automated Deduction in Geometry | 2013-09-20 | 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 |
On the correctness of an intrusion-tolerant group communication protocol
Lecture Notes in Computer Science | 2010-02-05 | 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 |
A New Approach for the Construction of Multiway Decision Graphs
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | 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 |
Error analysis of digital filters using HOL theorem proving
Journal of Applied Logic | 2008-03-11 | Paper |
Formalization of the standard uniform random variable
Theoretical Computer Science | 2007-09-03 | Paper |
Providing a formal linkage between MDG and HOL
Formal Methods in System Design | 2007-04-26 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Formalization of fixed-point arithmetic in HOL
Formal Methods in System Design | 2006-02-20 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2086953 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086952 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1951196 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1949624 (Why is no real title available?) | 2003-07-15 | Paper |
Performance of various multistage interference cancellation schemes for asynchronous QPSK/DS/CDMA over multipath Rayleigh fading channels
IEEE Transactions on Communications | 2003-06-19 | Paper |
| scientific article; zbMATH DE number 1852162 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1436133 (Why is no real title available?) | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1424023 (Why is no real title available?) | 2000-03-23 | Paper |
