Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Behzad Akbarpour
@article{DBLP:journals/cj/AkbarpourATH10,
author = {Behzad Akbarpour and
Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
John Harrison},
title = {Verifying a Synthesized Implementation of {IEEE-754} Floating-Point
Exponential Function using {HOL}},
journal = {Comput. J.},
volume = {53},
number = {4},
pages = {465--488},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxp023},
doi = {10.1093/COMJNL/BXP023},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/AkbarpourATH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AkbarpourP10,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
title = {MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions},
journal = {J. Autom. Reason.},
volume = {44},
number = {3},
pages = {175--205},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9149-2},
doi = {10.1007/S10817-009-9149-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AkbarpourP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NarayananAZTP10,
author = {Rajeev Narayanan and
Behzad Akbarpour and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar and
Lawrence C. Paulson},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Formal verification of analog circuits in the presence of noise and
process variation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1309--1312},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457009},
doi = {10.1109/DATE.2010.5457009},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/NarayananAZTP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HasanAATA09,
author = {Osman Hasan and
Naeem Abbasi and
Behzad Akbarpour and
Sofi{\`{e}}ne Tahar and
Reza Akbarpour},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Reasoning about Expectation Properties for Continuous Random
Variables},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {435--450},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_28},
doi = {10.1007/978-3-642-05089-3\_28},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HasanAATA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DenmanATZP09,
author = {William Denman and
Behzad Akbarpour and
Sofi{\`{e}}ne Tahar and
Mohamed H. Zaki and
Lawrence C. Paulson},
title = {Formal verification of analog designs using MetiTarski},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {93--100},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351136},
doi = {10.1109/FMCAD.2009.5351136},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DenmanATZP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AkbarpourP09,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Applications of MetiTarski in the Verification of Control and Hybrid
Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_1},
doi = {10.1007/978-3-642-00602-9\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AkbarpourP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AkbarpourP08,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {MetiTarski: An Automatic Prover for the Elementary Functions},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {217--231},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_18},
doi = {10.1007/978-3-540-85110-3\_18},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/AkbarpourP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdullahAT09,
author = {Abu Nasser Mohammed Abdullah and
Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
editor = {Jens Chr. Godskesen and
Massimo Merro},
title = {Error Analysis and Verification of an {IEEE} 802.11 {OFDM} Modem using
Theorem Proving},
booktitle = {Proceedings of the First Workshop on Formal Methods for Wireless Systems,
FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {2},
pages = {3--30},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.020},
doi = {10.1016/J.ENTCS.2009.06.020},
timestamp = {Fri, 24 Feb 2023 13:34:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbdullahAT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AkbarpourT07,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
title = {Error analysis of digital filters using {HOL} theorem proving},
journal = {J. Appl. Log.},
volume = {5},
number = {4},
pages = {651--666},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2006.11.001},
doi = {10.1016/J.JAL.2006.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AkbarpourT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AkbarpourP07,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Extending a Resolution Prover for Inequalities on Elementary Functions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {47--61},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_6},
doi = {10.1007/978-3-540-75560-9\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AkbarpourP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AkbarpourT06,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
title = {An approach for the formal verification of {DSP} designs using Theorem
proving},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {8},
pages = {1441--1457},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.857314},
doi = {10.1109/TCAD.2005.857314},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/AkbarpourT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AbdullahAT06,
author = {Abu Nasser Mohammed Abdullah and
Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
title = {Formal Analysis and Verification of an {OFDM} Modem Design using {HOL}},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {189--190},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.14},
doi = {10.1109/FMCAD.2006.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AbdullahAT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AkbarpourTD05,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar and
Abdelkader Dekdouk},
title = {Formalization of Fixed-Point Arithmetic in {HOL}},
journal = {Formal Methods Syst. Des.},
volume = {27},
number = {1-2},
pages = {173--200},
year = {2005},
url = {https://doi.org/10.1007/s10703-005-2256-8},
doi = {10.1007/S10703-005-2256-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AkbarpourTD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AkbarpourT04,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {A Methodology for the Formal Verification of {FFT} Algorithms in {HOL}},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {37--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_4},
doi = {10.1007/978-3-540-30494-4\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AkbarpourT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AkbarpourT04,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {Error Analysis of Digital Filters Using Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
pages = {1--17},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30142-4\_1},
doi = {10.1007/978-3-540-30142-4\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AkbarpourT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/AkbarpourT03,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
title = {The Application of Formal Verification to {SPW} Designs},
booktitle = {2003 Euromicro Symposium on Digital Systems Design {(DSD} 2003), Architectures,
Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey},
pages = {325--333},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSD.2003.1231963},
doi = {10.1109/DSD.2003.1231963},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/AkbarpourT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AkbarpourT03,
author = {Behzad Akbarpour and
Sofi{\`{e}}ne Tahar},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Modeling System {C} Fixed-Point Arithmetic in {HOL}},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {206--225},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_13},
doi = {10.1007/978-3-540-39893-6\_13},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AkbarpourT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AkbarpourDT02,
author = {Behzad Akbarpour and
Abdelkader Dekdouk and
Sofi{\`{e}}ne Tahar},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Formalization of Cadence {SPW} Fixed-Point Arithmetic in {HOL}},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {185--204},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_11},
doi = {10.1007/3-540-47884-1\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AkbarpourDT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
