| A Quality-assured Approximate Hardware Accelerators–based on Machine Learning and Dynamic Partial Reconfiguration | 1 | 0.35 | 2021 |
| Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. | 0 | 0.34 | 2021 |
| Machine Learning-Based Self-Compensating Approximate Computing | 0 | 0.34 | 2020 |
| A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. | 0 | 0.34 | 2020 |
| Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting | 0 | 0.34 | 2020 |
| Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. | 0 | 0.34 | 2020 |
| ETMA: An Efficient Tool for Event Trees Modeling and Analysis | 0 | 0.34 | 2020 |
| Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. | 0 | 0.34 | 2020 |
| Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation | 0 | 0.34 | 2020 |
| Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. | 0 | 0.34 | 2019 |
| A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving | 0 | 0.34 | 2019 |
| On the Formalization of Importance Measures using HOL Theorem Proving. | 1 | 0.45 | 2019 |
| Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. | 0 | 0.34 | 2018 |
| Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. | 1 | 0.35 | 2018 |
| Intertwined Global Optimization Based Reachability Analysis | 0 | 0.34 | 2017 |
| Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. | 0 | 0.34 | 2017 |
| Formal verification of stability and chaos in periodic optical systems. | 0 | 0.34 | 2017 |
| Formalization of Birth-Death and IID processes in higher-order logic | 0 | 0.34 | 2017 |
| Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. | 0 | 0.34 | 2016 |
| On the formal analysis of Gaussian optical systems in HOL. | 1 | 0.35 | 2016 |
| Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. | 0 | 0.34 | 2016 |
| Hierarchical Verification of Quantum Circuits. | 1 | 0.35 | 2016 |
| Formal probabilistic analysis of detection properties in wireless sensor networks | 2 | 0.38 | 2015 |
| Self-Organizing Map-Based Feature Visualization and Selection for Defect Depth Estimation in Oil and Gas Pipelines | 0 | 0.34 | 2015 |
| A Machine Learning Approach for Big Data in Oil and Gas Pipelines | 1 | 0.35 | 2015 |
| Time Performance Formal Evaluation of Complex Systems. | 1 | 0.36 | 2015 |
| Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs | 0 | 0.34 | 2015 |
| Towards enhancing analog circuits sizing using SMT-based techniques | 1 | 0.40 | 2015 |
| Implicational Rewriting Tactics in HOL. | 0 | 0.34 | 2014 |
| Generation of reduced analog circuit models using transient simulation traces | 1 | 0.37 | 2014 |
| Towards the formal verification of optical interconnects | 0 | 0.34 | 2014 |
| Enablingy the DC solutions characterization using a fuzzy approach | 0 | 0.34 | 2014 |
| Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM | 5 | 0.46 | 2014 |
| Towards ray optics formalization of optical imaging systems | 0 | 0.34 | 2014 |
| Formal Analysis of Optical Systems. | 4 | 0.45 | 2014 |
| On the Formal Analysis of HMM Using Theorem Proving. | 2 | 0.40 | 2014 |
| Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. | 0 | 0.34 | 2014 |
| Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. | 9 | 0.96 | 2013 |
| Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. | 1 | 0.35 | 2013 |
| On The Verification Of A Wimax Design Using Symbolic Simulation | 0 | 0.34 | 2013 |
| Formal reasoning about classified markov chains in HOL | 5 | 0.53 | 2013 |
| Formal Stability Analysis of Optical Resonators. | 11 | 1.02 | 2013 |
| Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL | 1 | 0.34 | 2013 |
| Formal verification of the heavy hitter problem. | 0 | 0.34 | 2012 |
| Towards improving simulation of analog circuits using model order reduction | 7 | 0.96 | 2012 |
| NuMDG: a new tool for multiway decision graphs construction | 2 | 0.44 | 2011 |
| A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design | 31 | 1.10 | 2011 |
| Formalization of entropy measures in HOL | 18 | 0.98 | 2011 |
| Towards flight control verification using automated theorem proving | 3 | 0.39 | 2011 |
| Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL | 8 | 0.58 | 2010 |
