Behzad Akbarpour

	2010
18		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
17		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)
16		Behzad Akbarpour, Lawrence C. Paulson: MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions. J. Autom. Reasoning 44(3): 175-205 (2010)
	2009
15		Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour: Formal Reasoning about Expectation Properties for Continuous Random Variables. FM 2009: 435-450
14		William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson: Formal verification of analog designs using MetiTarski. FMCAD 2009: 93-100
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

Coauthor Index

1	Naeem Abbasi	[15]
2	Amr T. Abdel-Hamid	[17]
3	Abu Nasser Mohammed Abdullah	[8] [12]
4	Reza Akbarpour	[15]
5	Abdelkader Dekdouk	[1] [6]
6	William Denman	[14]
7	John Harrison	[17]
8	Osman Hasan	[15]
9	Rajeev Narayanan	[18]
10	Lawrence C. Paulson	[10] [11] [13] [14] [16] [18]
11	Sofiène Tahar	[1] [2] [3] [4] [5] [6] [7] [8] [9] [12] [14] [15] [17] [18]
12	Mohamed H. Zaki	[14] [18]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page