- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j6 |      | 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): 465-488 (2010) |
| j5 | | Behzad Akbarpour, Lawrence C. Paulson: MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions. J. Autom. Reasoning 44(3): 175-205 (2010) |
| c12 | | 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: 1309-1312 |
| 2009 | ||
| j4 | | 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) |
| c11 | | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour: Formal Reasoning about Expectation Properties for Continuous Random Variables. FM 2009: 435-450 |
| c10 | | William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson: Formal verification of analog designs using MetiTarski. FMCAD 2009: 93-100 |
| c9 | | Behzad Akbarpour, Lawrence C. Paulson: Applications of MetiTarski in the Verification of Control and Hybrid Systems. HSCC 2009: 1-15 |
| 2008 | ||
| c8 | | Behzad Akbarpour, Lawrence C. Paulson: MetiTarski: An Automatic Prover for the Elementary Functions. AISC/MKM/Calculemus 2008: 217-231 |
| 2007 | ||
| j3 | | Behzad Akbarpour, Sofiène Tahar: Error analysis of digital filters using HOL theorem proving. J. Applied Logic 5(4): 651-666 (2007) |
| c7 | | Behzad Akbarpour, Lawrence C. Paulson: Extending a Resolution Prover for Inequalities on Elementary Functions. LPAR 2007: 47-61 |
| 2006 | ||
| j2 | | 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) |
| c6 | | Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar: Formal Analysis and Verification of an OFDM Modem Design using HOL. FMCAD 2006: 189-190 |
| 2005 | ||
| j1 | | 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 | ||
| c5 | | Behzad Akbarpour, Sofiène Tahar: A Methodology for the Formal Verification of FFT Algorithms in HOL. FMCAD 2004: 37-51 |
| c4 | | Behzad Akbarpour, Sofiène Tahar: Error Analysis of Digital Filters Using Theorem Proving. TPHOLs 2004: 1-17 |
| 2003 | ||
| c3 | | Behzad Akbarpour, Sofiène Tahar: The Application of Formal Verification to SPW Designs. DSD 2003: 325-333 |
| c2 | | Behzad Akbarpour, Sofiène Tahar: Modeling System C Fixed-Point Arithmetic in HOL. ICFEM 2003: 206-225 |
| 2002 | ||
| c1 | | Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar: Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM 2002: 185-204 |
Data released under the ODC-BY 1.0 license — See also our legal information page