 | 2009 |
|---|
| 14 |       | Osman Hasan,
Naeem Abbasi,
Behzad Akbarpour,
Sofiène Tahar,
Reza Akbarpour:
Formal Reasoning about Expectation Properties for Continuous Random Variables.
FM 2009: 435-450 |
| 13 | | Behzad Akbarpour,
Lawrence C. Paulson:
Applications of MetiTarski in the Verification of Control and Hybrid Systems.
HSCC 2009: 1-15 |
| 12 | | Abu Nasser Mohammed Abdullah,
Behzad Akbarpour,
Sofiène Tahar:
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving.
Electr. Notes Theor. Comput. Sci. 242(2): 3-30 (2009) |
| 2008 |
|---|
| 11 | | Behzad Akbarpour,
Lawrence C. Paulson:
MetiTarski: An Automatic Prover for the Elementary Functions.
AISC/MKM/Calculemus 2008: 217-231 |
| 2007 |
|---|
| 10 | | Behzad Akbarpour,
Lawrence C. Paulson:
Extending a Resolution Prover for Inequalities on Elementary Functions.
LPAR 2007: 47-61 |
| 9 | | Behzad Akbarpour,
Sofiène Tahar:
Error analysis of digital filters using HOL theorem proving.
J. Applied Logic 5(4): 651-666 (2007) |
| 2006 |
|---|
| 8 | | Abu Nasser Mohammed Abdullah,
Behzad Akbarpour,
Sofiène Tahar:
Formal Analysis and Verification of an OFDM Modem Design using HOL.
FMCAD 2006: 189-190 |
| 7 | | Behzad Akbarpour,
Sofiène Tahar:
An approach for the formal verification of DSP designs using Theorem proving.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(8): 1441-1457 (2006) |
| 2005 |
|---|
| 6 | | Behzad Akbarpour,
Sofiène Tahar,
Abdelkader Dekdouk:
Formalization of Fixed-Point Arithmetic in HOL.
Formal Methods in System Design 27(1-2): 173-200 (2005) |
| 2004 |
|---|
| 5 | | Behzad Akbarpour,
Sofiène Tahar:
A Methodology for the Formal Verification of FFT Algorithms in HOL.
FMCAD 2004: 37-51 |
| 4 | | Behzad Akbarpour,
Sofiène Tahar:
Error Analysis of Digital Filters Using Theorem Proving.
TPHOLs 2004: 1-17 |
| 2003 |
|---|
| 3 | | Behzad Akbarpour,
Sofiène Tahar:
The Application of Formal Verification to SPW Designs.
DSD 2003: 325-333 |
| 2 | | Behzad Akbarpour,
Sofiène Tahar:
Modeling System C Fixed-Point Arithmetic in HOL.
ICFEM 2003: 206-225 |
| 2002 |
|---|
| 1 | | Behzad Akbarpour,
Abdelkader Dekdouk,
Sofiène Tahar:
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.
IFM 2002: 185-204 |
