Behzad Akbarpour

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