Behzad Akbarpour

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Behzad Akbarpour, Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. Comput. J. 53 (4) (2010)
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson
Formal verification of analog circuits in the presence of noise and process variation. DATE (2010)
Behzad Akbarpour, Lawrence C. Paulson
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions. J. Autom. Reason. 44 (3) (2010)
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour
Formal Reasoning about Expectation Properties for Continuous Random Variables. FM (2009)
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson
Formal verification of analog designs using MetiTarski. FMCAD (2009)
Behzad Akbarpour, Lawrence C. Paulson
Applications of MetiTarski in the Verification of Control and Hybrid Systems. HSCC (2009)
Behzad Akbarpour, Lawrence C. Paulson
MetiTarski: An Automatic Prover for the Elementary Functions. AISC/MKM/Calculemus (2008)
Behzad Akbarpour, Lawrence C. Paulson
Extending a Resolution Prover for Inequalities on Elementary Functions. LPAR (2007)
Behzad Akbarpour, Sofiène Tahar
Error analysis of digital filters using HOL theorem proving. J. Appl. Log. 5 (4) (2007)
Behzad Akbarpour, Sofiène Tahar
An approach for the formal verification of DSP designs using Theorem proving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (8) (2006)
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar
Formal Analysis and Verification of an OFDM Modem Design using HOL. FMCAD (2006)
Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk
Formalization of Fixed-Point Arithmetic in HOL. Formal Methods Syst. Des. 27 (1-2) (2005)
Behzad Akbarpour, Sofiène Tahar
A Methodology for the Formal Verification of FFT Algorithms in HOL. FMCAD (2004)
Behzad Akbarpour, Sofiène Tahar
Error Analysis of Digital Filters Using Theorem Proving. TPHOLs (2004)
Behzad Akbarpour, Sofiène Tahar
Modeling System C Fixed-Point Arithmetic in HOL. ICFEM (2003)
Behzad Akbarpour, Sofiène Tahar
The Application of Formal Verification to SPW Designs. DSD (2003)
Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM (2002)