MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions von Akbarpour, Behzad, Paulson, Lawrence Charles

Volltext

A Methodology for the Formal Verification of FFT Algorithms in HOL von Akbarpour, Behzad, Tahar, Sofiène

Volltext

Applications of MetiTarski in the Verification of Control and Hybrid Systems von Akbarpour, Behzad, Paulson, Lawrence C.

Volltext

An approach for the formal verification of DSP designs using Theorem proving von Akbarpour, B., Tahar, S.

Volltext

Error analysis of digital filters using HOL theorem proving von Akbarpour, Behzad, Tahar, Sofiène

Volltext

Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL von Akbarpour, B., Abdel-Hamid, A. T., Tahar, S., Harrison, J.

Volltext

Error Analysis of Digital Filters Using Theorem Proving von Akbarpour, Behzad, Tahar, Sofiène

Volltext

Modeling SystemC Fixed-Point Arithmetic in HOL von Akbarpour, Behzad, Tahar, Sofiène

Volltext

Formalization of Fixed-Point Arithmetic in HOL von Akbarpour, Behzad, Tahar, Sofiène, Dekdouk, Abdelkader

Volltext

Formal verification of analog circuits in the presence of noise and process variation von Narayanan, Rajeev, Akbarpour, Behzad, Zaki, Mohamed H, Tahar, Sofiene, Paulson, Lawrence C

Volltext

Modeling System C fixed-point arithmetic in HOL von AKBARPOUR, Behzad, TAHAR, Sofiène

Volltext

Extending a Resolution Prover for Inequalities on Elementary Functions von Akbarpour, Behzad, Paulson, Lawrence C.

Volltext

Formal Reasoning about Expectation Properties for Continuous Random Variables von Hasan, Osman, Abbasi, Naeem, Akbarpour, Behzad, Tahar, Sofiène, Akbarpour, Reza

Volltext

SYSTEM, METHOD, AND COMPUTER PROGRAM PRODUCT FOR HIERARCHICAL FORMAL HARDWARE VERIFICATION OF FLOATING-POINT DIVISION AND/OR SQUARE ROOT ALGORITHMIC DESIGNS USING AUTOMATIC SEQUENT... von AKBARPOUR BEHZAD, CHATTERJEE PROSENJIT

Volltext bestellen

System, method, and computer program product for hierarchical formal hardware verification of floating-point division and/or square root algorithmic designs using automatic sequent... von AKBARPOUR BEHZAD, CHATTERJEE PROSENJIT

Volltext bestellen

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving von Abdullah, Abu Nasser Mohammed, Akbarpour, Behzad, Tahar, Sofiène

Volltext

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL von Akbarpour, Behzad, Dekdouk, Abdelkader, Tahar, Sofiène

Volltext

Formal Analysis and Verification of an OFDM Modem Design using HOL von Abdullah, A.N.M., Akbarpour, B., Tahar, S.

Volltext bestellen

Activating transcription factor 3 inhibits NF‑κB p65 signaling pathway and mediates apoptosis and cell cycle arrest in cervical cancer cells von Akbarpour Arsanjani, Amirhossein, Abuei, Haniyeh, Behzad-Behbahani, Abbas, Bagheri, Zahra, Arabsolghar, Rita, Farhadi, Ali

Volltext

Evaluation of zoonotic platyhelminthe infections identified in slaughtered livestock in Iran, 2015-2019 von Kiani, Behzad, Budke, Christine M, Shams Abadi, Ebrahim, Hashtarkhani, Soheil, Raouf Rahmati, Amene, AkbarPour, Mostafa, Zarean, Mehdi, Hosseini Farash, Bibi Razieh, Kiani, Fatemeh, Moghaddas, Elham

Volltext