Behzad Akbarpour

According to our database, Behzad Akbarpour authored at least 18 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions.

Behzad Akbarpour, Lawrence C. Paulson

J. Autom. Reason., 2010

Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL.

Behzad Akbarpour, Amr Talaat Abdel-Hamid, Sofiène Tahar, John Harrison

Comput. J., 2010

Formal verification of analog circuits in the presence of noise and process variation.

Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Applications of MetiTarski in the Verification of Control and Hybrid Systems.

Behzad Akbarpour, Lawrence C. Paulson

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Formal verification of analog designs using MetiTarski.

William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Formal Reasoning about Expectation Properties for Continuous Random Variables.

Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour

Proceedings of the FM 2009: Formal Methods, 2009

2008

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving.

Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

MetiTarski: An Automatic Prover for the Elementary Functions.

Behzad Akbarpour, Lawrence C. Paulson

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Error analysis of digital filters using HOL theorem proving.

Behzad Akbarpour, Sofiène Tahar

J. Appl. Log., 2007

Extending a Resolution Prover for Inequalities on Elementary Functions.

Behzad Akbarpour, Lawrence C. Paulson

Proceedings of the Logic for Programming, 2007

2006

An approach for the formal verification of DSP designs using Theorem proving.

Behzad Akbarpour, Sofiène Tahar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Formal Analysis and Verification of an OFDM Modem Design using HOL.

Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Formalization of Fixed-Point Arithmetic in HOL.

Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk

Formal Methods Syst. Des., 2005

2004

Error Analysis of Digital Filters Using Theorem Proving.

Behzad Akbarpour, Sofiène Tahar

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

A Methodology for the Formal Verification of FFT Algorithms in HOL.

Behzad Akbarpour, Sofiène Tahar

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Modeling System C Fixed-Point Arithmetic in HOL.

Behzad Akbarpour, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2003

The Application of Formal Verification to SPW Designs.

Behzad Akbarpour, Sofiène Tahar

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

2002

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.

Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar

Proceedings of the Integrated Formal Methods, Third International Conference, 2002