Sofiène Tahar

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 85

Top Venues

CoRR

CICM

ACM Great Lakes Symposium on VLSI

DATE

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Nour Dekhil, Adnan Rashid, Sofiène Tahar
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM (2024)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62 (1) (2024)
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM (2024)
Maissa Elleuch, Sofiène Tahar
Formal Analysis of an IoT-Based Healthcare Application. ISCC (2023)
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)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CICM (2022)
Alain Aoun, Mahmoud Masadeh, Sofiène Tahar
On the Design of Approximate Sobel Filter. ICM (2022)
Mohamed Abdelghany, Sofiène Tahar
Formalization of Functional Block Diagrams Using HOL Theorem Proving. SBMF (2022)
Mohamed Abdelghany, Sofiène Tahar
Formal Probabilistic Risk Assessment of a Nuclear Power Plant. FTSCS (2022)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. 16 (2) (2022)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CoRR (2022)
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) (2022)
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) (2021)
Saif Najmeddin, Sonia Aïssa, Sofiène Tahar
Energy-Efficient Wireless Powered Communications with NOMA in Multi-UAV Aided Networks. VTC Fall (2021)
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) (2021)
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)
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. SCSS (2021)
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) (2021)
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) (2021)
Mohamed Abdelghany, Sofiène Tahar
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving. CoRR (2021)
Mohamed Abdelghany, Sofiène Tahar
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM (2021)
Mohamed Abdelghany, Sofiène Tahar
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks. IEEE Access 9 (2021)
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 (2021)
Saif Najmeddin, Sonia Aïssa, Sofiène Tahar
Energy-Efficient Resource Allocation for UAV-Enabled Information and Power Transfer with NOMA. GLOBECOM (2020)
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR (2020)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM (2020)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Machine Learning-Based Self-Compensating Approximate Computing. SysCon (2020)
Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar
Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM (2020)
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar
A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop. IEEE Trans. Cloud Comput. 8 (2) (2020)
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar
OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions. DATE (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
A Formally Verified HOL4 Algebra for Event Trees. CoRR (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon (2020)
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) (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR (2020)
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) (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access 7 (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Using Machine Learning for Quality Configurable Approximate Computing. DATE (2019)
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6 (3) (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access 7 (2019)
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar
A modeling and verification framework for optical quantum circuits. Formal Aspects Comput. 31 (3) (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Integrating DFT and DRBD Formalizations in HOL4. CoRR (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR (2019)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Error Analysis of Approximate Array Multipliers. CoRR (2019)
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar
Stochastic Computing with Integrated Optics. CoRR (2019)
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE (2019)
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar
Stochastic Computing with Integrated Optics. DATE (2019)
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM (2019)
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR (2019)
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM (2019)
Saif Najmeddin, Ali Bayat, Sonia Aïssa, Sofiène Tahar
Energy-Efficient Resource Allocation for DAV-Enabled Wireless Powered Communications. WCNC (2019)
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)
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) (2018)
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) (2018)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI (2018)
Ibtissem Seghaier, Sofiène Tahar
Discriminating Chaos from Non-Gaussian Noise on Analog Circuits. NEWCAS (2018)
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR (2018)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Approximation-Conscious IC Testing. ICM (2018)
Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar
Formal Analysis of Discrete-Time Systems using z-Transform. FLAP 5 (4) (2018)
Mahmoud Masadeh, Osman Hasan, Sofiène Tahar
Comparative Study of Approximate Multipliers. CoRR (2018)
Ibtissem Seghaier, Sofiène Tahar
Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects. NEWCAS (2018)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59 (2017)
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar
Task Scheduling in Big Data Platforms: A Systematic Literature Review. J. Syst. Softw. 134 (2017)
Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev
Formal Analysis of Information Flow in HOL. SETTA (2017)
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)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Enhancing analog yield optimization for variation-aware circuits sizing. DATE (2017)
Umair Siddique, Sofiène Tahar
Formal verification of stability and chaos in periodic optical systems. J. Comput. Syst. Sci. 88 (2017)
Ibtissem Seghaier, Sofiène Tahar
Intertwined Global Optimization Based Reachability Analysis. VECoS (2017)
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR (2017)
Liya Liu, Osman Hasan, Sofiène Tahar
Formalization of Birth-Death and IID processes in higher-order logic. SysCon (2017)
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 (2017)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV (2016)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS (2016)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Dependability Modeling and Analysis: A Survey. CICM (2016)
Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar
Hierarchical Verification of Quantum Circuits. NFM (2016)
Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
Formalization of Normal Random Variables in HOL. CICM (2016)
Umair Siddique, Sofiène Tahar
On the formal analysis of Gaussian optical systems in HOL. Formal Aspects Comput. 28 (5) (2016)
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) (2016)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formal Dependability Modeling and Analysis: A Survey. CoRR (2016)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. 18 (2016)
Taieb Lamine Ben Cheikh, Alexandra Aguiar, Sofiène Tahar, Gabriela Nicolescu
Tuning framework for stencil computation in heterogeneous parallel platforms. J. Supercomput. 72 (2) (2016)
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS (2016)
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS (2016)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Towards enhancing analog circuits sizing using SMT-based techniques. DAC (2015)
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)
Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar
On the Formal Verification of Optical Quantum Gates in HOL. FMICS (2015)
Abduljalil Mohamed, Mohamed Salah Hamdi, Sofiène Tahar
A Machine Learning Approach for Big Data in Oil and Gas Pipelines. FiCloud (2015)
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar
Predicting Scheduling Failures in the Cloud. CoRR (2015)
Mbarka Soualhia, Foutse Khomh, Sofiène Tahar
ATLAS: An Adaptive Failure-aware Scheduler for Hadoop. CoRR (2015)
Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
On the Formal Analysis of Photonic Signal Processing Systems. FMICS (2015)
Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson
JCHARMING: A bug reproduction approach using crash traces and directed model checking. SANER (2015)
Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
Formal Analysis of Power Electronic Systems. ICFEM (2015)
Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM (2015)
Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar
Enabling Symbolic and Numerical Computations in HOL Light. CICM (2015)
Waqar Ahmad, Osman Hasan, Sofiène Tahar
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR (2015)
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)
Umair Siddique, Osman Hasan, Sofiène Tahar
Formal modeling and verification of integrated photonic systems. SysCon (2015)
Umair Siddique, Osman Hasan, Sofiène Tahar
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM (2015)

Sofiène Tahar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sofiène Tahar