| 2010 | DATE | Formal verification of analog circuits in the presence of noise and process variation. | Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofine Tahar, Lawrence C. Paulson |
| 2009 | FM | Formal Reasoning about Expectation Properties for Continuous Random Variables. | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofine Tahar, Reza Akbarpour |
| 2009 | FMCAD | Formal verification of analog designs using MetiTarski. | William Denman, Behzad Akbarpour, Sofine Tahar, Mohamed H. Zaki, Lawrence C. Paulson |
| 2008 | AISC | MetiTarski: An Automatic Prover for the Elementary Functions. | Behzad Akbarpour, Lawrence C. Paulson |
| 2007 | LPAR | Extending a Resolution Prover for Inequalities on Elementary Functions. | Behzad Akbarpour, Lawrence C. Paulson |
| 2006 | FMCAD | Formal Analysis and Verification of an OFDM Modem Design using HOL. | Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofine Tahar |
| 2004 | FMCAD | A Methodology for the Formal Verification of FFT Algorithms in HOL. | Behzad Akbarpour, Sofine Tahar |
| 2003 | DSD | The Application of Formal Verification to SPW Designs. | Behzad Akbarpour, Sofine Tahar |
| 2003 | ICFEM | Modeling System C Fixed-Point Arithmetic in HOL. | Behzad Akbarpour, Sofine Tahar |
| 2002 | IFM | Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. | Behzad Akbarpour, Abdelkader Dekdouk, Sofine Tahar |