Sofiene Tahar

Identifiers

• name variant Sofiene Tahar 0.60 · backfill

Papers (11)

1. On the Formalization of Importance Measures using HOL Theorem Proving cs.FL · 2019 · author #4
2. Stochastic Computing with Integrated Optics physics.optics · 2019 · author #3
3. Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4 cs.LO · 2018 · author #4
4. Comparative Study of Approximate Multipliers cs.ET · 2018 · author #3
5. Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking cs.LO · 2017 · author #4
6. Formal Dependability Modeling and Analysis: A Survey cs.SE · 2016 · author #3
7. ATLAS: An Adaptive Failure-aware Scheduler for Hadoop cs.DC · 2015 · author #3
8. Predicting Scheduling Failures in the Cloud cs.DC · 2015 · author #3
9. Towards the Formal Reliability Analysis of Oil and Gas Pipelines cs.LO · 2014 · author #3
10. Formalization of Complex Vectors in Higher-Order Logic cs.LO · 2014 · author #4
11. Formal Analysis of Optical Systems cs.LO · 2014 · author #7

Mentions

• 1405.6985 #3 · backfill · confidence 0.70 Sofiene Tahar
• 1405.4034 #4 · backfill · confidence 0.70 Sofiene Tahar
• 1403.3039 #7 · backfill · confidence 0.70 Sofiene Tahar

Frequent Coauthors

• Osman Hasan 8 shared papers
• Waqar Ahmed 3 shared papers
• Foutse Khomh 2 shared papers
• Mbarka Soualhia 2 shared papers
• Sanaz Khan-Afshar 2 shared papers
• Vincent Aravantinos 2 shared papers
• Waqar Ahmad 2 shared papers
• Yassmeen Elderhalli 2 shared papers
• Hassnaa El-Derhalli 1 shared papers
• Mahmoud Masadeh 1 shared papers
• Mohamed Yousri Mahmoud 1 shared papers
• Mohammad Salah Hamdi 1 shared papers
• Ons Seddiki 1 shared papers
• S\'ebastien Le Beux (INL - CSH) 1 shared papers
• Shahid Ali Murtza 1 shared papers
• Umair Siddique 1 shared papers