default search action

combined dblp search
author search
venue search
publication search

ask others

Sofiène Tahar

> Home > Persons

Person information

affiliation: Concordia University, Montreal, Canada

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ElderhalliHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ElderhalliHT24
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62(1): 285-325 (2024)
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbdelghanyRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbdelghanyRT24
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar:
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM 2024: 298-314
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DekhilRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DekhilRT24
Nour Dekhil, Adnan Rashid, Sofiène Tahar:
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM 2024: 352-359
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/sycss/BarhoumiZT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/BarhoumiZT24
Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar:
Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS 2024: 1-19
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/sycss/DenizRHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/DenizRHT24
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS 2024: 20-37
2023
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/AounMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/AounMT23
Alain Aoun, Mahmoud Masadeh, Sofiène Tahar:
A Machine Learning Based Load Value Approximator Guided by the Tightened Value Locality. ACM Great Lakes Symposium on VLSI 2023: 679-684
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/ElleuchT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/ElleuchT23
Maissa Elleuch, Sofiène Tahar:
Formal Analysis of an IoT-Based Healthcare Application. ISCC 2023: 1-5
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2023
Yi Li, Sofiène Tahar:
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Lecture Notes in Computer Science 14308, Springer 2023, ISBN 978-981-99-7583-9 [contents]
2022
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/El-DerhalliCBRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/El-DerhalliCBRR22
Hassnaa El-Derhalli, Léa Constans, Sébastien Le Beux, Alfredo De Rossi, Fabrice Raineri, Sofiène Tahar:
Towards All-optical Stochastic Computing Using Photonic Crystal Nanocavities. ACM J. Emerg. Technol. Comput. Syst. 18(1): 16:1-16:25 (2022)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/AbdelghanyAT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/AbdelghanyAT22
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar:
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. 16(2): 2899-2910 (2022)
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/AbdelghanyT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/AbdelghanyT22
Mohamed Abdelghany, Sofiène Tahar:
Formal Probabilistic Risk Assessment of a Nuclear Power Plant. FTSCS 2022: 80-87
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/icm2/AounMT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icm2/AounMT22
Alain Aoun, Mahmoud Masadeh, Sofiène Tahar:
On the Design of Approximate Sobel Filter. ICM 2022: 102-106
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DenizRHT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DenizRHT22
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CICM 2022: 21-37
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AbdelghanyT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AbdelghanyT22
Mohamed Abdelghany, Sofiène Tahar:
Formalization of Functional Block Diagrams Using HOL Theorem Proving. SBMF 2022: 22-35
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-06642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-06642
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CoRR abs/2208.06642 (2022)
2021
[j71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/AbdelghanyT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AbdelghanyT21
Mohamed Abdelghany, Sofiène Tahar:
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks. IEEE Access 9: 23929-23943 (2021)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/jetc/MasadehEHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jetc/MasadehEHT21
Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. ACM J. Emerg. Technol. Comput. Syst. 17(4): 57:1-57:19 (2021)
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/tetc/El-DerhalliBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tetc/El-DerhalliBT21
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Design Space Exploration of Stochastic Computing Architectures Implemented Using Integrated Optics. IEEE Trans. Emerg. Top. Comput. 9(4): 2158-2169 (2021)
[j68]
- view
  authority control:
- export record
  dblp key:
  - journals/tgcn/NajmeddinAT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgcn/NajmeddinAT21
Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation in Multi-UAV Networks With NOMA. IEEE Trans. Green Commun. Netw. 5(4): 1906-1917 (2021)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/MasadehHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/MasadehHT21
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Machine-Learning-Based Self-Tunable Design of Approximate Computing. IEEE Trans. Very Large Scale Integr. Syst. 29(4): 800-813 (2021)
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/ElderhalliEHJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/ElderhalliEHJT21
Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar:
Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. ISVLSI 2021: 194-199
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbdelghanyT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbdelghanyT21
Mohamed Abdelghany, Sofiène Tahar:
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM 2021: 47-64
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/NajmeddinAT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/NajmeddinAT21
Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Wireless Powered Communications with NOMA in Multi-UAV Aided Networks. VTC Fall 2021: 1-6
[c186]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-04196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-04196
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. SCSS 2021: 114-128
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07174
Mohamed Abdelghany, Sofiène Tahar:
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving. CoRR abs/2101.07174 (2021)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-02064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-02064
Hassnaa El-Derhalli, Léa Constans, Sébastien Le Beux, Alfredo De Rossi, Fabrice Raineri, Sofiène Tahar:
Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities. CoRR abs/2102.02064 (2021)
2020
[j66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AhmadHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AhmadHT20
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. 32(1): 71-111 (2020)
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SeghaierZT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SeghaierZT20
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 294-307 (2020)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tcc/SoualhiaKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcc/SoualhiaKT20
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop. IEEE Trans. Cloud Comput. 8(2): 553-569 (2020)
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/date/El-DerhalliBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/El-DerhalliBT20
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions. DATE 2020: 1450-1455
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/globecom/NajmeddinAT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/globecom/NajmeddinAT20
Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation for UAV-Enabled Information and Power Transfer with NOMA. GLOBECOM 2020: 1-6
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/icm2/MasadehAHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icm2/MasadehAHT20
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM 2020: 1-4
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ElderhalliHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ElderhalliHT20
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM 2020: 105-122
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/AbdelghanyATN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/AbdelghanyATN20
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula:
ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon 2020: 1-8
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MasadehAHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MasadehAHT20
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon 2020: 1-5
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/MasadehHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/MasadehHT20
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Machine Learning-Based Self-Compensating Approximate Computing. SysCon 2020: 1-6
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-03729
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-03729
Adnan Rashid, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR abs/2003.03729 (2020)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-14384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14384
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar:
A Formally Verified HOL4 Algebra for Event Trees. CoRR abs/2004.14384 (2020)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-12383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-12383
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula:
ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR abs/2006.12383 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/ElderhalliHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ElderhalliHT19
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access 7: 136176-136192 (2019)
[j62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/MasadehHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/MasadehHT19
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access 7: 147129-147142 (2019)
[j61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeillahiMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeillahiMT19
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar:
A modeling and verification framework for optical quantum circuits. Formal Aspects Comput. 31(3): 321-351 (2019)
[j60]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/ElderhalliAHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/ElderhalliAHT19
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6(3): 469-512 (2019)
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/date/El-DerhalliBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/El-DerhalliBT19
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Stochastic Computing with Integrated Optics. DATE 2019: 1355-1360
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MasadehHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MasadehHT19
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Using Machine Learning for Quality Configurable Approximate Computing. DATE 2019: 1575-1578
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/RashidST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/RashidST19
Adnan Rashid, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS 2019: 3-18
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ElderhalliHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ElderhalliHT19
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM 2019: 253-269
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AhmadMHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AhmadMHT19
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE 2019: 109-118
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ElderhalliVHKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ElderhalliVHKT19
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar:
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM 2019: 513-531
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/NajmeddintBAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/NajmeddintBAT19
Saif Najmeddin, Ali Bayat, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation for DAV-Enabled Wireless Powered Communications. WCNC 2019: 1-6
[e5]
- view
- export record
  dblp key:
  - conf/mkm/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2018w
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents]
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11060
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11060
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Stochastic Computing with Integrated Optics. CoRR abs/1903.11060 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-01605
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-01605
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR abs/1904.01605 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-01343
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-01343
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Error Analysis of Approximate Array Multipliers. CoRR abs/1908.01343 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-01930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-01930
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR abs/1908.01930 (2019)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08875
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Integrating DFT and DRBD Formalizations in HOL4. CoRR abs/1910.08875 (2019)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-11203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-11203
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR abs/1910.11203 (2019)
2018
[j59]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/SiddiqueMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/SiddiqueMT18
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar:
Formal Analysis of Discrete-Time Systems using z-Transform. FLAP 5(4): 875-906 (2018)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/ElleuchHTA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/ElleuchHTA18
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. 8(3/4): 311-339 (2018)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/LahiouelZT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/LahiouelZT18
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(3): 517-530 (2018)
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/MasadehHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/MasadehHT18
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI 2018: 415-418
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/icm2/MasadehHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icm2/MasadehHT18
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Approximation-Conscious IC Testing. ICM 2018: 56-59
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/SeghaierT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/SeghaierT18
Ibtissem Seghaier, Sofiène Tahar:
Discriminating Chaos from Non-Gaussian Noise on Analog Circuits. NEWCAS 2018: 26-30
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/SeghaierT18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/SeghaierT18a
Ibtissem Seghaier, Sofiène Tahar:
Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects. NEWCAS 2018: 209-212
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ElderhalliHAT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ElderhalliHAT18
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar:
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM 2018: 139-156
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06587
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. CoRR abs/1803.06587 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-11576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-11576
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR abs/1807.11576 (2018)
2017
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/LayouniHT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/LayouniHT17
Mohamed Layouni, Mohamed Salah Hamdi, Sofiène Tahar:
Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning. Appl. Soft Comput. 52: 247-261 (2017)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/LahiouelAZT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/LahiouelAZT17
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59: 135-147 (2017)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/jcss/SiddiqueT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/SiddiqueT17
Umair Siddique, Sofiène Tahar:
Formal verification of stability and chaos in periodic optical systems. J. Comput. Syst. Sci. 88: 271-289 (2017)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SoualhiaKT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SoualhiaKT17
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Task Scheduling in Big Data Platforms: A Systematic Literature Review. J. Syst. Softw. 134: 170-189 (2017)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/NayrollesHTL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/NayrollesHTL17
Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson:
A bug reproduction approach based on directed model checking and crash traces. J. Softw. Evol. Process. 29(3) (2017)
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LahiouelZT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LahiouelZT17
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Enhancing analog yield optimization for variation-aware circuits sizing. DATE 2017: 1273-1276
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/HelaliTHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/HelaliTHD17
Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev:
Formal Analysis of Information Flow in HOL. SETTA 2017: 283-299
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/LiuHT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/LiuHT17
Liya Liu, Osman Hasan, Sofiène Tahar:
Formalization of Birth-Death and IID processes in higher-order logic. SysCon 2017: 1-7
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/SeghaierT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/SeghaierT17
Ibtissem Seghaier, Sofiène Tahar:
Intertwined Global Optimization Based Reachability Analysis. VECoS 2017: 139-154
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/2017
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents]
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-02872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-02872
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar:
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR abs/1712.02872 (2017)
2016
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/SiddiqueT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/SiddiqueT16
Umair Siddique, Sofiène Tahar:
On the formal analysis of Gaussian optical systems in HOL. Formal Aspects Comput. 28(5): 881-907 (2016)
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/AhmedHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/AhmedHT16
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. 18: 19-41 (2016)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/CheikhATN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/CheikhATN16
Taieb Lamine Ben Cheikh, Alexandra Aguiar, Sofiène Tahar, Gabriela Nicolescu:
Tuning framework for stencil computation in heterogeneous parallel platforms. J. Supercomput. 72(2): 468-502 (2016)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/AridhiZT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/AridhiZT16
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24(3): 1036-1049 (2016)
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BeillahiST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeillahiST16
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV 2016: 31-46
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/ElleuchHTA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/ElleuchHTA16
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS 2016: 93-108
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/SeghaierZT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/SeghaierZT16
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS 2016: 1294-1297
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/QasimHET16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/QasimHET16
Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar:
Formalization of Normal Random Variables in HOL. CICM 2016: 44-59
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AhmedHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AhmedHT16
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CICM 2016: 132-147
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BeillahiMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BeillahiMT16
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar:
Hierarchical Verification of Quantum Circuits. NFM 2016: 344-352
[c156]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/vecos/ElleuchHTA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/ElleuchHTA16
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS 2016: 43-58
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AhmedHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AhmedHT16
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CoRR abs/1606.06877 (2016)
2015
[j47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ElleuchHTA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ElleuchHTA15
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic analysis of detection properties in wireless sensor networks. Formal Aspects Comput. 27(1): 79-102 (2015)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MhamdiHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MhamdiHT15
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Evaluation of anonymity and confidentiality protocols using theorem proving. Formal Methods Syst. Des. 47(3): 265-286 (2015)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/ChaouiGHST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/ChaouiGHST15
Hicham Chaoui, Navid Golbon, Imad Hmouz, Ridha Souissi, Sofiène Tahar:
Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries. IEEE Trans. Ind. Electron. 62(3): 1610-1618 (2015)
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LahiouelZT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LahiouelZT15
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Towards enhancing analog circuits sizing using SMT-based techniques. DAC 2015: 171:1-171:6
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/ficloud/MohamedHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ficloud/MohamedHT15
Abduljalil Mohamed, Mohamed Salah Hamdi, Sofiène Tahar:
A Machine Learning Approach for Big Data in Oil and Gas Pipelines. FiCloud 2015: 585-590
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/SiddiqueBT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/SiddiqueBT15
Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar:
On the Formal Analysis of Photonic Signal Processing Systems. FMICS 2015: 162-177
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MahmoudPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MahmoudPT15
Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. FMICS 2015: 198-211
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/SeghaierZT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/SeghaierZT15
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI 2015: 99-102
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/SoualhiaKT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/SoualhiaKT15
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Predicting Scheduling Failures in the Cloud: A Case Study with Google Clusters and Hadoop on Amazon EMR. HPCC/CSS/ICESS 2015: 58-65
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeillahiST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeillahiST15
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Power Electronic Systems. ICFEM 2015: 270-286
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/ipccc/SoualhiaKT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipccc/SoualhiaKT15
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
ATLAS: An AdapTive faiLure-Aware Scheduler for Hadoop. IPCCC 2015: 1-8
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/SeghaierZT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/SeghaierZT15
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI 2015: 237-242
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/iv/MohamedHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iv/MohamedHT15
Abduljalil Mohamed, Mohamed Salah Hamdi, Sofiène Tahar:
Self-Organizing Map-Based Feature Visualization and Selection for Defect Depth Estimation in Oil and Gas Pipelines. IV 2015: 235-240
[c145]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/AhmadHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AhmadHT15
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR 2015: 1-14
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykUSADT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykUSADT15
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar:
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM 2015: 288-295
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SiddiqueHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SiddiqueHT15
Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM 2015: 316-324
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SeddikiDKT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SeddikiDKT15
Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar:
Enabling Symbolic and Numerical Computations in HOL Light. CICM 2015: 353-358
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/JuniorT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/JuniorT15
Valdivino Alexandre de Santiago Jr., Sofiène Tahar:
Time Performance Formal Evaluation of Complex Systems. SBMF 2015: 162-177
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/syscon/SiddiqueHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syscon/SiddiqueHT15
Umair Siddique, Osman Hasan, Sofiène Tahar:
Formal modeling and verification of integrated photonic systems. SysCon 2015: 562-569
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/NayrollesHTL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/NayrollesHTL15
Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson:
JCHARMING: A bug reproduction approach using crash traces and directed model checking. SANER 2015: 101-110
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/wimob/AhmedHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wimob/AhmedHT15
Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob 2015: 217-224
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/asc/SiddiqueT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/asc/SiddiqueT15
Umair Siddique, Sofiène Tahar:
On the Formalization of Cardinal Points of Optical Systems. Formalisms for Reuse and Systems Integration 2015: 79-102
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SiddiqueHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SiddiqueHT15
Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CoRR abs/1505.02140 (2015)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SoualhiaKT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoualhiaKT15
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Predicting Scheduling Failures in the Cloud. CoRR abs/1507.03562 (2015)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SoualhiaKT15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoualhiaKT15a
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
ATLAS: An Adaptive Failure-aware Scheduler for Hadoop. CoRR abs/1511.01446 (2015)
2014
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/AbbasiHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AbbasiHT14
Naeem Abbasi, Osman Hasan, Sofiène Tahar:
An approach for lifetime reliability analysis using theorem proving. J. Comput. Syst. Sci. 80(2): 323-345 (2014)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/mics/AfsharSMASHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/AfsharSMASHT14
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. Math. Comput. Sci. 8(1): 39-70 (2014)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/mj/SouariGTA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mj/SouariGTA14
Anis Souari, Amjad Gawanmeh, Sofiène Tahar, Mohamed Lassaad Ammari:
Design and verification of a frequency domain equalizer. Microelectron. J. 45(2): 167-178 (2014)
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/GawanmehT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/GawanmehT14
Amjad Gawanmeh, Sofiène Tahar:
Real time verification of firewalls with dynamic rulebase update. CCECE 2014: 1-6
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/SouariAGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/SouariAGT14
Anis Souari, Mohamed Lassaad Ammari, Amjad Gawanmeh, Sofiène Tahar:
Performance evaluation of time and frequency domain equalizers. CCECE 2014: 1-6
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/cies/LayouniTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cies/LayouniTH14
Mohamed Layouni, Sofiène Tahar, Mohamed Salah Hamdi:
A survey on the application of Neural Networks in the safety assessment of oil and gas pipelines. CIES 2014: 95-102
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SiddiqueT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SiddiqueT14
Umair Siddique, Sofiène Tahar:
Towards the formal analysis of microresonators based photonic systems. DATE 2014: 1-6
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/LahiouelAZT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/LahiouelAZT14
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI 2014: 247-248
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/WinklerAZT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/WinklerAZT14
Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI 2014: 305-310
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/SeghaierAZT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/SeghaierAZT14
Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
A qualitative simulation approach for verifying PLL locking property. ACM Great Lakes Symposium on VLSI 2014: 317-322
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/PervezHLTGH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/PervezHLTGH14
Usman Pervez, Osman Hasan, Khalid Latif, Sofiène Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi:
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. Healthcom 2014: 43-48
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LiuAHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LiuAHT14
Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
On the Formal Analysis of HMM Using Theorem Proving. ICFEM 2014: 316-331
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/SiddiqueT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/SiddiqueT14
Umair Siddique, Sofiène Tahar:
Towards ray optics formalization of optical imaging systems. IRI 2014: 378-385
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/AravantinosT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AravantinosT14
Vincent Aravantinos, Sofiène Tahar:
Implicational Rewriting Tactics in HOL. ITP 2014: 45-60
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MahmoudAT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MahmoudAT14
Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar:
Formal Verification of Optical Quantum Flip Gate. ITP 2014: 358-373
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/SiddiqueMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/SiddiqueMT14
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar:
On the Formalization of Z-Transform in HOL. ITP 2014: 483-498
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AhmedHTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AhmedHTH14
Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CICM 2014: 30-44
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AfsharAHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AfsharAHT14
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. CICM 2014: 123-137
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SiddiqueT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SiddiqueT14
Umair Siddique, Sofiène Tahar:
A Framework for Formal Reasoning about Geometrical Optics. CICM 2014: 453-456
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/AfsharHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/AfsharHT14
Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar:
Towards the formal verification of optical interconnects. NEWCAS 2014: 157-160
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/LahiouelAZT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/LahiouelAZT14
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS 2014: 161-164
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MahmoudT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MahmoudT14
Mohamed Yousri Mahmoud, Sofiène Tahar:
On the Quantum Formalization of Coherent Light in HOL. NASA Formal Methods 2014: 128-142
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AhmadHST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AhmadHST14
Sohaib Ahmad, Osman Hasan, Umair Siddique, Sofiène Tahar:
Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. SBMF 2014: 32-47
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AfsharSMASHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AfsharSMASHT14
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. CoRR abs/1403.3039 (2014)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AfsharAHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AfsharAHT14
Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar:
Formalization of Complex Vectors in Higher-Order Logic. CoRR abs/1405.4034 (2014)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AhmedHTH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AhmedHTH14
Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi:
Towards the Formal Reliability Analysis of Oil and Gas Pipelines. CoRR abs/1405.6985 (2014)
2013
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/LiuHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/LiuHT13
Liya Liu, Osman Hasan, Sofiène Tahar:
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. J. Comput. Sci. Technol. 28(2): 217-231 (2013)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/MhamdiHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/MhamdiHT13
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Trans. Embed. Comput. Syst. 12(1): 13:1-13:23 (2013)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/NarayananSZT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/NarayananSZT13
Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 21(10): 1811-1822 (2013)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/LiuHAT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/LiuHAT13
Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar:
Formal Reasoning about Classified Markov Chains in HOL. ITP 2013: 295-310
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SiddiqueAT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SiddiqueAT13
Umair Siddique, Vincent Aravantinos, Sofiène Tahar:
Formal Stability Analysis of Optical Resonators. NASA Formal Methods 2013: 368-382
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MahmoudAT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MahmoudAT13
Mohamed Yousri Mahmoud, Vincent Aravantinos, Sofiène Tahar:
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. NASA Formal Methods 2013: 413-427
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/HelaliHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/HelaliHT13
Ghassen Helali, Osman Hasan, Sofiène Tahar:
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. SBMF 2013: 131-146
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuHT13
Liya Liu, Osman Hasan, Sofiène Tahar:
Formal Analysis of Memory Contention in a Multiprocessor System. SBMF 2013: 195-210
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/wetice/ElleuchHTA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wetice/ElleuchHTA13
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Towards the Formal Performance Analysis of Wireless Sensor Networks. WETICE 2013: 365-370
2012
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/adg/SiddiqueAT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/SiddiqueAT12
Umair Siddique, Vincent Aravantinos, Sofiène Tahar:
On the Formal Analysis of Geometrical Optics in HOL. Automated Deduction in Geometry 2012: 161-180
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/GawanmehT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/GawanmehT12
Amjad Gawanmeh, Sofiène Tahar:
Novel algorithm for detecting conflicts in firewall rules. CCECE 2012: 1-4
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/ccece/HelaliTH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccece/HelaliTH12
Ghassen Helali, Sofiène Tahar, Osman Hasan:
Formal verification of the heavy hitter problem. CCECE 2012: 1-4
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AridhiZT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AridhiZT12
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Towards improving simulation of analog circuits using model order reduction. DATE 2012: 1337-1342
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/date/NarayananDZT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NarayananDZT12
Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar:
Verifying jitter in an analog and mixed signal design using dynamic time warping. DATE 2012: 1413-1416
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MhamdiHT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MhamdiHT12
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Quantitative Analysis of Information Flow Using Theorem Proving. ICFEM 2012: 119-134
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/CheikhBNCT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/CheikhBNCT12
Taieb Lamine Ben Cheikh, Giovanni Beltrame, Gabriela Nicolescu, Farida Cheriet, Sofiène Tahar:
Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs. NEWCAS 2012: 49-52
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/NarayananDZT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/NarayananDZT12
Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar:
Using LCSS algorithm for circuit level verification of analog designs. NEWCAS 2012: 185-188
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/newcas/SouariTG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/newcas/SouariTG12
Anis Souari, Sofiène Tahar, Amjad Gawanmeh:
Formal error analysis and verification of a frequency domain equalizer. NEWCAS 2012: 189-192
[c102]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ElleuchHTA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ElleuchHTA13
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. SCSS 2012: 1-9
[c101]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Al-AkhrasTNLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Al-AkhrasTNLP13
Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin:
On the Verification of a WiMax Design Using Symbolic Simulation. SCSS 2012: 23-37
[c100]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbbasiHT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbbasiHT13
Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Analysis of Soft Errors using Theorem Proving. SCSS 2012: 75-84
2011
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/iet-cds/DenmanZT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cds/DenmanZT11
William Denman, Mohamed H. Zaki, Sofiène Tahar:
Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. 5(3): 243-255 (2011)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/HasanT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/HasanT11
Osman Hasan, Sofiène Tahar:
Reasoning about conditional probabilities in a higher-order-logic theorem prover. J. Appl. Log. 9(1): 23-40 (2011)
[j36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/HasanPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/HasanPT11
Osman Hasan, Jigar Patel, Sofiène Tahar:
Formal reliability analysis of combinational circuits using theorem proving. J. Appl. Log. 9(1): 41-60 (2011)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/AbedMMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/AbedMMT10
Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar:
NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/CuiCTA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/CuiCTA11
Aijiao Cui, Chip-Hong Chang, Sofiène Tahar, Amr Talaat Abdel-Hamid:
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(5): 678-690 (2011)
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LiuHT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LiuHT11
Liya Liu, Osman Hasan, Sofiène Tahar:
Formalization of Finite-State Discrete-Time Markov Chains in HOL. ATVA 2011: 90-104
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/date/NarayananZT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NarayananZT11
Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar:
Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. DATE 2011: 1188-1191
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/GaydadjievTBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/GaydadjievTBS11
Georgi Gaydadjiev, Sofiène Tahar, Greg Byrd, Klaus Schneider:
Welcome to ICCD 2011! ICCD 2011
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ElleuchHTA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ElleuchHTA11
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. ICFEM 2011: 388-403
[c95]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/icitst/GawanmehT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icitst/GawanmehT11
Amjad Gawanmeh, Sofiène Tahar:
Modeling and verification of firewall configurations using domain restriction method. ICITST 2011: 642-647
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MhamdiHT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MhamdiHT11
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Formalization of Entropy Measures in HOL. ITP 2011: 233-248
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DenmanZTR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DenmanZTR11
William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues:
Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods 2011: 89-100
2010
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/AkbarpourATH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/AkbarpourATH10
Behzad Akbarpour, Amr Talaat Abdel-Hamid, Sofiène Tahar, John Harrison:
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. Comput. J. 53(4): 465-488 (2010)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/et/NarayananZT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/NarayananZT10
Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar:
Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. J. Electron. Test. 26(1): 97-109 (2010)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/HasanT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/HasanT10
Osman Hasan, Sofiène Tahar:
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. J. Comput. Sci. Technol. 25(6): 1305-1320 (2010)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/HasanTA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/HasanTA10
Osman Hasan, Sofiène Tahar, Naeem Abbasi:
Formal Reliability Analysis Using Theorem Proving. IEEE Trans. Computers 59(5): 579-592 (2010)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/HassanHST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/HassanHST10
Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar:
Performance analysis of real-time rewriting models. AICCSA 2010: 1-8
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HasanT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HasanT10
Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. ASM 2010: 2-19
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/date/NarayananAZTP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NarayananAZTP10
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson:
Formal verification of analog circuits in the presence of noise and process variation. DATE 2010: 1309-1312
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/SeidelGTS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/SeidelGTS10
Peter-Michael Seidel, Georgi Gaydadjiev, Sofiène Tahar, Lars J. Svensson:
Welcome to ICCD 2010! ICCD 2010
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MhamdiHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MhamdiHT10
Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
On the Formalization of the Lebesgue Integration Theory in HOL. ITP 2010: 387-402
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/AbbasiHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/AbbasiHT10
Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Lifetime Reliability Analysis Using Continuous Random Variables. WoLLIC 2010: 84-97
[e3]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10271
Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BeckerCHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeckerCHT10
Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j29]
- view
  - electronic edition @ jalaxy.com.tw (open access)
  - details & citations
- export record
  dblp key:
  - journals/ijnsec/GawanmehBT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijnsec/GawanmehBT09
Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar:
Rank Functions Based Inference System for Group Key Management Protocols Verification. Int. J. Netw. Secur. 8(2): 187-198 (2009)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/ZakiDTB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/ZakiDTB09
Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois:
Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. 6(5): 373-392 (2009)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HasanT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HasanT09
Osman Hasan, Sofiène Tahar:
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. J. Autom. Reason. 42(1): 1-33 (2009)
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HasanAATA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HasanAATA09
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour:
Formal Reasoning about Expectation Properties for Continuous Random Variables. FM 2009: 435-450
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/DenmanATZP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/DenmanATZP09
William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson:
Formal verification of analog designs using MetiTarski. FMCAD 2009: 93-100
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HasanAT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HasanAT09
Osman Hasan, Naeem Abbasi, Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM 2009: 277-291
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/AlbasheirTGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/AlbasheirTGP09
Suliman Albasheir, Sofiène Tahar, Claude Gauthier, Jean Roussel Personna:
Radio Access Network traffic generation for Mobile Switching Center. ISCC 2009: 705-710
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/HasanAT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HasanAT09
Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar:
Formal Analysis of Optical Waveguides in HOL. TPHOLs 2009: 228-243
2008
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HasanT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HasanT08
Osman Hasan, Sofiène Tahar:
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. J. Autom. Reason. 41(3-4): 295-323 (2008)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/GawanmehTW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/GawanmehTW08
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
Formal verification of ASMs using MDGs. J. Syst. Archit. 54(1-2): 15-34 (2008)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/mj/ZakiTB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mj/ZakiTB08
Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
Formal verification of analog and mixed signal designs: A survey. Microelectron. J. 39(12): 1395-1404 (2008)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/CuiCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/CuiCT08
Aijiao Cui, Chip-Hong Chang, Sofiène Tahar:
IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(9): 1565-1570 (2008)
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ahs/Abdel-HamidT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ahs/Abdel-HamidT08
Amr Talaat Abdel-Hamid, Sofiène Tahar:
Fragile IP Watermarking Techniques. AHS 2008: 513-519
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MokhtariAMTS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MokhtariAMTS08
Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song:
A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ispass/HasanT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispass/HasanT08
Osman Hasan, Sofiène Tahar:
Performance Analysis of ARQ Protocols using a Theorem Prover. ISPASS 2008: 85-94
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/GawanmehTA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/GawanmehTA08
Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed:
Event-B based invariant checking of secrecy in group key protocols. LCN 2008: 950-957
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbdullahAT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdullahAT09
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. FMWS@CONCUR 2008: 3-30
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HasanT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HasanT09
Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving. FMWS@CONCUR 2008: 43-58
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/2008
Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar:
Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Lecture Notes in Computer Science 5170, Springer 2008, ISBN 978-3-540-71065-3 [contents]
2007
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/XiongCTB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/XiongCTB07
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford:
Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. 30(2): 83-116 (2007)
[j21]
- view
  - electronic edition @ jalaxy.com.tw (open access)
  - details & citations
- export record
  dblp key:
  - journals/ijnsec/LayouniHT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijnsec/LayouniHT07
Mohamed Layouni, Jozef Hooman, Sofiène Tahar:
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. Int. J. Netw. Secur. 5(3): 288-298 (2007)
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/AkbarpourT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/AkbarpourT07
Behzad Akbarpour, Sofiène Tahar:
Error analysis of digital filters using HOL theorem proving. J. Appl. Log. 5(4): 651-666 (2007)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/GawanmehTMH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/GawanmehTMH07
Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi:
A Design for Verification Approach Using an Embedding of PSL in aSML. J. Circuits Syst. Comput. 16(6): 859-881 (2007)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HasanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HasanT07
Osman Hasan, Sofiène Tahar:
Formalization of the Standard Uniform random variable. Theor. Comput. Sci. 382(1): 71-83 (2007)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/GawanmehT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/GawanmehT07
Amjad Gawanmeh, Sofiène Tahar:
Rank Theorems for Forward Secrecy in Group Key Management Protocols. AINA Workshops (1) 2007: 18-23
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HasanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HasanT07
Osman Hasan, Sofiène Tahar:
Formalization of Continuous Probability Distributions. CADE 2007: 3-18
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Al-SammaneZT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Al-SammaneZT07
Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar:
A symbolic methodology for the verification of analog and mixed signal designs. DATE 2007: 249-254
[c72]
- view
  - electronic edition @ ecsi-association.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/fdl/KhanHTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/KhanHTM07
Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed:
Autometic Generation of SystemC Transactors from AsmL Specification. FDL 2007: 104-109
[c71]
- view
  - electronic edition @ ecsi-association.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/fdl/SammaneZDT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/SammaneZDT07
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar:
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. FDL 2007: 293-298
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ZakiATB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ZakiATB07
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois:
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. FMCAD 2007: 207-215
[c69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iccS/ZakiAT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/ZakiAT07
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar:
Formal Verification of Analog and Mixed Signal Designs in Mathematica. International Conference on Computational Science (2) 2007: 263-267
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/HasanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/HasanT07
Osman Hasan, Sofiène Tahar:
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM 2007: 333-352
[c67]
- view
  - electronic edition @ editions-rnti.fr
  - details & citations
- export record
  dblp key:
  - conf/isola/ZakiTB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ZakiTB07
Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
Qualitative Abstraction based Verification for Analog Circuits. ISoLA 2007: 147-158
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/HasanT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HasanT07
Osman Hasan, Sofiène Tahar:
Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs 2007: 119-134
2006
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/mj/MizouniTC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mj/MizouniTC06
Rabeb Mizouni, Sofiène Tahar, Paul Curzon:
Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectron. J. 37(11): 1200-1207 (2006)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/AkbarpourT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/AkbarpourT06
Behzad Akbarpour, Sofiène Tahar:
An approach for the formal verification of DSP designs using Theorem proving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(8): 1441-1457 (2006)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/HabibiT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/HabibiT06
Ali Habibi, Sofiène Tahar:
Design and verification of SystemC transaction-level models. IEEE Trans. Very Large Scale Integr. Syst. 14(1): 57-68 (2006)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ahs/Abdel-HamidTA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ahs/Abdel-HamidTA06
Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
Finite State Machine IP Watermarking: A Tutorial. AHS 2006: 457-464
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HabibiMT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HabibiMT06
Ali Habibi, Haja Moinudeen, Sofiène Tahar:
Generating finite state machines from SystemC. DATE Designers' Forum 2006: 76-81
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HabibiTSLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HabibiTSLM06
Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed:
Efficient assertion based verification using TLM. DATE 2006: 106-111
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HassenT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HassenT06
Jounaïdi Ben Hassen, Sofiène Tahar:
On the numerical verification of probabilistic rewriting systems. DATE 2006: 1223-1224
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/MoinudeenHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/MoinudeenHT06
Haja Moinudeen, Ali Habibi, Sofiène Tahar:
Design for Verification of the PCI-X Bus. FMCAD 2006: 187-188
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AbdullahAT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AbdullahAT06
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
Formal Analysis and Verification of an OFDM Modem Design using HOL. FMCAD 2006: 189-190
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/ZakiTB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/ZakiTB06
Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
A practical approach for monitoring analog circuits. ACM Great Lakes Symposium on VLSI 2006: 330-335
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/SamarahHTK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/SamarahHTK06
Amer Samarah, Ali Habibi, Sofiène Tahar, Nawwaf Kharma:
Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. HLDVT 2006: 19-26
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/HabibiMST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/HabibiMST06
Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar:
Towards a Faster Simulation of SystemC Designs. ISVLSI 2006: 418-419
2005
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AkbarpourTD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AkbarpourTD05
Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk:
Formalization of Fixed-Point Arithmetic in HOL. Formal Methods Syst. Des. 27(1-2): 173-200 (2005)
[c56]
- view
  - electronic edition @ univ-paris12.fr
  - details & citations
- export record
  dblp key:
  - conf/asm/GawanmehHT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GawanmehHT05
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar:
Embedding and Verification of PSL using AsmL. Abstract State Machines 2005: 201-216
[c55]
- view
  - electronic edition @ univ-paris12.fr
  - details & citations
- export record
  dblp key:
  - conf/asm/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HabibiT05
Ali Habibi, Sofiène Tahar:
AsmL Semantics in Fixpoint. Abstract State Machines 2005: 233-246
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HabibiT05
Ali Habibi, Sofiène Tahar:
An Approach for the Verification of SystemC Designs Using AsmL. ATVA 2005: 69-83
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Abdel-HamidTA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Abdel-HamidTA05
Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
A Public-Key Watermarking Technique for IP Designs. DATE 2005: 330-335
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HabibiT05
Ali Habibi, Sofiène Tahar:
Design for Verification of SystemC Transaction Level Models. DATE 2005: 560-565
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/HabibiT05
Ali Habibi, Sofiène Tahar:
On the formal verification of a SystemC Packet switch model. ICECS 2005: 1-4
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HabibiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HabibiT05
Ali Habibi, Sofiène Tahar:
On the Transformation of SystemC to AsmL Using Abstract Interpretation. AIOOL@VMCAI 2005: 39-49
2004
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/dafes/Abdel-HamidTA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dafes/Abdel-HamidTA04
Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
A Survey on IP Watermarking Techniques. Des. Autom. Embed. Syst. 9(3): 211-227 (2004)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jcsc/MohamedSCTZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcsc/MohamedSCTZ04
Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou:
MDG-Based State Enumeration By Retiming And Circuit Transformation. J. Circuits Syst. Comput. 13(5): 1111-1132 (2004)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/MhamdiT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/MhamdiT04
Tarek Mhamdi, Sofiène Tahar:
Providing Automated Verification in HOL Using MDGs. ATVA 2004: 278-293
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/WangTM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WangTM04
Fang Wang, Sofiène Tahar, Otmane Aït Mohamed:
First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HabibiAMT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HabibiAMT04
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar:
On the Design and Verification Methodology of the Look-Aside Interface. DATE 2004: 290-295
[c46]
- view
  - electronic edition @ ecsi-association.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/fdl/GawanmehHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GawanmehHT04
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar:
Enabling SystemC Verification using Abstract State Machines. FDL 2004: 649-661
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AkbarpourT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AkbarpourT04
Behzad Akbarpour, Sofiène Tahar:
A Methodology for the Formal Verification of FFT Algorithms in HOL. FMCAD 2004: 37-51
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/HabibiT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/HabibiT04
Ali Habibi, Sofiène Tahar:
Towards an efficient assertion based verification of SystemC designs. HLDVT 2004: 19-22
[c43]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iscas/HassenT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/HassenT04
Jounaïdi Ben Hassen, Sofiène Tahar:
Formal verification of an SoC platform protocol converter. ISCAS (5) 2004: 313-316
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/issoc/HabibiGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issoc/HabibiGT04
Ali Habibi, Amjad Gawanmeh, Sofiène Tahar:
Assertion based verification of PSL for SystemC designs. SoC 2004: 177-180
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/issoc/OumalouHT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issoc/OumalouHT04
Karim Oumalou, Ali Habibi, Sofiène Tahar:
Design for verification of a PCI bus in SystemC. SoC 2004: 201-204
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/AkbarpourT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/AkbarpourT04
Behzad Akbarpour, Sofiène Tahar:
Error Analysis of Digital Filters Using Theorem Proving. TPHOLs 2004: 1-17
2003
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PengTK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PengTK03
Hong Peng, Sofiène Tahar, Ferhat Khendek:
Comparison of SPIN and VIS for protocol verification. Int. J. Softw. Tools Technol. Transf. 4(2): 234-245 (2003)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/KortTC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/KortTC03
Skander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. 4(3): 313-322 (2003)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GawanmehTW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GawanmehTW03
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
Interfacing ASM with the MDG Tool. Abstract State Machines 2003: 278-292
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/LayouniHT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/LayouniHT03
Mohamed Layouni, Jozef Hooman, Sofiène Tahar:
On the Correctness of an Intrusion-Tolerant Group Communication Protocol. CHARME 2003: 231-246
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/AkbarpourT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/AkbarpourT03
Behzad Akbarpour, Sofiène Tahar:
The Application of Formal Verification to SPW Designs. DSD 2003: 325-333
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/WangT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/WangT03
Fang Wang, Sofiène Tahar:
Language emptiness checking using MDGs. ACM Great Lakes Symposium on VLSI 2003: 88-91
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AkbarpourT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AkbarpourT03
Behzad Akbarpour, Sofiène Tahar:
Modeling System C Fixed-Point Arithmetic in HOL. ICFEM 2003: 206-225
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PengTM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PengTM03
Hong Peng, Sofiène Tahar, Yassine Mokhtari:
Compositional Verification of a Switch Fabric from Nortel Networks. ICFEM 2003: 560-578
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsoc/Abdel-HamidTA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsoc/Abdel-HamidTA03
Amr Talaat Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid:
IP Watermarking Techniques: Survey and Comparison. IWSOC 2003: 60-65
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsoc/HabibiT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsoc/HabibiT03
Ali Habibi, Sofiène Tahar:
A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design. IWSOC 2003: 212-215
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GawanmehTW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GawanmehTW03
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter:
Formal Verification of ASM Designs Using the MDG Tool. SEFM 2003: 210-219
2002
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/HabibiTG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/HabibiTG02
Ali Habibi, Sofiène Tahar, Adel Ghazel:
Formal Verification of a DSP Chip Using an Iterative Approach. DSD 2002: 12-19
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/PengMT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/PengMT02
Hong Peng, Yassine Mokhtari, Sofiène Tahar:
Environment Synthesis for Compositional Model Checking. ICCD 2002: 70-
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZobairT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZobairT02
M. Hasan Zobair, Sofiène Tahar:
Formal Verification of a SONET Telecom System Block. ICFEM 2002: 447-458
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Abdel-HamidTH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Abdel-HamidTH02
Amr Talaat Abdel-Hamid, Sofiène Tahar, John Harrison:
Enabling Hardware Verification through Design Changes. ICFEM 2002: 459-470
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AkbarpourDT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AkbarpourDT02
Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar:
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. IFM 2002: 185-204
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/XiongCTB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/XiongCTB02
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford:
Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002: 205-224
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/2002
Victor Carreño, César A. Muñoz, Sofiène Tahar:
Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2410, Springer 2002, ISBN 3-540-44039-9 [contents]
2001
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcom/WengLXT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcom/WengLXT01
Jian F. Weng, Tho Le-Ngoc, Guo Q. Xue, Sofiène Tahar:
Performance of various multistage interference cancellation schemes for asynchronous QPSK/DS/CDMA over multipath Rayleigh fading channels. IEEE Trans. Commun. 49(5): 774-778 (2001)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/KortTC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/KortTC01
Iskander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/BarakatainTLG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/BarakatainTLG01
Leila Barakatain, Sofiène Tahar, Jean Lamarche, Jean-Marc Gendreau:
Practical approaches to the verification of a telecom megacell using FormalCheck. ACM Great Lakes Symposium on VLSI 2001: 1-6
2000
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/icl/XueWLT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/icl/XueWLT00
Guoqiang Xue, Jian F. Weng, Tho Le-Ngoc, Sofiène Tahar:
An analytical model for performance evaluation of parallel interference cancellers in CDMA systems. IEEE Commun. Lett. 4(6): 184-186 (2000)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jcn/WengLXT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcn/WengLXT00
Jian F. Weng, Tho Le-Ngoc, Guo Q. Xue, Sofiène Tahar:
Multilevel quantized soft-limiting detector for an FH-SSMA system. J. Commun. Networks 2(4): 379-388 (2000)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/PisiniTCMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/PisiniTCMS00
V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song:
Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/WengXLT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/WengXLT00
Jian F. Weng, Guo Q. Xue, Tho Le-Ngoc, Sofiène Tahar:
Analysis of Multilevel-Quantized Soft-Limiting Detector for an FH-SSMA System. ICC (3) 2000: 1380-1384
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/PengTK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/PengTK00
Hong Peng, Sofiène Tahar, Ferhat Khendek:
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. ICFEM 2000: 79-88
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/parelec/AziziAT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parelec/AziziAT00
Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar:
Sequential and Distributed Simulations Using Java Threads. PARELEC 2000: 237-243

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/XueWLT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/XueWLT99
Guoqiang Xue, Jianfeng Weng, Tho Le-Ngoc, Sofiène Tahar:
Adaptive multistage parallel interference cancellation for CDMA. IEEE J. Sel. Areas Commun. 17(10): 1815-1827 (1999)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/WengXLT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/WengXLT99
Jianfeng Weng, Guoqiang Xue, Tho Le-Ngoc, Sofiène Tahar:
Multistage interference cancellation with diversity reception for asynchronous QPSK DS/CDMA systems over multipath fading channels. IEEE J. Sel. Areas Commun. 17(12): 2162-2180 (1999)
[j4]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/TaharC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/TaharC99
Sofiène Tahar, Paul Curzon:
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nord. J. Comput. 6(4): 372-402 (1999)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/TaharSCZLM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/TaharSCZLM99
Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed:
Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(7): 956-972 (1999)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/BalakrishnanT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/BalakrishnanT99
Subhashini Balakrishnan, Sofiène Tahar:
A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs. Great Lakes Symposium on VLSI 1999: 284-287
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/WengXLT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/WengXLT99
Jianfeng Weng, Guoqiang Xue, Tho Le-Ngoc, Sofiène Tahar:
Multistage interference cancellation with diversity reception for QPSK asynchronous DS/CDMA system over multipath fading channels. ICC 1999: 78-82
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/XueWLT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/XueWLT99
Guoqiang Xue, Jianfeng Weng, Tho Le-Ngoc, Sofiène Tahar:
Adaptive multistage parallel interference cancellation for CDMA. ICC 1999: 917-921
[c15]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/AziziAT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/AziziAT99
Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar:
Multithreading-based Coverification Technique of HW/SW Systems. PDPTA 1999: 1999-2005
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/XiongCT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/XiongCT99
Haiyan Xiong, Paul Curzon, Sofiène Tahar:
Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310
1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TaharK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TaharK98
Sofiène Tahar, Ramayya Kumar:
A Practical Methodology for the Formal Verification of RISC Processors. Formal Methods Syst. Des. 13(2): 159-225 (1998)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TaharCL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TaharCL98
Sofiène Tahar, Paul Curzon, Jianping Lu:
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/LuT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/LuT98
Jianping Lu, Sofiène Tahar:
Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS. Great Lakes Symposium on VLSI 1998: 368-
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LuTVS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LuTVS98
Jianping Lu, Sofiène Tahar, Dan Voicu, Xiaoyu Song:
Model checking of a real ATM switch. ICCD 1998: 195-198
1997
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fhv/CernyCLSTZ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhv/CernyCLSTZ97
Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou:
Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113
1996
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AnonBCCLSTXZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AnonBCCLSTXZ96
K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou:
MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ZhouSTCCL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ZhouSTCCL96
Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin:
Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/TaharZSCL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/TaharZSCL96
Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin:
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI 1996: 106-111
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LangevinTZSC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LangevinTZSC96
Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny:
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD 1996: 20-26
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/TaharC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/TaharC96
Sofiène Tahar, Paul Curzon:
A Comparison of MDG and HOL for Hardware Verification. TPHOLs 1996: 415-430
1995
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - books/daglib/0077679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0077679
Sofiène Tahar:
Eine Methode zur formalen Verifikation von RISC-Prozessoren. Karlsruhe Institute of Technology, Germany, VDI-Verlag 1995, ISBN 978-3-18-335010-0, pp. I-XII, 1-166
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/TaharK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/TaharK95
Sofiène Tahar, Ramayya Kumar:
Formal Specification and Verification Techniques for RISC Pipeline Conflicts. Comput. J. 38(2): 111-120 (1995)
1994
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/eurodac/KumarT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/KumarT94
Ramayya Kumar, Sofiène Tahar:
Formal verification of pipeline conflicts in RISC processors. EURO-DAC 1994: 284-289
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/TaharK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/TaharK94
Sofiène Tahar, Ramayya Kumar:
Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. TPHOLs 1994: 424-439
1993
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/TaharK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/TaharK93
Sofiène Tahar, Ramayya Kumar:
Towards a Methodology for the Formal Hierarchical Verification. ICCD 1993: 58-62
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/TaharK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/TaharK93
Sofiène Tahar, Ramayya Kumar:
Implementing a Methodology for Formally Verifying RISC Processors in HOL. HUG 1993: 281-294

Coauthor Index

see FAQ

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.