| 2009 |
|---|
| 12 | EE | Behzad Akbarpour,
Lawrence C. Paulson:
Applications of MetiTarski in the Verification of Control and Hybrid Systems.
HSCC 2009: 1-15 |
| 2008 |
|---|
| 11 | EE | Behzad Akbarpour,
Lawrence C. Paulson:
MetiTarski: An Automatic Prover for the Elementary Functions.
AISC/MKM/Calculemus 2008: 217-231 |
| 2007 |
|---|
| 10 | EE | Behzad Akbarpour,
Lawrence C. Paulson:
Extending a Resolution Prover for Inequalities on Elementary Functions.
LPAR 2007: 47-61 |
| 9 | EE | Behzad Akbarpour,
Sofiène Tahar:
Error analysis of digital filters using HOL theorem proving.
J. Applied Logic 5(4): 651-666 (2007) |
| 2006 |
|---|
| 8 | EE | Abu Nasser M. Abdullah,
Behzad Akbarpour,
Sofiène Tahar:
Formal Analysis and Verification of an OFDM Modem Design using HOL.
FMCAD 2006: 189-190 |
| 7 | EE | 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 | EE | 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 | EE | Behzad Akbarpour,
Sofiène Tahar:
A Methodology for the Formal Verification of FFT Algorithms in HOL.
FMCAD 2004: 37-51 |
| 4 | EE | Behzad Akbarpour,
Sofiène Tahar:
Error Analysis of Digital Filters Using Theorem Proving.
TPHOLs 2004: 1-17 |
| 2003 |
|---|
| 3 | EE | Behzad Akbarpour,
Sofiène Tahar:
The Application of Formal Verification to SPW Designs.
DSD 2003: 325-333 |
| 2 | EE | Behzad Akbarpour,
Sofiène Tahar:
Modeling System C Fixed-Point Arithmetic in HOL.
ICFEM 2003: 206-225 |
| 2002 |
|---|
| 1 | EE | Behzad Akbarpour,
Abdelkader Dekdouk,
Sofiène Tahar:
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.
IFM 2002: 185-204 |
