Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sofiène Tahar
@inproceedings{DBLP:conf/glvlsi/AounMT23,
author = {Alain Aoun and
Mahmoud Masadeh and
Sofi{\`{e}}ne Tahar},
editor = {Himanshu Thapliyal and
Ronald F. DeMara and
Inna Partin{-}Vaisband and
Srinivas Katkoori},
title = {A Machine Learning Based Load Value Approximator Guided by the Tightened
Value Locality},
booktitle = {Proceedings of the Great Lakes Symposium on {VLSI} 2023, {GLSVLSI}
2023, Knoxville, TN, USA, June 5-7, 2023},
pages = {679--684},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583781.3590207},
doi = {10.1145/3583781.3590207},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/AounMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/ElleuchT23,
author = {Maissa Elleuch and
Sofi{\`{e}}ne Tahar},
title = {Formal Analysis of an IoT-Based Healthcare Application},
booktitle = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth,
Tunisia, July 9-12, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISCC58397.2023.10218130},
doi = {10.1109/ISCC58397.2023.10218130},
timestamp = {Wed, 06 Sep 2023 08:09:43 +0200},
biburl = {https://dblp.org/rec/conf/iscc/ElleuchT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2023,
editor = {Yi Li and
Sofi{\`{e}}ne Tahar},
title = {Formal Methods and Software Engineering - 24th International Conference
on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
November 21-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14308},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7584-6},
doi = {10.1007/978-981-99-7584-6},
isbn = {978-981-99-7583-9},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/El-DerhalliCBRR22,
author = {Hassnaa El{-}Derhalli and
L{\'{e}}a Constans and
S{\'{e}}bastien Le Beux and
Alfredo De Rossi and
Fabrice Raineri and
Sofi{\`{e}}ne Tahar},
title = {Towards All-optical Stochastic Computing Using Photonic Crystal Nanocavities},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {18},
number = {1},
pages = {16:1--16:25},
year = {2022},
url = {https://doi.org/10.1145/3484871},
doi = {10.1145/3484871},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/El-DerhalliCBRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/AbdelghanyAT22,
author = {Mohamed Abdelghany and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar},
title = {Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem
Proving},
journal = {{IEEE} Syst. J.},
volume = {16},
number = {2},
pages = {2899--2910},
year = {2022},
url = {https://doi.org/10.1109/JSYST.2021.3077558},
doi = {10.1109/JSYST.2021.3077558},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/AbdelghanyAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AbdelghanyT22,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Probabilistic Risk Assessment of a Nuclear Power Plant},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {80--87},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3568018},
doi = {10.1145/3563822.3568018},
timestamp = {Mon, 05 Dec 2022 10:11:35 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/AbdelghanyT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icm2/AounMT22,
author = {Alain Aoun and
Mahmoud Masadeh and
Sofi{\`{e}}ne Tahar},
title = {On the Design of Approximate Sobel Filter},
booktitle = {International Conference on Microelectronics, {ICM} 2022, Casablanca,
Morocco, December 4-7, 2022},
pages = {102--106},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICM56065.2022.10005354},
doi = {10.1109/ICM56065.2022.10005354},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icm2/AounMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DenizRHT22,
author = {Elif Deniz and
Adnan Rashid and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Kevin Buzzard and
Temur Kutsia},
title = {On the Formalization of the Heat Conduction Problem in {HOL}},
booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13467},
pages = {21--37},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16681-5\_2},
doi = {10.1007/978-3-031-16681-5\_2},
timestamp = {Mon, 19 Sep 2022 18:41:39 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DenizRHT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AbdelghanyT22,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Formalization of Functional Block Diagrams Using {HOL} Theorem Proving},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {22--35},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_2},
doi = {10.1007/978-3-031-22476-8\_2},
timestamp = {Thu, 08 Dec 2022 15:05:31 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/AbdelghanyT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06642,
author = {Elif Deniz and
Adnan Rashid and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {On the Formalization of the Heat Conduction Problem in {HOL}},
journal = {CoRR},
volume = {abs/2208.06642},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06642},
doi = {10.48550/ARXIV.2208.06642},
eprinttype = {arXiv},
eprint = {2208.06642},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AbdelghanyT21,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
title = {Cause-Consequence Diagram Reliability Analysis Using Formal Techniques
With Application to Electrical Power Networks},
journal = {{IEEE} Access},
volume = {9},
pages = {23929--23943},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3051968},
doi = {10.1109/ACCESS.2021.3051968},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/AbdelghanyT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MasadehEHT21,
author = {Mahmoud Masadeh and
Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {A Quality-assured Approximate Hardware Accelerators-based on Machine
Learning and Dynamic Partial Reconfiguration},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {17},
number = {4},
pages = {57:1--57:19},
year = {2021},
url = {https://doi.org/10.1145/3462329},
doi = {10.1145/3462329},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/MasadehEHT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/El-DerhalliBT21,
author = {Hassnaa El{-}Derhalli and
S{\'{e}}bastien Le Beux and
Sofi{\`{e}}ne Tahar},
title = {Design Space Exploration of Stochastic Computing Architectures Implemented
Using Integrated Optics},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {9},
number = {4},
pages = {2158--2169},
year = {2021},
url = {https://doi.org/10.1109/TETC.2020.2969435},
doi = {10.1109/TETC.2020.2969435},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tetc/El-DerhalliBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgcn/NajmeddinAT21,
author = {Saif Najmeddin and
Sonia A{\"{\i}}ssa and
Sofi{\`{e}}ne Tahar},
title = {Energy-Efficient Resource Allocation in Multi-UAV Networks With {NOMA}},
journal = {{IEEE} Trans. Green Commun. Netw.},
volume = {5},
number = {4},
pages = {1906--1917},
year = {2021},
url = {https://doi.org/10.1109/TGCN.2021.3101200},
doi = {10.1109/TGCN.2021.3101200},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tgcn/NajmeddinAT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/MasadehHT21,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Machine-Learning-Based Self-Tunable Design of Approximate Computing},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {29},
number = {4},
pages = {800--813},
year = {2021},
url = {https://doi.org/10.1109/TVLSI.2021.3056243},
doi = {10.1109/TVLSI.2021.3056243},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvlsi/MasadehHT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/ElderhalliEHJT21,
author = {Yassmeen Elderhalli and
Nahla A. El{-}Araby and
Osman Hasan and
Axel Jantsch and
Sofi{\`{e}}ne Tahar},
title = {Dynamic Fault Tree Models for {FPGA} Fault Tolerance and Reliability},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2021, Tampa,
FL, USA, July 7-9, 2021},
pages = {194--199},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISVLSI51109.2021.00044},
doi = {10.1109/ISVLSI51109.2021.00044},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isvlsi/ElderhalliEHJT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbdelghanyT21,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Formalization of RBD-Based Cause Consequence Analysis in {HOL}},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {47--64},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_4},
doi = {10.1007/978-3-030-81097-9\_4},
timestamp = {Wed, 21 Jul 2021 15:51:07 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AbdelghanyT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/NajmeddinAT21,
author = {Saif Najmeddin and
Sonia A{\"{\i}}ssa and
Sofi{\`{e}}ne Tahar},
title = {Energy-Efficient Wireless Powered Communications with {NOMA} in Multi-UAV
Aided Networks},
booktitle = {94th {IEEE} Vehicular Technology Conference, {VTC} Fall 2021, Norman,
OK, USA, September 27-30, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VTC2021-Fall52928.2021.9625420},
doi = {10.1109/VTC2021-FALL52928.2021.9625420},
timestamp = {Mon, 20 Dec 2021 11:29:26 +0100},
biburl = {https://dblp.org/rec/conf/vtc/NajmeddinAT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04196,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
editor = {Temur Kutsia},
title = {Failure Analysis of Hadoop Schedulers using an Integration of Model
Checking and Simulation},
booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
series = {{EPTCS}},
volume = {342},
pages = {114--128},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.342.10},
doi = {10.4204/EPTCS.342.10},
timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07174,
author = {Mohamed Abdelghany and
Sofi{\`{e}}ne Tahar},
title = {Formal FT-based Cause-Consequence Reliability Analysis using Theorem
Proving},
journal = {CoRR},
volume = {abs/2101.07174},
year = {2021},
url = {https://arxiv.org/abs/2101.07174},
eprinttype = {arXiv},
eprint = {2101.07174},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-02064,
author = {Hassnaa El{-}Derhalli and
L{\'{e}}a Constans and
S{\'{e}}bastien Le Beux and
Alfredo De Rossi and
Fabrice Raineri and
Sofi{\`{e}}ne Tahar},
title = {Optical Stochastic Computing Architectures Using Photonic Crystal
Nanocavities},
journal = {CoRR},
volume = {abs/2102.02064},
year = {2021},
url = {https://arxiv.org/abs/2102.02064},
eprinttype = {arXiv},
eprint = {2102.02064},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-02064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AhmadHT20,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal reliability and failure analysis of ethernet based communication
networks in a smart grid substation},
journal = {Formal Aspects Comput.},
volume = {32},
number = {1},
pages = {71--111},
year = {2020},
url = {https://doi.org/10.1007/s00165-019-00503-1},
doi = {10.1007/S00165-019-00503-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AhmadHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SeghaierZT20,
author = {Ibtissem Seghaier and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Mating Sensitivity Analysis and Statistical Verification for Efficient
Yield Estimation},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {2},
pages = {294--307},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2018.2889764},
doi = {10.1109/TCAD.2018.2889764},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SeghaierZT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/SoualhiaKT20,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop},
journal = {{IEEE} Trans. Cloud Comput.},
volume = {8},
number = {2},
pages = {553--569},
year = {2020},
url = {https://doi.org/10.1109/TCC.2018.2805812},
doi = {10.1109/TCC.2018.2805812},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcc/SoualhiaKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/El-DerhalliBT20,
author = {Hassnaa El{-}Derhalli and
S{\'{e}}bastien Le Beux and
Sofi{\`{e}}ne Tahar},
title = {{OSCAR:} An Optical Stochastic Computing AcceleRator for Polynomial
Functions},
booktitle = {2020 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2020, Grenoble, France, March 9-13, 2020},
pages = {1450--1455},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/DATE48585.2020.9116346},
doi = {10.23919/DATE48585.2020.9116346},
timestamp = {Thu, 25 Jun 2020 12:55:44 +0200},
biburl = {https://dblp.org/rec/conf/date/El-DerhalliBT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/NajmeddinAT20,
author = {Saif Najmeddin and
Sonia A{\"{\i}}ssa and
Sofi{\`{e}}ne Tahar},
title = {Energy-Efficient Resource Allocation for UAV-Enabled Information and
Power Transfer with {NOMA}},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2020, Virtual
Event, Taiwan, December 7-11, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/GLOBECOM42002.2020.9348068},
doi = {10.1109/GLOBECOM42002.2020.9348068},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/NajmeddinAT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icm2/MasadehAHT20,
author = {Mahmoud Masadeh and
Alain Aoun and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware
Voting},
booktitle = {32nd International Conference on Microelectronics, {ICM} 2020, Aqaba,
Jordan, December 14-17, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICM50269.2020.9331771},
doi = {10.1109/ICM50269.2020.9331771},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icm2/MasadehAHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/ElderhalliHT20,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Christoph Benzm{\"{u}}ller and
Bruce R. Miller},
title = {A Framework for Formal Dynamic Dependability Analysis Using {HOL}
Theorem Proving},
booktitle = {Intelligent Computer Mathematics - 13th International Conference,
{CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12236},
pages = {105--122},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53518-6\_7},
doi = {10.1007/978-3-030-53518-6\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/ElderhalliHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/AbdelghanyATN20,
author = {Mohamed Abdelghany and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar and
Sowmith Nethula},
title = {{ETMA:} An Efficient Tool for Event Trees Modeling and Analysis},
booktitle = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
Canada, August 24 - September 20, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SysCon47679.2020.9275903},
doi = {10.1109/SYSCON47679.2020.9275903},
timestamp = {Mon, 14 Dec 2020 10:13:52 +0100},
biburl = {https://dblp.org/rec/conf/syscon/AbdelghanyATN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MasadehAHT20,
author = {Mahmoud Masadeh and
Alain Aoun and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Decision Tree-based Adaptive Approximate Accelerators for Enhanced
Quality},
booktitle = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
Canada, August 24 - September 20, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SysCon47679.2020.9275856},
doi = {10.1109/SYSCON47679.2020.9275856},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/MasadehAHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MasadehHT20,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Machine Learning-Based Self-Compensating Approximate Computing},
booktitle = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
Canada, August 24 - September 20, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SysCon47679.2020.9275895},
doi = {10.1109/SYSCON47679.2020.9275895},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/MasadehHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03729,
author = {Adnan Rashid and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
title = {Formal Verification of Cyber-Physical Systems using Theorem Proving
(Invited Paper)},
journal = {CoRR},
volume = {abs/2003.03729},
year = {2020},
url = {https://arxiv.org/abs/2003.03729},
eprinttype = {arXiv},
eprint = {2003.03729},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14384,
author = {Mohamed Abdelghany and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar},
title = {A Formally Verified {HOL4} Algebra for Event Trees},
journal = {CoRR},
volume = {abs/2004.14384},
year = {2020},
url = {https://arxiv.org/abs/2004.14384},
eprinttype = {arXiv},
eprint = {2004.14384},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-12383,
author = {Mohamed Abdelghany and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar and
Sowmith Nethula},
title = {{ETMA:} {A} New Software for Event Tree Analysis with Application
to Power Protection},
journal = {CoRR},
volume = {abs/2006.12383},
year = {2020},
url = {https://arxiv.org/abs/2006.12383},
eprinttype = {arXiv},
eprint = {2006.12383},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-12383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ElderhalliHT19,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {A Methodology for the Formal Verification of Dynamic Fault Trees Using
{HOL} Theorem Proving},
journal = {{IEEE} Access},
volume = {7},
pages = {136176--136192},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2942829},
doi = {10.1109/ACCESS.2019.2942829},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ElderhalliHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MasadehHT19,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Input-Conscious Approximate Multiply-Accumulate {(MAC)} Unit for Energy-Efficiency},
journal = {{IEEE} Access},
volume = {7},
pages = {147129--147142},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2946513},
doi = {10.1109/ACCESS.2019.2946513},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/MasadehHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BeillahiMT19,
author = {Sidi Mohamed Beillahi and
Mohamed Yousri Mahmoud and
Sofi{\`{e}}ne Tahar},
title = {A modeling and verification framework for optical quantum circuits},
journal = {Formal Aspects Comput.},
volume = {31},
number = {3},
pages = {321--351},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00480-5},
doi = {10.1007/S00165-019-00480-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BeillahiMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/ElderhalliAHT19,
author = {Yassmeen Elderhalli and
Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Probabilistic Analysis of Dynamic Fault Trees using {HOL} Theorem
Proving},
journal = {{FLAP}},
volume = {6},
number = {3},
pages = {469--512},
year = {2019},
url = {https://collegepublications.co.uk/ifcolog/?00032},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/ElderhalliAHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/El-DerhalliBT19,
author = {Hassnaa El{-}Derhalli and
S{\'{e}}bastien Le Beux and
Sofi{\`{e}}ne Tahar},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Stochastic Computing with Integrated Optics},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1355--1360},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8714875},
doi = {10.23919/DATE.2019.8714875},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/El-DerhalliBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MasadehHT19,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Using Machine Learning for Quality Configurable Approximate Computing},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1575--1578},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8714957},
doi = {10.23919/DATE.2019.8714957},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/MasadehHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/RashidST19,
author = {Adnan Rashid and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Formal Verification of Cyber-Physical Systems Using Theorem Proving},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {3--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_1},
doi = {10.1007/978-3-030-46902-3\_1},
timestamp = {Tue, 05 May 2020 17:50:59 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/RashidST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ElderhalliHT19,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Formally Verified Algebraic Approach for Dynamic Reliability Block
Diagrams},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {253--269},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_16},
doi = {10.1007/978-3-030-32409-4\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ElderhalliHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AhmadMHT19,
author = {Waqar Ahmad and
Shahid Ali Murtza and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Stefania Gnesi and
Nico Plat and
Nancy A. Day and
Matteo Rossi},
title = {On the formalization of importance measures using {HOL} theorem proving},
booktitle = {Proceedings of the 7th International Workshop on Formal Methods in
Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May
27, 2019},
pages = {109--118},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/FormaliSE.2019.00021},
doi = {10.1109/FORMALISE.2019.00021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AhmadMHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ElderhalliVHKT19,
author = {Yassmeen Elderhalli and
Matthias Volk and
Osman Hasan and
Joost{-}Pieter Katoen and
Sofi{\`{e}}ne Tahar},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {Formal Verification of Rewriting Rules for Dynamic Fault Trees},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {513--531},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_27},
doi = {10.1007/978-3-030-30446-1\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ElderhalliVHKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/NajmeddintBAT19,
author = {Saif Najmeddin and
Ali Bayat and
Sonia A{\"{\i}}ssa and
Sofi{\`{e}}ne Tahar},
title = {Energy-Efficient Resource Allocation for DAV-Enabled Wireless Powered
Communications},
booktitle = {2019 {IEEE} Wireless Communications and Networking Conference, {WCNC}
2019, Marrakesh, Morocco, April 15-18, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WCNC.2019.8885517},
doi = {10.1109/WCNC.2019.8885517},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcnc/NajmeddintBAT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2018w,
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2307},
urn = {urn:nbn:de:0074-2307-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2018w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11060,
author = {Hassnaa El{-}Derhalli and
S{\'{e}}bastien Le Beux and
Sofi{\`{e}}ne Tahar},
title = {Stochastic Computing with Integrated Optics},
journal = {CoRR},
volume = {abs/1903.11060},
year = {2019},
url = {http://arxiv.org/abs/1903.11060},
eprinttype = {arXiv},
eprint = {1903.11060},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01605,
author = {Waqar Ahmed and
Shahid Ali Murtza and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {On the Formalization of Importance Measures using {HOL} Theorem Proving},
journal = {CoRR},
volume = {abs/1904.01605},
year = {2019},
url = {http://arxiv.org/abs/1904.01605},
eprinttype = {arXiv},
eprint = {1904.01605},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01343,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Error Analysis of Approximate Array Multipliers},
journal = {CoRR},
volume = {abs/1908.01343},
year = {2019},
url = {http://arxiv.org/abs/1908.01343},
eprinttype = {arXiv},
eprint = {1908.01343},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01343.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01930,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {A Formally Verified {HOL} Algebra for Dynamic Reliability Block Diagrams},
journal = {CoRR},
volume = {abs/1908.01930},
year = {2019},
url = {http://arxiv.org/abs/1908.01930},
eprinttype = {arXiv},
eprint = {1908.01930},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08875,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Integrating {DFT} and {DRBD} Formalizations in {HOL4}},
journal = {CoRR},
volume = {abs/1910.08875},
year = {2019},
url = {http://arxiv.org/abs/1910.08875},
eprinttype = {arXiv},
eprint = {1910.08875},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-11203,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Dynamic Dependability Analysis of Shuffle-exchange Networks using
{HOL} Theorem Proving},
journal = {CoRR},
volume = {abs/1910.11203},
year = {2019},
url = {http://arxiv.org/abs/1910.11203},
eprinttype = {arXiv},
eprint = {1910.11203},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-11203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/SiddiqueMT18,
author = {Umair Siddique and
Mohamed Yousri Mahmoud and
Sofi{\`{e}}ne Tahar},
title = {Formal Analysis of Discrete-Time Systems using z-Transform},
journal = {{FLAP}},
volume = {5},
number = {4},
pages = {875--906},
year = {2018},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00024.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/SiddiqueMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ElleuchHTA18,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
title = {Formal probabilistic performance verification of randomly-scheduled
wireless sensor networks},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {8},
number = {3/4},
pages = {311--339},
year = {2018},
url = {https://doi.org/10.1504/IJCCBS.2018.096438},
doi = {10.1504/IJCCBS.2018.096438},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ElleuchHTA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LahiouelZT18,
author = {Ons Lahiouel and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Accelerated and Reliable Analog Circuits Yield Analysis Using {SMT}
Solving Techniques},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {3},
pages = {517--530},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2017.2651807},
doi = {10.1109/TCAD.2017.2651807},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LahiouelZT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/MasadehHT18,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Deming Chen and
Houman Homayoun and
Baris Taskin},
title = {Comparative Study of Approximate Multipliers},
booktitle = {Proceedings of the 2018 on Great Lakes Symposium on VLSI, {GLSVLSI}
2018, Chicago, IL, USA, May 23-25, 2018},
pages = {415--418},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194554.3194626},
doi = {10.1145/3194554.3194626},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/MasadehHT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icm2/MasadehHT18,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Approximation-Conscious {IC} Testing},
booktitle = {30th International Conference on Microelectronics, {ICM} 2018, Sousse,
Tunisia, December 16-19, 2018},
pages = {56--59},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICM.2018.8704099},
doi = {10.1109/ICM.2018.8704099},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icm2/MasadehHT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/SeghaierT18,
author = {Ibtissem Seghaier and
Sofi{\`{e}}ne Tahar},
title = {Discriminating Chaos from Non-Gaussian Noise on Analog Circuits},
booktitle = {16th {IEEE} International New Circuits and Systems Conference, {NEWCAS}
2018, Montr{\'{e}}al, QC, Canada, June 24-27, 2018},
pages = {26--30},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NEWCAS.2018.8585698},
doi = {10.1109/NEWCAS.2018.8585698},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/newcas/SeghaierT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/SeghaierT18a,
author = {Ibtissem Seghaier and
Sofi{\`{e}}ne Tahar},
title = {Reliability Analysis of {CMOS} Rambus Oscillator under Device Mismatch
Effects},
booktitle = {16th {IEEE} International New Circuits and Systems Conference, {NEWCAS}
2018, Montr{\'{e}}al, QC, Canada, June 24-27, 2018},
pages = {209--212},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/NEWCAS.2018.8585623},
doi = {10.1109/NEWCAS.2018.8585623},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/newcas/SeghaierT18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ElderhalliHAT18,
author = {Yassmeen Elderhalli and
Osman Hasan and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Formal Dynamic Fault Trees Analysis Using an Integration of Theorem
Proving and Model Checking},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {139--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_10},
doi = {10.1007/978-3-319-77935-5\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ElderhalliHAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06587,
author = {Mahmoud Masadeh and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Comparative Study of Approximate Multipliers},
journal = {CoRR},
volume = {abs/1803.06587},
year = {2018},
url = {http://arxiv.org/abs/1803.06587},
eprinttype = {arXiv},
eprint = {1803.06587},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11576,
author = {Yassmeen Elderhalli and
Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal Probabilistic Analysis of Dynamic Fault Trees in {HOL4}},
journal = {CoRR},
volume = {abs/1807.11576},
year = {2018},
url = {http://arxiv.org/abs/1807.11576},
eprinttype = {arXiv},
eprint = {1807.11576},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/LayouniHT17,
author = {Mohamed Layouni and
Mohamed Salah Hamdi and
Sofi{\`{e}}ne Tahar},
title = {Detection and sizing of metal-loss defects in oil and gas pipelines
using pattern-adapted wavelets and machine learning},
journal = {Appl. Soft Comput.},
volume = {52},
pages = {247--261},
year = {2017},
url = {https://doi.org/10.1016/j.asoc.2016.10.040},
doi = {10.1016/J.ASOC.2016.10.040},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/LayouniHT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/LahiouelAZT17,
author = {Ons Lahiouel and
Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Exploiting bounds optimization for the semi-formal verification of
analog circuits},
journal = {Integr.},
volume = {59},
pages = {135--147},
year = {2017},
url = {https://doi.org/10.1016/j.vlsi.2017.06.008},
doi = {10.1016/J.VLSI.2017.06.008},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/LahiouelAZT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SiddiqueT17,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
title = {Formal verification of stability and chaos in periodic optical systems},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {271--289},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.004},
doi = {10.1016/J.JCSS.2017.05.004},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/SiddiqueT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SoualhiaKT17,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {Task Scheduling in Big Data Platforms: {A} Systematic Literature Review},
journal = {J. Syst. Softw.},
volume = {134},
pages = {170--189},
year = {2017},
url = {https://doi.org/10.1016/j.jss.2017.09.001},
doi = {10.1016/J.JSS.2017.09.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/SoualhiaKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/NayrollesHTL17,
author = {Mathieu Nayrolles and
Abdelwahab Hamou{-}Lhadj and
Sofi{\`{e}}ne Tahar and
Alf Larsson},
title = {A bug reproduction approach based on directed model checking and crash
traces},
journal = {J. Softw. Evol. Process.},
volume = {29},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/smr.1789},
doi = {10.1002/SMR.1789},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/NayrollesHTL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LahiouelZT17,
author = {Ons Lahiouel and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {David Atienza and
Giorgio Di Natale},
title = {Enhancing analog yield optimization for variation-aware circuits sizing},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {1273--1276},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927187},
doi = {10.23919/DATE.2017.7927187},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/LahiouelZT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HelaliTHD17,
author = {Ghassen Helali and
Sofi{\`{e}}ne Tahar and
Osman Hasan and
Tsvetan Dunchev},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Formal Analysis of Information Flow in {HOL}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {283--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_17},
doi = {10.1007/978-3-319-69483-2\_17},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/HelaliTHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/LiuHT17,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formalization of Birth-Death and {IID} processes in higher-order logic},
booktitle = {2017 Annual {IEEE} International Systems Conference, SysCon 2017,
Montreal, QC, Canada, April 24-27, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SYSCON.2017.7934785},
doi = {10.1109/SYSCON.2017.7934785},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/LiuHT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SeghaierT17,
author = {Ibtissem Seghaier and
Sofi{\`{e}}ne Tahar},
editor = {Kamel Barkaoui and
Hanifa Boucheneb and
Ali Mili and
Sofi{\`{e}}ne Tahar},
title = {Intertwined Global Optimization Based Reachability Analysis},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 11th International Conference, VECoS 2017, Montreal, QC, Canada,
August 24-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10466},
pages = {139--154},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66176-6\_10},
doi = {10.1007/978-3-319-66176-6\_10},
timestamp = {Wed, 31 Jan 2024 20:36:03 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SeghaierT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vecos/2017,
editor = {Kamel Barkaoui and
Hanifa Boucheneb and
Ali Mili and
Sofi{\`{e}}ne Tahar},
title = {Verification and Evaluation of Computer and Communication Systems
- 11th International Conference, VECoS 2017, Montreal, QC, Canada,
August 24-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10466},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66176-6},
doi = {10.1007/978-3-319-66176-6},
isbn = {978-3-319-66175-9},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-02872,
author = {Yassmeen Elderhalli and
Osman Hasan and
Waqar Ahmad and
Sofi{\`{e}}ne Tahar},
title = {Dynamic Fault Trees Analysis using an Integration of Theorem Proving
and Model Checking},
journal = {CoRR},
volume = {abs/1712.02872},
year = {2017},
url = {http://arxiv.org/abs/1712.02872},
eprinttype = {arXiv},
eprint = {1712.02872},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-02872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SiddiqueT16,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
title = {On the formal analysis of Gaussian optical systems in {HOL}},
journal = {Formal Aspects Comput.},
volume = {28},
number = {5},
pages = {881--907},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0367-1},
doi = {10.1007/S00165-016-0367-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SiddiqueT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AhmedHT16,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formalization of Reliability Block Diagrams in Higher-order Logic},
journal = {J. Appl. Log.},
volume = {18},
pages = {19--41},
year = {2016},
url = {https://doi.org/10.1016/j.jal.2016.05.007},
doi = {10.1016/J.JAL.2016.05.007},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/AhmedHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/CheikhATN16,
author = {Taieb Lamine Ben Cheikh and
Alexandra Aguiar and
Sofi{\`{e}}ne Tahar and
Gabriela Nicolescu},
title = {Tuning framework for stencil computation in heterogeneous parallel
platforms},
journal = {J. Supercomput.},
volume = {72},
number = {2},
pages = {468--502},
year = {2016},
url = {https://doi.org/10.1007/s11227-015-1575-9},
doi = {10.1007/S11227-015-1575-9},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/CheikhATN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/AridhiZT16,
author = {Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {24},
number = {3},
pages = {1036--1049},
year = {2016},
url = {https://doi.org/10.1109/TVLSI.2015.2421450},
doi = {10.1109/TVLSI.2015.2421450},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/AridhiZT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeillahiST16,
author = {Sidi Mohamed Beillahi and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Sergiy Bogomolov and
Matthieu Martel and
Pavithra Prabhakar},
title = {Formal Analysis of Engineering Systems Based on Signal-Flow-Graph
Theory},
booktitle = {Numerical Software Verification - 9th International Workshop, {NSV}
2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
2016], Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10152},
pages = {31--46},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54292-8\_3},
doi = {10.1007/978-3-319-54292-8\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeillahiST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ElleuchHTA16,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Formal Probabilistic Analysis of a WSN-Based Monitoring Framework
for IoT Applications},
booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {694},
pages = {93--108},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-53946-1\_6},
doi = {10.1007/978-3-319-53946-1\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ElleuchHTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SeghaierZT16,
author = {Ibtissem Seghaier and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Cross recurrence verification technique for process variation-resilient
analog circuits},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016,
Montr{\'{e}}al, QC, Canada, May 22-25, 2016},
pages = {1294--1297},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISCAS.2016.7527485},
doi = {10.1109/ISCAS.2016.7527485},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/SeghaierZT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/QasimHET16,
author = {Muhammad Qasim and
Osman Hasan and
Maissa Elleuch and
Sofi{\`{e}}ne Tahar},
editor = {Michael Kohlhase and
Moa Johansson and
Bruce R. Miller and
Leonardo de Moura and
Frank Wm. Tompa},
title = {Formalization of Normal Random Variables in {HOL}},
booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9791},
pages = {44--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42547-4\_4},
doi = {10.1007/978-3-319-42547-4\_4},
timestamp = {Thu, 29 Sep 2022 08:36:57 +0200},
biburl = {https://dblp.org/rec/conf/mkm/QasimHET16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AhmedHT16,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Michael Kohlhase and
Moa Johansson and
Bruce R. Miller and
Leonardo de Moura and
Frank Wm. Tompa},
title = {Formal Dependability Modeling and Analysis: {A} Survey},
booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9791},
pages = {132--147},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42547-4\_10},
doi = {10.1007/978-3-319-42547-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AhmedHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BeillahiMT16,
author = {Sidi Mohamed Beillahi and
Mohamed Yousri Mahmoud and
Sofi{\`{e}}ne Tahar},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Hierarchical Verification of Quantum Circuits},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {344--352},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_26},
doi = {10.1007/978-3-319-40648-0\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BeillahiMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ElleuchHTA16,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Mohamed Ghazel and
Mohamed Jmaiel},
title = {Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring
Application},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of
Computer and Communication System, VECoS 2016, Tunis, Tunisia, October
6-7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1689},
pages = {43--58},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1689/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ElleuchHTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmedHT16,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal Dependability Modeling and Analysis: {A} Survey},
journal = {CoRR},
volume = {abs/1606.06877},
year = {2016},
url = {http://arxiv.org/abs/1606.06877},
eprinttype = {arXiv},
eprint = {1606.06877},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AhmedHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ElleuchHTA15,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
title = {Formal probabilistic analysis of detection properties in wireless
sensor networks},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {79--102},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0304-0},
doi = {10.1007/S00165-014-0304-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ElleuchHTA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MhamdiHT15,
author = {Tarek Mhamdi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Evaluation of anonymity and confidentiality protocols using theorem
proving},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {3},
pages = {265--286},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0232-5},
doi = {10.1007/S10703-015-0232-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/MhamdiHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/ChaouiGHST15,
author = {Hicham Chaoui and
Navid Golbon and
Imad Hmouz and
Ridha Souissi and
Sofi{\`{e}}ne Tahar},
title = {Lyapunov-Based Adaptive State of Charge and State of Health Estimation
for Lithium-Ion Batteries},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {62},
number = {3},
pages = {1610--1618},
year = {2015},
url = {https://doi.org/10.1109/TIE.2014.2341576},
doi = {10.1109/TIE.2014.2341576},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/ChaouiGHST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LahiouelZT15,
author = {Ons Lahiouel and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Towards enhancing analog circuits sizing using SMT-based techniques},
booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
CA, USA, June 7-11, 2015},
pages = {171:1--171:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2744769.2744919},
doi = {10.1145/2744769.2744919},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LahiouelZT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/MohamedHT15,
author = {Abduljalil Mohamed and
Mohamed Salah Hamdi and
Sofi{\`{e}}ne Tahar},
editor = {Irfan Awan and
Muhammad Younas and
Massimo Mecella},
title = {A Machine Learning Approach for Big Data in Oil and Gas Pipelines},
booktitle = {3rd International Conference on Future Internet of Things and Cloud,
FiCloud 2015, Rome, Italy, August 24-26, 2015},
pages = {585--590},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FiCloud.2015.54},
doi = {10.1109/FICLOUD.2015.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/MohamedHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SiddiqueBT15,
author = {Umair Siddique and
Sidi Mohamed Beillahi and
Sofi{\`{e}}ne Tahar},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {On the Formal Analysis of Photonic Signal Processing Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {162--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_11},
doi = {10.1007/978-3-319-19458-5\_11},
timestamp = {Mon, 03 Jan 2022 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/fmics/SiddiqueBT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MahmoudPT15,
author = {Mohamed Yousri Mahmoud and
Prakash Panangaden and
Sofi{\`{e}}ne Tahar},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {On the Formal Verification of Optical Quantum Gates in {HOL}},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {198--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_13},
doi = {10.1007/978-3-319-19458-5\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MahmoudPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/SeghaierZT15,
author = {Ibtissem Seghaier and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Alex K. Jones and
Hai (Helen) Li and
Ayse K. Coskun and
Martin Margala},
title = {Statistically Validating the Impact of Process Variations on Analog
and Mixed Signal Designs},
booktitle = {Proceedings of the 25th edition on Great Lakes Symposium on VLSI,
{GLVLSI} 2015, Pittsburgh, PA, USA, May 20 - 22, 2015},
pages = {99--102},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2742060.2742122},
doi = {10.1145/2742060.2742122},
timestamp = {Tue, 23 Jul 2019 15:03:09 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/SeghaierZT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/SoualhiaKT15,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {Predicting Scheduling Failures in the Cloud: {A} Case Study with Google
Clusters and Hadoop on Amazon {EMR}},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {58--65},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.170},
doi = {10.1109/HPCC-CSS-ICESS.2015.170},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/SoualhiaKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BeillahiST15,
author = {Sidi Mohamed Beillahi and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Formal Analysis of Power Electronic Systems},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {270--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_17},
doi = {10.1007/978-3-319-25423-4\_17},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeillahiST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/SoualhiaKT15,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {{ATLAS:} An AdapTive faiLure-Aware Scheduler for Hadoop},
booktitle = {34th {IEEE} International Performance Computing and Communications
Conference, {IPCCC} 2015, Nanjing, China, December 14-16, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PCCC.2015.7410316},
doi = {10.1109/PCCC.2015.7410316},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipccc/SoualhiaKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/SeghaierZT15,
author = {Ibtissem Seghaier and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {A Statistical Approach to Probe Chaos from Noise in Analog and Mixed
Signal Designs},
booktitle = {2015 {IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2015,
Montpellier, France, July 8-10, 2015},
pages = {237--242},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISVLSI.2015.101},
doi = {10.1109/ISVLSI.2015.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/SeghaierZT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/MohamedHT15,
author = {Abduljalil Mohamed and
Mohamed Salah Hamdi and
Sofi{\`{e}}ne Tahar},
editor = {Ebad Banissi and
Mark W. McK. Bannatyne and
Fatma Bouali and
Remo Burkhard and
John Counsell and
Urska Cvek and
Martin J. Eppler and
Georges G. Grinstein and
Weidong Huang and
Sebastian Kernbach and
Chun{-}Cheng Lin and
Feng Lin and
Francis T. Marchese and
Chi Man Pun and
Muhammad Sarfraz and
Marjan Trutschl and
Anna Ursyn and
Gilles Venturini and
Theodor G. Wyeld and
Jian J. Zhang},
title = {Self-Organizing Map-Based Feature Visualization and Selection for
Defect Depth Estimation in Oil and Gas Pipelines},
booktitle = {19th International Conference on Information Visualisation, {IV} 2015,
Barcelona, Spain, July 22-24, 2015},
pages = {235--240},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/iV.2015.50},
doi = {10.1109/IV.2015.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iv/MohamedHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AhmadHT15,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {Towards Formal Reliability Analysis of Logistics Service Supply Chains
using Theorem Proving},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {1--14},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/6l77},
doi = {10.29007/6L77},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AhmadHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KaliszykUSADT15,
author = {Cezary Kaliszyk and
Josef Urban and
Umair Siddique and
Sanaz Khan Afshar and
Cvetan Dunchev and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Formalizing Physics: Automation, Presentation and Foundation Issues},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {288--295},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_19},
doi = {10.1007/978-3-319-20615-8\_19},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KaliszykUSADT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SiddiqueHT15,
author = {Umair Siddique and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Towards the Formalization of Fractional Calculus in Higher-Order Logic},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {316--324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_21},
doi = {10.1007/978-3-319-20615-8\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SiddiqueHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SeddikiDKT15,
author = {Ons Seddiki and
Cvetan Dunchev and
Sanaz Khan Afshar and
Sofi{\`{e}}ne Tahar},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Enabling Symbolic and Numerical Computations in {HOL} Light},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {353--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_27},
doi = {10.1007/978-3-319-20615-8\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SeddikiDKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorT15,
author = {Valdivino Alexandre de Santiago Jr. and
Sofi{\`{e}}ne Tahar},
editor = {M{\'{a}}rcio Corn{\'{e}}lio and
Bill Roscoe},
title = {Time Performance Formal Evaluation of Complex Systems},
booktitle = {Formal Methods: Foundations and Applications - 18th Brazilian Symposium,
{SBMF} 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9526},
pages = {162--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29473-5\_10},
doi = {10.1007/978-3-319-29473-5\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JuniorT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/SiddiqueHT15,
author = {Umair Siddique and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal modeling and verification of integrated photonic systems},
booktitle = {Annual {IEEE} Systems Conference, SysCon 2015, Proceedings, Vancouver,
BC, Canada, April 13-16, 2015},
pages = {562--569},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SYSCON.2015.7116811},
doi = {10.1109/SYSCON.2015.7116811},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/SiddiqueHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/NayrollesHTL15,
author = {Mathieu Nayrolles and
Abdelwahab Hamou{-}Lhadj and
Sofi{\`{e}}ne Tahar and
Alf Larsson},
editor = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Bram Adams and
Alexander Serebrenik},
title = {{JCHARMING:} {A} bug reproduction approach using crash traces and
directed model checking},
booktitle = {22nd {IEEE} International Conference on Software Analysis, Evolution,
and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
2015},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SANER.2015.7081820},
doi = {10.1109/SANER.2015.7081820},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/NayrollesHTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/AhmedHT15,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal reliability analysis of wireless sensor network data transport
protocols using {HOL}},
booktitle = {11th {IEEE} International Conference on Wireless and Mobile Computing,
Networking and Communications, WiMob 2015, Abu Dhabi, United Arab
Emirates, October 19-21, 2015},
pages = {217--224},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/WiMOB.2015.7347964},
doi = {10.1109/WIMOB.2015.7347964},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wimob/AhmedHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/asc/SiddiqueT15,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Thouraya Bouabana{-}Tebibel and
Stuart H. Rubin},
title = {On the Formalization of Cardinal Points of Optical Systems},
booktitle = {Formalisms for Reuse and Systems Integration},
series = {Advances in Intelligent Systems and Computing},
volume = {346},
pages = {79--102},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16577-6\_4},
doi = {10.1007/978-3-319-16577-6\_4},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/asc/SiddiqueT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SiddiqueHT15,
author = {Umair Siddique and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Towards the Formalization of Fractional Calculus in Higher-Order Logic},
journal = {CoRR},
volume = {abs/1505.02140},
year = {2015},
url = {http://arxiv.org/abs/1505.02140},
eprinttype = {arXiv},
eprint = {1505.02140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SiddiqueHT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoualhiaKT15,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {Predicting Scheduling Failures in the Cloud},
journal = {CoRR},
volume = {abs/1507.03562},
year = {2015},
url = {http://arxiv.org/abs/1507.03562},
eprinttype = {arXiv},
eprint = {1507.03562},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoualhiaKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SoualhiaKT15a,
author = {Mbarka Soualhia and
Foutse Khomh and
Sofi{\`{e}}ne Tahar},
title = {{ATLAS:} An Adaptive Failure-aware Scheduler for Hadoop},
journal = {CoRR},
volume = {abs/1511.01446},
year = {2015},
url = {http://arxiv.org/abs/1511.01446},
eprinttype = {arXiv},
eprint = {1511.01446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SoualhiaKT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbbasiHT14,
author = {Naeem Abbasi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {An approach for lifetime reliability analysis using theorem proving},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {2},
pages = {323--345},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.05.002},
doi = {10.1016/J.JCSS.2013.05.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/AbbasiHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AfsharSMASHT14,
author = {Sanaz Khan Afshar and
Umair Siddique and
Mohamed Yousri Mahmoud and
Vincent Aravantinos and
Ons Seddiki and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal Analysis of Optical Systems},
journal = {Math. Comput. Sci.},
volume = {8},
number = {1},
pages = {39--70},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0175-z},
doi = {10.1007/S11786-014-0175-Z},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AfsharSMASHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/SouariGTA14,
author = {Anis Souari and
Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Mohamed Lassaad Ammari},
title = {Design and verification of a frequency domain equalizer},
journal = {Microelectron. J.},
volume = {45},
number = {2},
pages = {167--178},
year = {2014},
url = {https://doi.org/10.1016/j.mejo.2013.10.012},
doi = {10.1016/J.MEJO.2013.10.012},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mj/SouariGTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/GawanmehT14,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Real time verification of firewalls with dynamic rulebase update},
booktitle = {{IEEE} 27th Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2014, Toronto, ON, Canada, May 4-7, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CCECE.2014.6900958},
doi = {10.1109/CCECE.2014.6900958},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/ccece/GawanmehT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/SouariAGT14,
author = {Anis Souari and
Mohamed Lassaad Ammari and
Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Performance evaluation of time and frequency domain equalizers},
booktitle = {{IEEE} 27th Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2014, Toronto, ON, Canada, May 4-7, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CCECE.2014.6901121},
doi = {10.1109/CCECE.2014.6901121},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccece/SouariAGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cies/LayouniTH14,
author = {Mohamed Layouni and
Sofi{\`{e}}ne Tahar and
Mohamed Salah Hamdi},
title = {A survey on the application of Neural Networks in the safety assessment
of oil and gas pipelines},
booktitle = {2014 {IEEE} Symposium on Computational Intelligence for Engineering
Solutions, {CIES} 2014, Orlando, FL, USA, December 9-12, 2014},
pages = {95--102},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CIES.2014.7011837},
doi = {10.1109/CIES.2014.7011837},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cies/LayouniTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SiddiqueT14,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Towards the formal analysis of microresonators based photonic systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.164},
doi = {10.7873/DATE.2014.164},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SiddiqueT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/LahiouelAZT14,
author = {Ons Lahiouel and
Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Joseph R. Cavallaro and
Tong Zhang and
Alex K. Jones and
Hai (Helen) Li},
title = {A semi-formal approach for analog circuits behavioral properties verification},
booktitle = {Great Lakes Symposium on {VLSI} 2014, {GLSVLSI} '14, Houston, TX,
{USA} - May 21 - 23, 2014},
pages = {247--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591513.2591578},
doi = {10.1145/2591513.2591578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/LahiouelAZT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/WinklerAZT14,
author = {Paul Winkler and
Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Joseph R. Cavallaro and
Tong Zhang and
Alex K. Jones and
Hai (Helen) Li},
title = {Generation of reduced analog circuit models using transient simulation
traces},
booktitle = {Great Lakes Symposium on {VLSI} 2014, {GLSVLSI} '14, Houston, TX,
{USA} - May 21 - 23, 2014},
pages = {305--310},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591513.2591530},
doi = {10.1145/2591513.2591530},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/WinklerAZT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/SeghaierAZT14,
author = {Ibtissem Seghaier and
Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Joseph R. Cavallaro and
Tong Zhang and
Alex K. Jones and
Hai (Helen) Li},
title = {A qualitative simulation approach for verifying {PLL} locking property},
booktitle = {Great Lakes Symposium on {VLSI} 2014, {GLSVLSI} '14, Houston, TX,
{USA} - May 21 - 23, 2014},
pages = {317--322},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591513.2591593},
doi = {10.1145/2591513.2591593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/SeghaierAZT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/PervezHLTGH14,
author = {Usman Pervez and
Osman Hasan and
Khalid Latif and
Sofi{\`{e}}ne Tahar and
Amjad Gawanmeh and
Mohamed Salah Hamdi},
title = {Formal reliability analysis of a typical {FHIR} standard based e-Health
system using {PRISM}},
booktitle = {16th {IEEE} International Conference on e-Health Networking, Applications
and Services, Healthcom 2014, Natal-RN, Brazil, October 15-18, 2014},
pages = {43--48},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HealthCom.2014.7001811},
doi = {10.1109/HEALTHCOM.2014.7001811},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/healthcom/PervezHLTGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuAHT14,
author = {Liya Liu and
Vincent Aravantinos and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Stephan Merz and
Jun Pang},
title = {On the Formal Analysis of {HMM} Using Theorem Proving},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {316--331},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_21},
doi = {10.1007/978-3-319-11737-9\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiuAHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/SiddiqueT14,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {James Joshi and
Elisa Bertino and
Bhavani Thuraisingham and
Ling Liu},
title = {Towards ray optics formalization of optical imaging systems},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2014, Redwood City, CA, USA, August 13-15,
2014},
pages = {378--385},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IRI.2014.7051914},
doi = {10.1109/IRI.2014.7051914},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/SiddiqueT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AravantinosT14,
author = {Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Implicational Rewriting Tactics in {HOL}},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {45--60},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_4},
doi = {10.1007/978-3-319-08970-6\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/AravantinosT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MahmoudAT14,
author = {Mohamed Yousri Mahmoud and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Formal Verification of Optical Quantum Flip Gate},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {358--373},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_23},
doi = {10.1007/978-3-319-08970-6\_23},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/MahmoudAT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SiddiqueMT14,
author = {Umair Siddique and
Mohamed Yousri Mahmoud and
Sofi{\`{e}}ne Tahar},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {On the Formalization of Z-Transform in {HOL}},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {483--498},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_31},
doi = {10.1007/978-3-319-08970-6\_31},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/SiddiqueMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AhmedHTH14,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohammad Salah Hamdi},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Towards the Formal Reliability Analysis of Oil and Gas Pipelines},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {30--44},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_4},
doi = {10.1007/978-3-319-08434-3\_4},
timestamp = {Wed, 16 Mar 2022 23:55:39 +0100},
biburl = {https://dblp.org/rec/conf/mkm/AhmedHTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AfsharAHT14,
author = {Sanaz Khan Afshar and
Vincent Aravantinos and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Formalization of Complex Vectors in Higher-Order Logic},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {123--137},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_10},
doi = {10.1007/978-3-319-08434-3\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AfsharAHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SiddiqueT14,
author = {Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {A Framework for Formal Reasoning about Geometrical Optics},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {453--456},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_38},
doi = {10.1007/978-3-319-08434-3\_38},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SiddiqueT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/AfsharHT14,
author = {Sanaz Khan Afshar and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Towards the formal verification of optical interconnects},
booktitle = {{IEEE} 12th International New Circuits and Systems Conference, {NEWCAS}
2014, Trois-Rivieres, QC, Canada, June 22-25, 2014},
pages = {157--160},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NEWCAS.2014.6934007},
doi = {10.1109/NEWCAS.2014.6934007},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/AfsharHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/LahiouelAZT14,
author = {Ons Lahiouel and
Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Enablingy the {DC} solutions characterization using a fuzzy approach},
booktitle = {{IEEE} 12th International New Circuits and Systems Conference, {NEWCAS}
2014, Trois-Rivieres, QC, Canada, June 22-25, 2014},
pages = {161--164},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NEWCAS.2014.6934008},
doi = {10.1109/NEWCAS.2014.6934008},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/LahiouelAZT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MahmoudT14,
author = {Mohamed Yousri Mahmoud and
Sofi{\`{e}}ne Tahar},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {On the Quantum Formalization of Coherent Light in {HOL}},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {128--142},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_10},
doi = {10.1007/978-3-319-06200-6\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MahmoudT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AhmadHST14,
author = {Sohaib Ahmad and
Osman Hasan and
Umair Siddique and
Sofi{\`{e}}ne Tahar},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Formalization of Zsyntax to Reason About Molecular Pathways in {HOL4}},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {32--47},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_3},
doi = {10.1007/978-3-319-15075-8\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AhmadHST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AfsharSMASHT14,
author = {Sanaz Khan Afshar and
Umair Siddique and
Mohamed Yousri Mahmoud and
Vincent Aravantinos and
Ons Seddiki and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal Analysis of Optical Systems},
journal = {CoRR},
volume = {abs/1403.3039},
year = {2014},
url = {http://arxiv.org/abs/1403.3039},
eprinttype = {arXiv},
eprint = {1403.3039},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AfsharSMASHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AfsharAHT14,
author = {Sanaz Khan Afshar and
Vincent Aravantinos and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formalization of Complex Vectors in Higher-Order Logic},
journal = {CoRR},
volume = {abs/1405.4034},
year = {2014},
url = {http://arxiv.org/abs/1405.4034},
eprinttype = {arXiv},
eprint = {1405.4034},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AfsharAHT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmedHTH14,
author = {Waqar Ahmad and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohammad Salah Hamdi},
title = {Towards the Formal Reliability Analysis of Oil and Gas Pipelines},
journal = {CoRR},
volume = {abs/1405.6985},
year = {2014},
url = {http://arxiv.org/abs/1405.6985},
eprinttype = {arXiv},
eprint = {1405.6985},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AhmedHTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LiuHT13,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formal Reasoning About Finite-State Discrete-Time Markov Chains in
{HOL}},
journal = {J. Comput. Sci. Technol.},
volume = {28},
number = {2},
pages = {217--231},
year = {2013},
url = {https://doi.org/10.1007/s11390-013-1324-6},
doi = {10.1007/S11390-013-1324-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/LiuHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MhamdiHT13,
author = {Tarek Mhamdi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formalization of Measure Theory and Lebesgue Integration for Probabilistic
Analysis in {HOL}},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1},
pages = {13:1--13:23},
year = {2013},
url = {https://doi.org/10.1145/2406336.2406349},
doi = {10.1145/2406336.2406349},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MhamdiHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/NarayananSZT13,
author = {Rajeev Narayanan and
Ibtissem Seghaier and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Statistical Run-Time Verification of Analog Circuits in Presence of
Noise and Process Variation},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {21},
number = {10},
pages = {1811--1822},
year = {2013},
url = {https://doi.org/10.1109/TVLSI.2012.2219083},
doi = {10.1109/TVLSI.2012.2219083},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/NarayananSZT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/LiuHAT13,
author = {Liya Liu and
Osman Hasan and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Formal Reasoning about Classified Markov Chains in {HOL}},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {295--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_22},
doi = {10.1007/978-3-642-39634-2\_22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/LiuHAT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SiddiqueAT13,
author = {Umair Siddique and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Formal Stability Analysis of Optical Resonators},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {368--382},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_25},
doi = {10.1007/978-3-642-38088-4\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SiddiqueAT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MahmoudAT13,
author = {Mohamed Yousri Mahmoud and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Formalization of Infinite Dimension Linear Spaces with Application
to Quantum Theory},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {413--427},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_28},
doi = {10.1007/978-3-642-38088-4\_28},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MahmoudAT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/HelaliHT13,
author = {Ghassen Helali and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {131--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_10},
doi = {10.1007/978-3-642-41071-0\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/HelaliHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LiuHT13,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {Formal Analysis of Memory Contention in a Multiprocessor System},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {195--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_14},
doi = {10.1007/978-3-642-41071-0\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LiuHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/ElleuchHTA13,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Sumitra Reddy and
Mohamed Jmaiel},
title = {Towards the Formal Performance Analysis of Wireless Sensor Networks},
booktitle = {2013 Workshops on Enabling Technologies: Infrastructure for Collaborative
Enterprises, Hammamet, Tunisia, June 17-20, 2013},
pages = {365--370},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WETICE.2013.68},
doi = {10.1109/WETICE.2013.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/ElleuchHTA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/SiddiqueAT12,
author = {Umair Siddique and
Vincent Aravantinos and
Sofi{\`{e}}ne Tahar},
editor = {Tetsuo Ida and
Jacques D. Fleuriot},
title = {On the Formal Analysis of Geometrical Optics in {HOL}},
booktitle = {Automated Deduction in Geometry - 9th International Workshop, {ADG}
2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7993},
pages = {161--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40672-0\_11},
doi = {10.1007/978-3-642-40672-0\_11},
timestamp = {Thu, 14 Oct 2021 10:03:06 +0200},
biburl = {https://dblp.org/rec/conf/adg/SiddiqueAT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/GawanmehT12,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Novel algorithm for detecting conflicts in firewall rules},
booktitle = {25th {IEEE} Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2012, Montreal, QC, Canada, April 29 - May 2, 2012},
pages = {1--4},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CCECE.2012.6334998},
doi = {10.1109/CCECE.2012.6334998},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/ccece/GawanmehT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/HelaliTH12,
author = {Ghassen Helali and
Sofi{\`{e}}ne Tahar and
Osman Hasan},
title = {Formal verification of the heavy hitter problem},
booktitle = {25th {IEEE} Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2012, Montreal, QC, Canada, April 29 - May 2, 2012},
pages = {1--4},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CCECE.2012.6335035},
doi = {10.1109/CCECE.2012.6335035},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccece/HelaliTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AridhiZT12,
author = {Henda Aridhi and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Towards improving simulation of analog circuits using model order
reduction},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {1337--1342},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176699},
doi = {10.1109/DATE.2012.6176699},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/AridhiZT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NarayananDZT12,
author = {Rajeev Narayanan and
Alaeddine Daghar and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Verifying jitter in an analog and mixed signal design using dynamic
time warping},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {1413--1416},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176584},
doi = {10.1109/DATE.2012.6176584},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/NarayananDZT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MhamdiHT12,
author = {Tarek Mhamdi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Quantitative Analysis of Information Flow Using Theorem Proving},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {119--134},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_11},
doi = {10.1007/978-3-642-34281-3\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MhamdiHT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/CheikhBNCT12,
author = {Taieb Lamine Ben Cheikh and
Giovanni Beltrame and
Gabriela Nicolescu and
Farida Cheriet and
Sofi{\`{e}}ne Tahar},
title = {Parallelization strategies of the canny edge detector for multi-core
CPUs and many-core GPUs},
booktitle = {10th {IEEE} International {NEWCAS} Conference, Montreal, QC, Canada,
June 17-20, 2012},
pages = {49--52},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/NEWCAS.2012.6328953},
doi = {10.1109/NEWCAS.2012.6328953},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/newcas/CheikhBNCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/NarayananDZT12,
author = {Rajeev Narayanan and
Alaeddine Daghar and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Using {LCSS} algorithm for circuit level verification of analog designs},
booktitle = {10th {IEEE} International {NEWCAS} Conference, Montreal, QC, Canada,
June 17-20, 2012},
pages = {185--188},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/NEWCAS.2012.6328987},
doi = {10.1109/NEWCAS.2012.6328987},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/newcas/NarayananDZT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/SouariTG12,
author = {Anis Souari and
Sofi{\`{e}}ne Tahar and
Amjad Gawanmeh},
title = {Formal error analysis and verification of a frequency domain equalizer},
booktitle = {10th {IEEE} International {NEWCAS} Conference, Montreal, QC, Canada,
June 17-20, 2012},
pages = {189--192},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/NEWCAS.2012.6328988},
doi = {10.1109/NEWCAS.2012.6328988},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/SouariTG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ElleuchHTA13,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Adel Bouhoula and
Tetsuo Ida and
Fairouz Kamareddine},
title = {Formal Probabilistic Analysis of a Wireless Sensor Network for Forest
Fire Detection},
booktitle = {Proceedings Fourth International Symposium on Symbolic Computation
in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
2012},
series = {{EPTCS}},
volume = {122},
pages = {1--9},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.122.1},
doi = {10.4204/EPTCS.122.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/ElleuchHTA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Al-AkhrasTNLP13,
author = {Salim Ismail Al{-}Akhras and
Sofi{\`{e}}ne Tahar and
Gabriela Nicolescu and
Michel Langevin and
Pierre G. Paulin},
editor = {Adel Bouhoula and
Tetsuo Ida and
Fairouz Kamareddine},
title = {On the Verification of a WiMax Design Using Symbolic Simulation},
booktitle = {Proceedings Fourth International Symposium on Symbolic Computation
in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
2012},
series = {{EPTCS}},
volume = {122},
pages = {23--37},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.122.3},
doi = {10.4204/EPTCS.122.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Al-AkhrasTNLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AbbasiHT13,
author = {Naeem Abbasi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Adel Bouhoula and
Tetsuo Ida and
Fairouz Kamareddine},
title = {Formal Analysis of Soft Errors using Theorem Proving},
booktitle = {Proceedings Fourth International Symposium on Symbolic Computation
in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
2012},
series = {{EPTCS}},
volume = {122},
pages = {75--84},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.122.7},
doi = {10.4204/EPTCS.122.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasiHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cds/DenmanZT11,
author = {William Denman and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Formal verification of bond graph modelled analogue circuits},
journal = {{IET} Circuits Devices Syst.},
volume = {5},
number = {3},
pages = {243--255},
year = {2011},
url = {https://doi.org/10.1049/iet-cds.2009.0221},
doi = {10.1049/IET-CDS.2009.0221},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cds/DenmanZT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/HasanT11,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Reasoning about conditional probabilities in a higher-order-logic
theorem prover},
journal = {J. Appl. Log.},
volume = {9},
number = {1},
pages = {23--40},
year = {2011},
url = {https://doi.org/10.1016/j.jal.2011.01.001},
doi = {10.1016/J.JAL.2011.01.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/HasanT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/HasanPT11,
author = {Osman Hasan and
Jigar Patel and
Sofi{\`{e}}ne Tahar},
title = {Formal reliability analysis of combinational circuits using theorem
proving},
journal = {J. Appl. Log.},
volume = {9},
number = {1},
pages = {41--60},
year = {2011},
url = {https://doi.org/10.1016/j.jal.2011.01.002},
doi = {10.1016/J.JAL.2011.01.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/HasanPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/AbedMMT10,
author = {Sa'ed Abed and
Yassine Mokhtari and
Otmane A{\"{\i}}t Mohamed and
Sofi{\`{e}}ne Tahar},
title = {NuMDG: {A} New Tool for Multiway Decision Graphs Construction},
journal = {J. Comput. Sci. Technol.},
volume = {26},
number = {1},
pages = {139--152},
year = {2011},
url = {https://doi.org/10.1007/s11390-011-9421-x},
doi = {10.1007/S11390-011-9421-X},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/AbedMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CuiCTA11,
author = {Aijiao Cui and
Chip{-}Hong Chang and
Sofi{\`{e}}ne Tahar and
Amr T. Abdel{-}Hamid},
title = {A Robust {FSM} Watermarking Scheme for {IP} Protection of Sequential
Circuit Design},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {30},
number = {5},
pages = {678--690},
year = {2011},
url = {https://doi.org/10.1109/TCAD.2010.2098131},
doi = {10.1109/TCAD.2010.2098131},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CuiCTA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiuHT11,
author = {Liya Liu and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Formalization of Finite-State Discrete-Time Markov Chains in {HOL}},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {90--104},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_8},
doi = {10.1007/978-3-642-24372-1\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiuHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/NarayananZT11,
author = {Rajeev Narayanan and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Ensuring correctness of analog circuits in presence of noise and process
variations using pattern matching},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1188--1191},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763310},
doi = {10.1109/DATE.2011.5763310},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/NarayananZT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/GaydadjievTBS11,
author = {Georgi Gaydadjiev and
Sofi{\`{e}}ne Tahar and
Greg Byrd and
Klaus Schneider},
title = {Welcome to {ICCD} 2011!},
booktitle = {{IEEE} 29th International Conference on Computer Design, {ICCD} 2011,
Amherst, MA, USA, October 9-12, 2011},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCD.2011.6081366},
doi = {10.1109/ICCD.2011.6081366},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/GaydadjievTBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ElleuchHTA11,
author = {Maissa Elleuch and
Osman Hasan and
Sofi{\`{e}}ne Tahar and
Mohamed Abid},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {388--403},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_27},
doi = {10.1007/978-3-642-24559-6\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ElleuchHTA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/GawanmehT11,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Modeling and verification of firewall configurations using domain
restriction method},
booktitle = {6th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2011, Abu Dhabi, UAE, December 11-14, 2011},
pages = {642--647},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6148413/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icitst/GawanmehT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MhamdiHT11,
author = {Tarek Mhamdi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Formalization of Entropy Measures in {HOL}},
booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {233--248},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6\_18},
doi = {10.1007/978-3-642-22863-6\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/MhamdiHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DenmanZTR11,
author = {William Denman and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar and
Luis Rodrigues},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Towards Flight Control Verification Using Automated Theorem Proving},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {89--100},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_8},
doi = {10.1007/978-3-642-20398-5\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DenmanZTR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/et/NarayananZT10,
author = {Rajeev Narayanan and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
title = {Using Stochastic Differential Equation for Verification of Noise in
Analog/RF Circuits},
journal = {J. Electron. Test.},
volume = {26},
number = {1},
pages = {97--109},
year = {2010},
url = {https://doi.org/10.1007/s10836-009-5137-z},
doi = {10.1007/S10836-009-5137-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/NarayananZT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/HasanT10,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formally Analyzing Expected Time Complexity of Algorithms Using Theorem
Proving},
journal = {J. Comput. Sci. Technol.},
volume = {25},
number = {6},
pages = {1305--1320},
year = {2010},
url = {https://doi.org/10.1007/s11390-010-9407-0},
doi = {10.1007/S11390-010-9407-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/HasanT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HasanTA10,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar and
Naeem Abbasi},
title = {Formal Reliability Analysis Using Theorem Proving},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {5},
pages = {579--592},
year = {2010},
url = {https://doi.org/10.1109/TC.2009.165},
doi = {10.1109/TC.2009.165},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/HasanTA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/HassanHST10,
author = {Jounaidi Ben Hassan and
Osman Hasan and
Tarek Sadani and
Sofi{\`{e}}ne Tahar},
title = {Performance analysis of real-time rewriting models},
booktitle = {The 8th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AICCSA.2010.5586958},
doi = {10.1109/AICCSA.2010.5586958},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/HassanHST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HasanT10,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Formal Probabilistic Analysis: {A} Higher-Order Logic Based Approach},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {2--19},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_2},
doi = {10.1007/978-3-642-11811-1\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HasanT10.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/iccd/SeidelGTS10,
author = {Peter{-}Michael Seidel and
Georgi Gaydadjiev and
Sofi{\`{e}}ne Tahar and
Lars J. Svensson},
title = {Welcome to {ICCD} 2010!},
booktitle = {28th International Conference on Computer Design, {ICCD} 2010, 3-6
October 2010, Amsterdam, The Netherlands, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICCD.2010.5647538},
doi = {10.1109/ICCD.2010.5647538},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/SeidelGTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MhamdiHT10,
author = {Tarek Mhamdi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {On the Formalization of the Lebesgue Integration Theory in {HOL}},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {387--402},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_27},
doi = {10.1007/978-3-642-14052-5\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/MhamdiHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AbbasiHT10,
author = {Naeem Abbasi and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Formal Lifetime Reliability Analysis Using Continuous Random Variables},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {84--97},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_8},
doi = {10.1007/978-3-642-13824-9\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AbbasiHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
editor = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
title = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10271},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10271/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeckerCHT10,
author = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
editor = {Bernd Becker and
Luca Cardelli and
Holger Hermanns and
Sofi{\`{e}}ne Tahar},
title = {10271 Abstracts Collection - Verification over discrete-continuous
boundaries},
booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10271},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2792/},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeckerCHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnsec/GawanmehBT09,
author = {Amjad Gawanmeh and
Adel Bouhoula and
Sofi{\`{e}}ne Tahar},
title = {Rank Functions Based Inference System for Group Key Management Protocols
Verification},
journal = {Int. J. Netw. Secur.},
volume = {8},
number = {2},
pages = {187--198},
year = {2009},
url = {http://ijns.jalaxy.com.tw/contents/ijns-v8-n2/ijns-2009-v8-n2-p187-198.pdf},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnsec/GawanmehBT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/ZakiDTB09,
author = {Mohamed H. Zaki and
William Denman and
Sofi{\`{e}}ne Tahar and
Guy Bois},
title = {Integrating Abstraction Techniques for Formal Verification of Analog
Designs},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {6},
number = {5},
pages = {373--392},
year = {2009},
url = {https://doi.org/10.2514/1.44289},
doi = {10.2514/1.44289},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/ZakiDTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HasanT09,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Performance Analysis and Functional Verification of the Stop-and-Wait
Protocol in {HOL}},
journal = {J. Autom. Reason.},
volume = {42},
number = {1},
pages = {1--33},
year = {2009},
url = {https://doi.org/10.1007/s10817-008-9105-6},
doi = {10.1007/S10817-008-9105-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HasanT09.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/ifm/HasanAT09,
author = {Osman Hasan and
Naeem Abbasi and
Sofi{\`{e}}ne Tahar},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable
Memory Arrays},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {277--291},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_19},
doi = {10.1007/978-3-642-00255-7\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HasanAT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/AlbasheirTGP09,
author = {Suliman Albasheir and
Sofi{\`{e}}ne Tahar and
Claude Gauthier and
Jean Roussel Personna},
title = {Radio Access Network traffic generation for Mobile Switching Center},
booktitle = {Proceedings of the 14th {IEEE} Symposium on Computers and Communications
{(ISCC} 2009), July 5-8, Sousse, Tunisia},
pages = {705--710},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISCC.2009.5202321},
doi = {10.1109/ISCC.2009.5202321},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/AlbasheirTGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HasanAT09,
author = {Osman Hasan and
Sanaz Khan Afshar and
Sofi{\`{e}}ne Tahar},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Formal Analysis of Optical Waveguides in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {228--243},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_17},
doi = {10.1007/978-3-642-03359-9\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HasanAT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HasanT08,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Using Theorem Proving to Verify Expectation and Variance for Discrete
Random Variables},
journal = {J. Autom. Reason.},
volume = {41},
number = {3-4},
pages = {295--323},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9113-6},
doi = {10.1007/S10817-008-9113-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HasanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GawanmehTW08,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Kirsten Winter},
title = {Formal verification of ASMs using MDGs},
journal = {J. Syst. Archit.},
volume = {54},
number = {1-2},
pages = {15--34},
year = {2008},
url = {https://doi.org/10.1016/j.sysarc.2007.03.007},
doi = {10.1016/J.SYSARC.2007.03.007},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/GawanmehTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/ZakiTB08,
author = {Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar and
Guy Bois},
title = {Formal verification of analog and mixed signal designs: {A} survey},
journal = {Microelectron. J.},
volume = {39},
number = {12},
pages = {1395--1404},
year = {2008},
url = {https://doi.org/10.1016/j.mejo.2008.05.013},
doi = {10.1016/J.MEJO.2008.05.013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mj/ZakiTB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CuiCT08,
author = {Aijiao Cui and
Chip{-}Hong Chang and
Sofi{\`{e}}ne Tahar},
title = {{IP} Watermarking Using Incremental Technology Mapping at Logic Synthesis
Level},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {9},
pages = {1565--1570},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.927732},
doi = {10.1109/TCAD.2008.927732},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CuiCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/Abdel-HamidT08,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar},
editor = {Didier Keymeulen and
Tughrul Arslan and
Martin Suess and
Adrian Stoica and
Ahmet T. Erdogan and
David Merodio},
title = {Fragile {IP} Watermarking Techniques},
booktitle = {{NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS} 2008,
Noordwijk, The Netherlands, June 22-25, 2008},
pages = {513--519},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AHS.2008.73},
doi = {10.1109/AHS.2008.73},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ahs/Abdel-HamidT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MokhtariAMTS08,
author = {Yassine Mokhtari and
Sa'ed Abed and
Otmane A{\"{\i}}t Mohamed and
Sofi{\`{e}}ne Tahar and
Xiaoyu Song},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {A New Approach for the Construction of Multiway Decision Graphs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {228--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_16},
doi = {10.1007/978-3-540-85762-4\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/MokhtariAMTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/HasanT08,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Performance Analysis of {ARQ} Protocols using a Theorem Prover},
booktitle = {{IEEE} International Symposium on Performance Analysis of Systems
and Software, {ISPASS} 2008, April 20-22, 2008, Austin, Texas, USA,
Proceedings},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISPASS.2008.4510741},
doi = {10.1109/ISPASS.2008.4510741},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispass/HasanT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/GawanmehTA08,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Leila Jemni Ben Ayed},
title = {Event-B based invariant checking of secrecy in group key protocols},
booktitle = {{LCN} 2008, The 33rd {IEEE} Conference on Local Computer Networks,
The Conference on Leading Edge and Practical Computer Networking,
Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008,
Proceedings},
pages = {950--957},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/LCN.2008.4664308},
doi = {10.1109/LCN.2008.4664308},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/GawanmehTA08.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}
}
@inproceedings{DBLP:journals/entcs/HasanT09,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Jens Chr. Godskesen and
Massimo Merro},
title = {Probabilistic Analysis of Wireless Systems 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 = {43--58},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.022},
doi = {10.1016/J.ENTCS.2009.06.022},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HasanT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2008,
editor = {Otmane A{\"{\i}}t Mohamed and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Theorem Proving in Higher Order Logics, 21st International Conference,
TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71067-7},
doi = {10.1007/978-3-540-71067-7},
isbn = {978-3-540-71065-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/XiongCTB07,
author = {Haiyan Xiong and
Paul Curzon and
Sofi{\`{e}}ne Tahar and
Ann Blandford},
title = {Providing a formal linkage between {MDG} and {HOL}},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {2},
pages = {83--116},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0017-y},
doi = {10.1007/S10703-006-0017-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/XiongCTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnsec/LayouniHT07,
author = {Mohamed Layouni and
Jozef Hooman and
Sofi{\`{e}}ne Tahar},
title = {Formal Specification and Verification of the Intrusion-Tolerant Enclaves
Protocol},
journal = {Int. J. Netw. Secur.},
volume = {5},
number = {3},
pages = {288--298},
year = {2007},
url = {http://ijns.jalaxy.com.tw/contents/ijns-v5-n3/ijns-2007-v5-n3-p288-298.pdf},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnsec/LayouniHT07.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}
}
@article{DBLP:journals/jcsc/GawanmehTMH07,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Haja Moinudeen and
Ali Habibi},
title = {A Design for Verification Approach Using an Embedding of {PSL} in
aSML},
journal = {J. Circuits Syst. Comput.},
volume = {16},
number = {6},
pages = {859--881},
year = {2007},
url = {https://doi.org/10.1142/S0218126607004052},
doi = {10.1142/S0218126607004052},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/GawanmehTMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HasanT07,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
title = {Formalization of the Standard Uniform random variable},
journal = {Theor. Comput. Sci.},
volume = {382},
number = {1},
pages = {71--83},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.009},
doi = {10.1016/J.TCS.2007.05.009},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HasanT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/GawanmehT07,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Rank Theorems for Forward Secrecy in Group Key Management Protocols},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), Workshops Proceedings, Volume 1, May 21-23,
2007, Niagara Falls, Canada},
pages = {18--23},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINAW.2007.304},
doi = {10.1109/AINAW.2007.304},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/GawanmehT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HasanT07,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Frank Pfenning},
title = {Formalization of Continuous Probability Distributions},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {3--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_2},
doi = {10.1007/978-3-540-73595-3\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HasanT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Al-SammaneZT07,
author = {Ghiath Al Sammane and
Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {A symbolic methodology for the verification of analog and mixed signal
designs},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {249--254},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://doi.org/10.1109/DATE.2007.364599},
doi = {10.1109/DATE.2007.364599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Al-SammaneZT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KhanHTM07,
author = {Tareq Hasan Khan and
Ali Habibi and
Sofi{\`{e}}ne Tahar and
Otmane A{\"{\i}}t Mohamed},
title = {Autometic Generation of SystemC Transactors from AsmL Specification},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {104--109},
publisher = {{ECSI}},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=242},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KhanHTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SammaneZDT07,
author = {Ghiath Al Sammane and
Mohamed H. Zaki and
Zhi Jie Dong and
Sofi{\`{e}}ne Tahar},
title = {Towards Assertion Based Verification of Analog and Mixed Signal Designs
Using {PSL}},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {293--298},
publisher = {{ECSI}},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=285},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/SammaneZDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZakiATB07,
author = {Mohamed H. Zaki and
Ghiath Al Sammane and
Sofi{\`{e}}ne Tahar and
Guy Bois},
title = {Combining Symbolic Simulation and Interval Arithmetic for the Verification
of {AMS} Designs},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {207--215},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.25},
doi = {10.1109/FAMCAD.2007.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZakiATB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZakiAT07,
author = {Mohamed H. Zaki and
Ghiath Al Sammane and
Sofi{\`{e}}ne Tahar},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Formal Verification of Analog and Mixed Signal Designs in Mathematica},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4488},
pages = {263--267},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72586-2\_37},
doi = {10.1007/978-3-540-72586-2\_37},
timestamp = {Tue, 08 Nov 2022 08:34:34 +0100},
biburl = {https://dblp.org/rec/conf/iccS/ZakiAT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HasanT07,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Verification of Probabilistic Properties in {HOL} Using the Cumulative
Distribution Function},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {333--352},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_18},
doi = {10.1007/978-3-540-73210-5\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HasanT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZakiTB07,
author = {Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar and
Guy Bois},
editor = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Qualitative Abstraction based Verification for Analog Circuits},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods,
Verification and Validation, Poitiers-Futuroscope, France, December
12-14, 2007},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-SM-1}},
pages = {147--158},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2007},
url = {http://editions-rnti.fr/?inprocid=1000541},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/isola/ZakiTB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HasanT07,
author = {Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Klaus Schneider and
Jens Brandt},
title = {Verification of Expectation Properties for Discrete Random Variables
in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {119--134},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_10},
doi = {10.1007/978-3-540-74591-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HasanT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/MizouniTC06,
author = {Rabeb Mizouni and
Sofi{\`{e}}ne Tahar and
Paul Curzon},
title = {Hybrid verification integrating {HOL} theorem proving with {MDG} model
checking},
journal = {Microelectron. J.},
volume = {37},
number = {11},
pages = {1200--1207},
year = {2006},
url = {https://doi.org/10.1016/j.mejo.2006.07.019},
doi = {10.1016/J.MEJO.2006.07.019},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mj/MizouniTC06.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}
}
@article{DBLP:journals/tvlsi/HabibiT06,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Design and verification of SystemC transaction-level models},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {14},
number = {1},
pages = {57--68},
year = {2006},
url = {https://doi.org/10.1109/TVLSI.2005.863187},
doi = {10.1109/TVLSI.2005.863187},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/HabibiT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/Abdel-HamidTA06,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
El Mostapha Aboulhamid},
editor = {Adrian Stoica and
Tughrul Arslan and
Martin Suess and
Senay Yal{\c{c}}in and
Didier Keymeulen and
Tetsuya Higuchi and
Ricardo Salem Zebulum and
Nizamettin Aydin},
title = {Finite State Machine {IP} Watermarking: {A} Tutorial},
booktitle = {First {NASA/ESA} Conference on Adaptive Hardware and Systems {(AHS}
2006), 15-18 June 2006, Istanbul, Turkey},
pages = {457--464},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AHS.2006.40},
doi = {10.1109/AHS.2006.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ahs/Abdel-HamidTA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HabibiMT06,
author = {Ali Habibi and
Haja Moinudeen and
Sofi{\`{e}}ne Tahar},
editor = {Georges G. E. Gielen},
title = {Generating finite state machines from SystemC},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe:
Designers' Forum, {DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {76--81},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.243777},
doi = {10.1109/DATE.2006.243777},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HabibiMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HabibiTSLM06,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar and
Amer Samarah and
Donglin Li and
Otmane A{\"{\i}}t Mohamed},
editor = {Georges G. E. Gielen},
title = {Efficient assertion based verification using {TLM}},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {106--111},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.244005},
doi = {10.1109/DATE.2006.244005},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HabibiTSLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HassenT06,
author = {Jouna{\"{\i}}di Ben Hassen and
Sofi{\`{e}}ne Tahar},
editor = {Georges G. E. Gielen},
title = {On the numerical verification of probabilistic rewriting systems},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1223--1224},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.244073},
doi = {10.1109/DATE.2006.244073},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HassenT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MoinudeenHT06,
author = {Haja Moinudeen and
Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Design for Verification of the {PCI-X} Bus},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {187--188},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.11},
doi = {10.1109/FMCAD.2006.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MoinudeenHT06.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}
}
@inproceedings{DBLP:conf/glvlsi/ZakiTB06,
author = {Mohamed H. Zaki and
Sofi{\`{e}}ne Tahar and
Guy Bois},
editor = {Gang Qu and
Yehea I. Ismail and
Narayanan Vijaykrishnan and
Hai Zhou},
title = {A practical approach for monitoring analog circuits},
booktitle = {Proceedings of the 16th {ACM} Great Lakes Symposium on {VLSI} 2006,
Philadelphia, PA, USA, April 30 - May 1, 2006},
pages = {330--335},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1127908.1127984},
doi = {10.1145/1127908.1127984},
timestamp = {Wed, 16 Aug 2023 21:16:32 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/ZakiTB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SamarahHTK06,
author = {Amer Samarah and
Ali Habibi and
Sofi{\`{e}}ne Tahar and
Nawwaf N. Kharma},
title = {Automated Coverage Directed Test Generation Using a Cell-Based Genetic
Algorithm},
booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation
and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006},
pages = {19--26},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/HLDVT.2006.319996},
doi = {10.1109/HLDVT.2006.319996},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/SamarahHTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/HabibiMST06,
author = {Ali Habibi and
Haja Moinudeen and
Amer Samarah and
Sofi{\`{e}}ne Tahar},
title = {Towards a Faster Simulation of SystemC Designs},
booktitle = {2006 {IEEE} Computer Society Annual Symposium on {VLSI} {(ISVLSI}
2006), 2-3 March 2006, Karlsruhe, Germany},
pages = {418--419},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISVLSI.2006.89},
doi = {10.1109/ISVLSI.2006.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/HabibiMST06.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/asm/GawanmehHT05,
author = {Amjad Gawanmeh and
Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Embedding and Verification of {PSL} using AsmL},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {201--216},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/gawanmeh.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/GawanmehHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {AsmL Semantics in Fixpoint},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {233--246},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/habibi05AsmL.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {An Approach for the Verification of SystemC Designs Using AsmL},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {69--83},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_8},
doi = {10.1007/11562948\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Abdel-HamidTA05,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
El Mostapha Aboulhamid},
title = {A Public-Key Watermarking Technique for {IP} Designs},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {330--335},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.32},
doi = {10.1109/DATE.2005.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Abdel-HamidTA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Design for Verification of SystemC Transaction Level Models},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {560--565},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.112},
doi = {10.1109/DATE.2005.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {On the formal verification of a SystemC Packet switch model},
booktitle = {12th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2005, Gammarth, Tunisia, December 11-14, 2005},
pages = {1--4},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ICECS.2005.4633600},
doi = {10.1109/ICECS.2005.4633600},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {On the Transformation of SystemC to AsmL Using Abstract Interpretation},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {39--49},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.021},
doi = {10.1016/J.ENTCS.2005.01.021},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/Abdel-HamidTA04,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
El Mostapha Aboulhamid},
title = {A Survey on {IP} Watermarking Techniques},
journal = {Des. Autom. Embed. Syst.},
volume = {9},
number = {3},
pages = {211--227},
year = {2004},
url = {https://doi.org/10.1007/s10617-005-1395-x},
doi = {10.1007/S10617-005-1395-X},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/Abdel-HamidTA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/MohamedSCTZ04,
author = {Otmane A{\"{\i}}t Mohamed and
Xiaoyu Song and
Eduard Cerny and
Sofi{\`{e}}ne Tahar and
Zijian Zhou},
title = {MDG-Based State Enumeration By Retiming And Circuit Transformation},
journal = {J. Circuits Syst. Comput.},
volume = {13},
number = {5},
pages = {1111--1132},
year = {2004},
url = {https://doi.org/10.1142/S021812660400188X},
doi = {10.1142/S021812660400188X},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcsc/MohamedSCTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MhamdiT04,
author = {Tarek Mhamdi and
Sofi{\`{e}}ne Tahar},
editor = {Farn Wang},
title = {Providing Automated Verification in {HOL} Using MDGs},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {278--293},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_24},
doi = {10.1007/978-3-540-30476-0\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MhamdiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangTM04,
author = {Fang Wang and
Sofi{\`{e}}ne Tahar and
Otmane A{\"{\i}}t Mohamed},
editor = {Farn Wang},
title = {First-Order {LTL} Model Checking Using MDGs},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {441--455},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_36},
doi = {10.1007/978-3-540-30476-0\_36},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/WangTM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HabibiAMT04,
author = {Ali Habibi and
Asif Iqbal Ahmed and
Otmane A{\"{\i}}t Mohamed and
Sofi{\`{e}}ne Tahar},
title = {On the Design and Verification Methodology of the Look-Aside Interface},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {290--295},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DATE.2005.228},
doi = {10.1109/DATE.2005.228},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HabibiAMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GawanmehHT04,
author = {Amjad Gawanmeh and
Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Enabling SystemC Verification using Abstract State Machines},
booktitle = {Forum on specification and Design Languages, {FDL} 2004, September
14-17, 2004, Lille, France, Proceedings},
pages = {649--661},
publisher = {{ECSI}},
year = {2004},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=653},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/GawanmehHT04.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/hldvt/HabibiT04,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Towards an efficient assertion based verification of SystemC designs},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {19--22},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431224},
doi = {10.1109/HLDVT.2004.1431224},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/HabibiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/HassenT04,
author = {Jouna{\"{\i}}di Ben Hassen and
Sofi{\`{e}}ne Tahar},
title = {Formal verification of an SoC platform protocol converter},
booktitle = {Proceedings of the 2004 International Symposium on Circuits and Systems,
{ISCAS} 2004, Vancouver, BC, Canada, May 23-26, 2004},
pages = {313--316},
publisher = {{IEEE}},
year = {2004},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/HassenT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issoc/HabibiGT04,
author = {Ali Habibi and
Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar},
title = {Assertion based verification of {PSL} for SystemC designs},
booktitle = {Proceedings of the 2004 International Symposium on System-on-Chip,
Tampere, Finland, November 16-18, 2004},
pages = {177--180},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ISSOC.2004.1411179},
doi = {10.1109/ISSOC.2004.1411179},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/issoc/HabibiGT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issoc/OumalouHT04,
author = {Karim Oumalou and
Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Design for verification of a {PCI} bus in SystemC},
booktitle = {Proceedings of the 2004 International Symposium on System-on-Chip,
Tampere, Finland, November 16-18, 2004},
pages = {201--204},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ISSOC.2004.1411185},
doi = {10.1109/ISSOC.2004.1411185},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issoc/OumalouHT04.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}
}
@article{DBLP:journals/sttt/PengTK03,
author = {Hong Peng and
Sofi{\`{e}}ne Tahar and
Ferhat Khendek},
title = {Comparison of {SPIN} and {VIS} for protocol verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {2},
pages = {234--245},
year = {2003},
url = {https://doi.org/10.1007/s100090200073},
doi = {10.1007/S100090200073},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PengTK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KortTC03,
author = {Skander Kort and
Sofi{\`{e}}ne Tahar and
Paul Curzon},
title = {Hierarchical formal verification using a hybrid tool},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {313--322},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0082-5},
doi = {10.1007/S10009-002-0082-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KortTC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GawanmehTW03,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Kirsten Winter},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Interfacing {ASM} with the {MDG} Tool},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {278--292},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_16},
doi = {10.1007/3-540-36498-6\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GawanmehTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LayouniHT03,
author = {Mohamed Layouni and
Jozef Hooman and
Sofi{\`{e}}ne Tahar},
editor = {Daniel Geist and
Enrico Tronci},
title = {On the Correctness of an Intrusion-Tolerant Group Communication Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {231--246},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_21},
doi = {10.1007/978-3-540-39724-3\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/LayouniHT03.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/glvlsi/WangT03,
author = {Fang Wang and
Sofi{\`{e}}ne Tahar},
editor = {Mircea R. Stan and
David Garrett and
Kazuo Nakajima},
title = {Language emptiness checking using MDGs},
booktitle = {Proceedings of the 13th {ACM} Great Lakes Symposium on {VLSI} 2003,
Washington, DC, USA, April 28-29, 2003},
pages = {88--91},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/764808.764832},
doi = {10.1145/764808.764832},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/WangT03.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/icfem/PengTM03,
author = {Hong Peng and
Sofi{\`{e}}ne Tahar and
Yassine Mokhtari},
editor = {Jin Song Dong and
Jim Woodcock},
title = {Compositional Verification of a Switch Fabric from Nortel Networks},
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 = {560--578},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_32},
doi = {10.1007/978-3-540-39893-6\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PengTM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/Abdel-HamidTA03,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
El Mostapha Aboulhamid},
title = {{IP} Watermarking Techniques: Survey and Comparison},
booktitle = {Proceedings of the 3rd {IEEE} International Workshop on System-on-Chip
for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
Alberta, Canada},
pages = {60--65},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWSOC.2003.1213006},
doi = {10.1109/IWSOC.2003.1213006},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsoc/Abdel-HamidTA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsoc/HabibiT03,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design},
booktitle = {Proceedings of the 3rd {IEEE} International Workshop on System-on-Chip
for Real-Time Applications (IWSOC'03), 30 June - 2 July 2003, Calgary,
Alberta, Canada},
pages = {212--215},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWSOC.2003.1213037},
doi = {10.1109/IWSOC.2003.1213037},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwsoc/HabibiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GawanmehTW03,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Kirsten Winter},
title = {Formal Verification of {ASM} Designs Using the {MDG} Tool},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {210--219},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236223},
doi = {10.1109/SEFM.2003.1236223},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GawanmehTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/HabibiTG02,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar and
Adel Ghazel},
title = {Formal Verification of a {DSP} Chip Using an Iterative Approach},
booktitle = {2002 Euromicro Symposium on Digital Systems Design {(DSD} 2002), Systems-on-Chip,
4-6 September 2002, Dortmund, Germany},
pages = {12--19},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DSD.2002.1115346},
doi = {10.1109/DSD.2002.1115346},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/HabibiTG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/PengMT02,
author = {Hong Peng and
Yassine Mokhtari and
Sofi{\`{e}}ne Tahar},
title = {Environment Synthesis for Compositional Model Checking},
booktitle = {20th International Conference on Computer Design {(ICCD} 2002), {VLSI}
in Computers and Processors, 16-18 September 2002, Freiburg, Germany,
Proceedings},
pages = {70},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICCD.2002.1106750},
doi = {10.1109/ICCD.2002.1106750},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/PengMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZobairT02,
author = {M. Hasan Zobair and
Sofi{\`{e}}ne Tahar},
editor = {Chris George and
Huaikou Miao},
title = {Formal Verification of a {SONET} Telecom System Block},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {447--458},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_46},
doi = {10.1007/3-540-36103-0\_46},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZobairT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Abdel-HamidTH02,
author = {Amr T. Abdel{-}Hamid and
Sofi{\`{e}}ne Tahar and
John Harrison},
editor = {Chris George and
Huaikou Miao},
title = {Enabling Hardware Verification through Design Changes},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {459--470},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_47},
doi = {10.1007/3-540-36103-0\_47},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Abdel-HamidTH02.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}
}
@inproceedings{DBLP:conf/ifm/XiongCTB02,
author = {Haiyan Xiong and
Paul Curzon and
Sofi{\`{e}}ne Tahar and
Ann Blandford},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Formally Linking {MDG} and {HOL} Based on a Verified {MDG} System},
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 = {205--224},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_12},
doi = {10.1007/3-540-47884-1\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/XiongCTB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2002,
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6},
doi = {10.1007/3-540-45685-6},
isbn = {3-540-44039-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/WengLXT01,
author = {Jian F. Weng and
Tho Le{-}Ngoc and
Guo Q. Xue and
Sofi{\`{e}}ne Tahar},
title = {Performance of various multistage interference cancellation schemes
for asynchronous {QPSK/DS/CDMA} over multipath Rayleigh fading channels},
journal = {{IEEE} Trans. Commun.},
volume = {49},
number = {5},
pages = {774--778},
year = {2001},
url = {https://doi.org/10.1109/26.923800},
doi = {10.1109/26.923800},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/WengLXT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KortTC01,
author = {Iskander Kort and
Sofi{\`{e}}ne Tahar and
Paul Curzon},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Hierarchical Verification Using an {MDG-HOL} Hybrid Tool},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {244--258},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_21},
doi = {10.1007/3-540-44798-9\_21},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/KortTC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/BarakatainTLG01,
author = {Leila Barakatain and
Sofi{\`{e}}ne Tahar and
Jean Lamarche and
Jean{-}Marc Gendreau},
editor = {Kaushik Roy and
Sung{-}Mo Kang and
Cheng{-}Kok Koh},
title = {Practical approaches to the verification of a telecom megacell using
FormalCheck},
booktitle = {Proceedings of the 11th {ACM} Great Lakes Symposium on {VLSI} 2001,
West Lafayette, Indiana, USA, 2001},
pages = {1--6},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/368122.368141},
doi = {10.1145/368122.368141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/BarakatainTLG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/XueWLT00,
author = {Guoqiang Xue and
Jian F. Weng and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {An analytical model for performance evaluation of parallel interference
cancellers in {CDMA} systems},
journal = {{IEEE} Commun. Lett.},
volume = {4},
number = {6},
pages = {184--186},
year = {2000},
url = {https://doi.org/10.1109/4234.848407},
doi = {10.1109/4234.848407},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/XueWLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcn/WengLXT00,
author = {Jian F. Weng and
Tho Le{-}Ngoc and
Guo Q. Xue and
Sofi{\`{e}}ne Tahar},
title = {Multilevel quantized soft-limiting detector for an {FH-SSMA} system},
journal = {J. Commun. Networks},
volume = {2},
number = {4},
pages = {379--388},
year = {2000},
url = {https://doi.org/10.1109/JCN.2000.6596775},
doi = {10.1109/JCN.2000.6596775},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcn/WengLXT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/PisiniTCMS00,
author = {V. K. Pisini and
Sofi{\`{e}}ne Tahar and
Paul Curzon and
Otmane A{\"{\i}}t Mohamed and
Xiaoyu Song},
editor = {Majid Sarrafzadeh and
Prithviraj Banerjee and
Kaushik Roy},
title = {Formal hardware verification by integrating {HOL} and {MDG}},
booktitle = {Proceedings of the 10th {ACM} Great Lakes Symposium on {VLSI} 2000,
Chicago, Illinois, USA, March 2-4, 2000},
pages = {23--28},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/330855.330947},
doi = {10.1145/330855.330947},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/PisiniTCMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/WengXLT00,
author = {Jian F. Weng and
Guo Q. Xue and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {Analysis of Multilevel-Quantized Soft-Limiting Detector for an {FH-SSMA}
System},
booktitle = {2000 {IEEE} International Conference on Communications: Global Convergence
Through Communications, {ICC} 2000, New Orleans, LA, USA, June 18-22,
2000},
pages = {1380--1384},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICC.2000.853723},
doi = {10.1109/ICC.2000.853723},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/WengXLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PengTK00,
author = {Hong Peng and
Sofi{\`{e}}ne Tahar and
Ferhat Khendek},
title = {{SPIN} vs. {VIS:} {A} Case Study on the Formal Verification of the
{ATMR} Protocol},
booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICFEM.2000.873808},
doi = {10.1109/ICFEM.2000.873808},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/PengTK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parelec/AziziAT00,
author = {Mostafa Azizi and
El Mostapha Aboulhamid and
Sofi{\`{e}}ne Tahar},
title = {Sequential and Distributed Simulations Using Java Threads},
booktitle = {2000 International Conference on Parallel Computing in Electrical
Engineering {(PARELEC} 2000), 27-30 August 2000, Quebec, Canada},
pages = {237--243},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PCEE.2000.873636},
doi = {10.1109/PCEE.2000.873636},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/parelec/AziziAT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/XueWLT99,
author = {Guoqiang Xue and
Jianfeng Weng and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {Adaptive multistage parallel interference cancellation for {CDMA}},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {17},
number = {10},
pages = {1815--1827},
year = {1999},
url = {https://doi.org/10.1109/49.793316},
doi = {10.1109/49.793316},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/XueWLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/WengXLT99,
author = {Jianfeng Weng and
Guoqiang Xue and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {Multistage interference cancellation with diversity reception for
asynchronous {QPSK} {DS/CDMA} systems over multipath fading channels},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {17},
number = {12},
pages = {2162--2180},
year = {1999},
url = {https://doi.org/10.1109/49.814833},
doi = {10.1109/49.814833},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/WengXLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/TaharC99,
author = {Sofi{\`{e}}ne Tahar and
Paul Curzon},
title = {Comparing {HOL} and {MDG:} a Case Study on the Verification of an
{ATM} Switch Fabric},
journal = {Nord. J. Comput.},
volume = {6},
number = {4},
pages = {372--402},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/TaharC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/TaharSCZLM99,
author = {Sofi{\`{e}}ne Tahar and
Xiaoyu Song and
Eduard Cerny and
Zijian Zhou and
Michel Langevin and
Otmane A{\"{\i}}t Mohamed},
title = {Modeling and formal verification of the Fairisle {ATM} switch fabricusing
MDGs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {7},
pages = {956--972},
year = {1999},
url = {https://doi.org/10.1109/43.771178},
doi = {10.1109/43.771178},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/TaharSCZLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/BalakrishnanT99,
author = {Subhashini Balakrishnan and
Sofi{\`{e}}ne Tahar},
title = {A Hierarchical Approach to the Formal Verification of Embedded Systems
Using MDGs},
booktitle = {9th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '99), 4-6 March 1999,
Ann Arbor, MI, {USA}},
pages = {284--287},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/GLSV.1999.757434},
doi = {10.1109/GLSV.1999.757434},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/BalakrishnanT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/WengXLT99,
author = {Jianfeng Weng and
Guoqiang Xue and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {Multistage interference cancellation with diversity reception for
{QPSK} asynchronous {DS/CDMA} system over multipath fading channels},
booktitle = {1999 {IEEE} International Conference on Communications: Global Convergence
Through Communications, {ICC} 1999, Vancouver, BC, Canada, June 18-22,
1999},
pages = {78--82},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICC.1999.767893},
doi = {10.1109/ICC.1999.767893},
timestamp = {Mon, 23 Nov 2020 08:36:56 +0100},
biburl = {https://dblp.org/rec/conf/icc/WengXLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/XueWLT99,
author = {Guoqiang Xue and
Jianfeng Weng and
Tho Le{-}Ngoc and
Sofi{\`{e}}ne Tahar},
title = {Adaptive multistage parallel interference cancellation for {CDMA}},
booktitle = {1999 {IEEE} International Conference on Communications: Global Convergence
Through Communications, {ICC} 1999, Vancouver, BC, Canada, June 18-22,
1999},
pages = {917--921},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICC.1999.765407},
doi = {10.1109/ICC.1999.765407},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icc/XueWLT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AziziAT99,
author = {Mostafa Azizi and
El Mostapha Aboulhamid and
Sofi{\`{e}}ne Tahar},
editor = {Hamid R. Arabnia},
title = {Multithreading-based Coverification Technique of {HW/SW} Systems},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {1999--2005},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Tue, 20 Apr 2004 14:47:51 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/AziziAT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/XiongCT99,
author = {Haiyan Xiong and
Paul Curzon and
Sofi{\`{e}}ne Tahar},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Importing {MDG} Verification Results into {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {293--310},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_20},
doi = {10.1007/3-540-48256-3\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/XiongCT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/TaharK98,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
title = {A Practical Methodology for the Formal Verification of {RISC} Processors},
journal = {Formal Methods Syst. Des.},
volume = {13},
number = {2},
pages = {159--225},
year = {1998},
url = {https://doi.org/10.1023/A:1008622002590},
doi = {10.1023/A:1008622002590},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/TaharK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/TaharCL98,
author = {Sofi{\`{e}}ne Tahar and
Paul Curzon and
Jianping Lu},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Three Approaches to Hardware Verification: HOL, {MDG} and {VIS} Compared},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {433--450},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_28},
doi = {10.1007/3-540-49519-3\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/TaharCL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/LuT98,
author = {Jianping Lu and
Sofi{\`{e}}ne Tahar},
title = {Practical Approaches to the Automatic Verification of an {ATM} Switch
Fabric Using {VIS}},
booktitle = {8th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '98), 19-21 February
1998, Lafayette, LA, {USA}},
pages = {368},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/GLSV.1998.665319},
doi = {10.1109/GLSV.1998.665319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/LuT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LuTVS98,
author = {Jianping Lu and
Sofi{\`{e}}ne Tahar and
Dan Voicu and
Xiaoyu Song},
title = {Model checking of a real {ATM} switch},
booktitle = {International Conference on Computer Design: {VLSI} in Computers and
Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
{USA}},
pages = {195--198},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCD.1998.727045},
doi = {10.1109/ICCD.1998.727045},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LuTVS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhv/CernyCLSTZ97,
author = {Eduard Cerny and
Francisco Corella and
Michel Langevin and
Xiaoyu Song and
Sofi{\`{e}}ne Tahar and
Zijian Zhou},
editor = {Thomas Kropf},
title = {Verification with Abstract State Machines Using MDGs},
booktitle = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
pages = {79--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4\_2},
doi = {10.1007/3-540-63475-4\_2},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fhv/CernyCLSTZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AnonBCCLSTXZ96,
author = {K. D. Anon and
N. Boulerice and
Eduard Cerny and
Francisco Corella and
Michel Langevin and
Xiaoyu Song and
Sofi{\`{e}}ne Tahar and
Ying Xu and
Zijian Zhou},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {{MDG} Tools for the Verification of {RTL} Designs},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {433--436},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_96},
doi = {10.1007/3-540-61474-5\_96},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AnonBCCLSTXZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhouSTCCL96,
author = {Zijian Zhou and
Xiaoyu Song and
Sofi{\`{e}}ne Tahar and
Eduard Cerny and
Francisco Corella and
Michel Langevin},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {Formal Verification of the Island Tunnel Controller Using Multiway
Decision Graphs},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {233--247},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031811},
doi = {10.1007/BFB0031811},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZhouSTCCL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/TaharZSCL96,
author = {Sofi{\`{e}}ne Tahar and
Zijian Zhou and
Xiaoyu Song and
Eduard Cerny and
Michel Langevin},
title = {Formal Verification of an {ATM} Switch Fabric using Multiway Decision
Graphs},
booktitle = {6th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '96), March 22-23,
1996, Ames, IA, {USA}},
pages = {106--111},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/GLSV.1996.497603},
doi = {10.1109/GLSV.1996.497603},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/TaharZSCL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LangevinTZSC96,
author = {Michel Langevin and
Sofi{\`{e}}ne Tahar and
Zijian Zhou and
Xiaoyu Song and
Eduard Cerny},
title = {Behavioral Verification of an {ATM} Switch Fabric using Implicit Abstract
State Enumeration},
booktitle = {1996 International Conference on Computer Design {(ICCD} '96), {VLSI}
in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
pages = {20--26},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICCD.1996.563526},
doi = {10.1109/ICCD.1996.563526},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LangevinTZSC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/TaharC96,
author = {Sofi{\`{e}}ne Tahar and
Paul Curzon},
editor = {Joakim von Wright and
Jim Grundy and
John Harrison},
title = {A Comparison of {MDG} and {HOL} for Hardware Verification},
booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference,
TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1125},
pages = {415--430},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0105419},
doi = {10.1007/BFB0105419},
timestamp = {Thu, 05 Sep 2019 14:51:32 +0200},
biburl = {https://dblp.org/rec/conf/tphol/TaharC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0077679,
author = {Sofi{\`{e}}ne Tahar},
title = {Eine Methode zur formalen Verifikation von RISC-Prozessoren},
school = {Karlsruhe Institute of Technology, Germany},
year = {1995},
url = {https://d-nb.info/943529654},
isbn = {978-3-18-335010-0},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0077679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TaharK95,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
title = {Formal Specification and Verification Techniques for {RISC} Pipeline
Conflicts},
journal = {Comput. J.},
volume = {38},
number = {2},
pages = {111--120},
year = {1995},
url = {https://doi.org/10.1093/comjnl/38.2.111},
doi = {10.1093/COMJNL/38.2.111},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/TaharK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/KumarT94,
author = {Ramayya Kumar and
Sofi{\`{e}}ne Tahar},
editor = {Jean Mermet},
title = {Formal verification of pipeline conflicts in {RISC} processors},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {284--289},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198266},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/KumarT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/TaharK94,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Implementational Issues for Verifying RISC-Pipeline Conflicts in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {424--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_58},
doi = {10.1007/3-540-58450-1\_58},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/TaharK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/TaharK93,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
title = {Towards a Methodology for the Formal Hierarchical Verification},
booktitle = {Proceedings 1993 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA,
October 3-6, 1993},
pages = {58--62},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICCD.1993.393405},
doi = {10.1109/ICCD.1993.393405},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/TaharK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/TaharK93,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Implementing a Methodology for Formally Verifying {RISC} Processors
in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {281--294},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_142},
doi = {10.1007/3-540-57826-9\_142},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/TaharK93.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 2024-04-25 02:03 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:
