Towards a Methodology for the Formal Hierarchical Verification. - Sofiène Tahar; Ramayya Kumar (ICCD, 1993)

Implementing a Methodology for Formally Verifying RISC Processors in HOL. - Sofiène Tahar; Ramayya Kumar (HUG, 1993)

Formal verification of pipeline conflicts in RISC processors. - Ramayya Kumar; Sofiène Tahar (EURO-DAC, 1994)

Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL. - Sofiène Tahar; Ramayya Kumar (TPHOLs, 1994)

Eine Methode zur formalen Verifikation von RISC-Prozessoren. - Sofiène Tahar (VDI-Verlag, 1995)

Formal Specification and Verification Techniques for RISC Pipeline Conflicts. - Sofiène Tahar; Ramayya Kumar (Comput. J., 1995)

MDG Tools for the Verification of RTL Designs. - K. D. Anon; N. Boulerice; Eduard Cerny; Francisco Corella; Michel Langevin; Xiaoyu Song; Sofiène Tahar; Ying Xu; Zijian Zhou 001 (CAV, 1996)

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. - Zijian Zhou 001; Xiaoyu Song; Sofiène Tahar; Eduard Cerny; Francisco Corella; Michel Langevin (FMCAD, 1996)

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. - Sofiène Tahar; Zijian Zhou 001; Xiaoyu Song; Eduard Cerny; Michel Langevin (Great Lakes Symposium on VLSI, 1996)

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. - Michel Langevin; Sofiène Tahar; Zijian Zhou 001; Xiaoyu Song; Eduard Cerny (ICCD, 1996)

A Comparison of MDG and HOL for Hardware Verification. - Sofiène Tahar; Paul Curzon (TPHOLs, 1996)

Verification with Abstract State Machines Using MDGs. - Eduard Cerny; Francisco Corella; Michel Langevin; Xiaoyu Song; Sofiène Tahar; Zijian Zhou 001 (Formal Hardware Verification, 1997)

Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. - Sofiène Tahar; Paul Curzon; Jianping Lu (FMCAD, 1998)

Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS. - Jianping Lu; Sofiène Tahar (Great Lakes Symposium on VLSI, 1998)

Model checking of a real ATM switch. - Jianping Lu; Sofiène Tahar; Dan Voicu; Xiaoyu Song (ICCD, 1998)

A Practical Methodology for the Formal Verification of RISC Processors. - Sofiène Tahar; Ramayya Kumar (Formal Methods Syst. Des., 1998)

A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs. - Subhashini Balakrishnan; Sofiène Tahar (Great Lakes Symposium on VLSI, 1999)

Multistage interference cancellation with diversity reception for QPSK asynchronous DS/CDMA system over multipath fading channels. - Jianfeng Weng; Guoqiang Xue; Tho Le-Ngoc; Sofiène Tahar (ICC, 1999)

Multithreading-based Coverification Technique of HW/SW Systems. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PDPTA, 1999)

Importing MDG Verification Results into HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar (TPHOLs, 1999)

Multistage interference cancellation with diversity reception for asynchronous QPSK DS/CDMA systems over multipath fading channels. - Jianfeng Weng; Guoqiang Xue; Tho Le-Ngoc; Sofiène Tahar (IEEE J. Sel. Areas Commun., 1999)

Adaptive multistage parallel interference cancellation for CDMA. - Guoqiang Xue; Jianfeng Weng; Tho Le-Ngoc; Sofiène Tahar (IEEE J. Sel. Areas Commun., 1999)

Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. - Sofiène Tahar; Paul Curzon (Nord. J. Comput., 1999)

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. - Sofiène Tahar; Xiaoyu Song; Eduard Cerny; Zijian Zhou 001; Michel Langevin; Otmane Aït Mohamed (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Formal hardware verification by integrating HOL and MDG. - V. K. Pisini; Sofiène Tahar; Paul Curzon; Otmane Aït Mohamed; Xiaoyu Song (ACM Great Lakes Symposium on VLSI, 2000)

Analysis of Multilevel-Quantized Soft-Limiting Detector for an FH-SSMA System. - Jian F. Weng; Guo Q. Xue; Tho Le-Ngoc; Sofiène Tahar (ICC (3), 2000)

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. - Hong Peng; Sofiène Tahar; Ferhat Khendek (ICFEM, 2000)

Sequential and Distributed Simulations Using Java Threads. - Mostafa Azizi; El Mostapha Aboulhamid; Sofiène Tahar (PARELEC, 2000)

An analytical model for performance evaluation of parallel interference cancellers in CDMA systems. - Guoqiang Xue; Jian F. Weng; Tho Le-Ngoc; Sofiène Tahar (IEEE Commun. Lett., 2000)

Multilevel quantized soft-limiting detector for an FH-SSMA system. - Jian F. Weng; Tho Le-Ngoc; Guo Q. Xue; Sofiène Tahar (J. Commun. Networks, 2000)

Hierarchical Verification Using an MDG-HOL Hybrid Tool. - Iskander Kort; Sofiène Tahar; Paul Curzon (CHARME, 2001)

Practical approaches to the verification of a telecom megacell using FormalCheck. - Leila Barakatain; Sofiène Tahar; Jean Lamarche; Jean-Marc Gendreau (ACM Great Lakes Symposium on VLSI, 2001)

Performance of various multistage interference cancellation schemes for asynchronous QPSK/DS/CDMA over multipath Rayleigh fading channels. - Jian F. Weng; Tho Le-Ngoc; Guo Q. Xue; Sofiène Tahar (IEEE Trans. Commun., 2001)

Formal Verification of a DSP Chip Using an Iterative Approach. - Ali Habibi; Sofiène Tahar; Adel Ghazel (DSD, 2002)

Environment Synthesis for Compositional Model Checking. - Hong Peng; Yassine Mokhtari; Sofiène Tahar (ICCD, 2002)

Enabling Hardware Verification through Design Changes. - Amr Talaat Abdel-Hamid; Sofiène Tahar; John Harrison 001 (ICFEM, 2002)

Formal Verification of a SONET Telecom System Block. - M. Hasan Zobair; Sofiène Tahar (ICFEM, 2002)

Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. - Behzad Akbarpour; Abdelkader Dekdouk; Sofiène Tahar (IFM, 2002)

Formally Linking MDG and HOL Based on a Verified MDG System. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (IFM, 2002)

Interfacing ASM with the MDG Tool. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (Abstract State Machines, 2003)

On the Correctness of an Intrusion-Tolerant Group Communication Protocol. - Mohamed Layouni; Jozef Hooman; Sofiène Tahar (CHARME, 2003)

The Application of Formal Verification to SPW Designs. - Behzad Akbarpour; Sofiène Tahar (DSD, 2003)

Language emptiness checking using MDGs. - Fang Wang; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2003)

Modeling System C Fixed-Point Arithmetic in HOL. - Behzad Akbarpour; Sofiène Tahar (ICFEM, 2003)

Compositional Verification of a Switch Fabric from Nortel Networks. - Hong Peng; Sofiène Tahar; Yassine Mokhtari (ICFEM, 2003)

IP Watermarking Techniques: Survey and Comparison. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (IWSOC, 2003)

A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design. - Ali Habibi; Sofiène Tahar (IWSOC, 2003)

Formal Verification of ASM Designs Using the MDG Tool. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (SEFM, 2003)

Hierarchical formal verification using a hybrid tool. - Skander Kort; Sofiène Tahar; Paul Curzon (Int. J. Softw. Tools Technol. Transf., 2003)

Comparison of SPIN and VIS for protocol verification. - Hong Peng; Sofiène Tahar; Ferhat Khendek (Int. J. Softw. Tools Technol. Transf., 2003)

Providing Automated Verification in HOL Using MDGs. - Tarek Mhamdi; Sofiène Tahar (ATVA, 2004)

First-Order LTL Model Checking Using MDGs. - Fang Wang; Sofiène Tahar; Otmane Aït Mohamed (ATVA, 2004)

On the Design and Verification Methodology of the Look-Aside Interface. - Ali Habibi; Asif Iqbal Ahmed; Otmane Aït Mohamed; Sofiène Tahar (DATE, 2004)

Enabling SystemC Verification using Abstract State Machines. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (FDL, 2004)

A Methodology for the Formal Verification of FFT Algorithms in HOL. - Behzad Akbarpour; Sofiène Tahar (FMCAD, 2004)

Towards an efficient assertion based verification of SystemC designs. - Ali Habibi; Sofiène Tahar (HLDVT, 2004)

Formal verification of an SoC platform protocol converter. - Jounaïdi Ben Hassen; Sofiène Tahar (ISCAS (5), 2004)

Assertion based verification of PSL for SystemC designs. - Ali Habibi; Amjad Gawanmeh; Sofiène Tahar (SoC, 2004)

Design for verification of a PCI bus in SystemC. - Karim Oumalou; Ali Habibi; Sofiène Tahar (SoC, 2004)

Error Analysis of Digital Filters Using Theorem Proving. - Behzad Akbarpour; Sofiène Tahar (TPHOLs, 2004)

A Survey on IP Watermarking Techniques. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (Des. Autom. Embed. Syst., 2004)

MDG-Based State Enumeration By Retiming And Circuit Transformation. - Otmane Aït Mohamed; Xiaoyu Song; Eduard Cerny; Sofiène Tahar; Zijian Zhou 001 (J. Circuits Syst. Comput., 2004)

Embedding and Verification of PSL using AsmL. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (Abstract State Machines, 2005)

AsmL Semantics in Fixpoint. - Ali Habibi; Sofiène Tahar (Abstract State Machines, 2005)

An Approach for the Verification of SystemC Designs Using AsmL. - Ali Habibi; Sofiène Tahar (ATVA, 2005)

A Public-Key Watermarking Technique for IP Designs. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (DATE, 2005)

Design for Verification of SystemC Transaction Level Models. - Ali Habibi; Sofiène Tahar (DATE, 2005)

On the formal verification of a SystemC Packet switch model. - Ali Habibi; Sofiène Tahar (ICECS, 2005)

On the Transformation of SystemC to AsmL Using Abstract Interpretation. - Ali Habibi; Sofiène Tahar (AIOOL@VMCAI, 2005)

Formalization of Fixed-Point Arithmetic in HOL. - Behzad Akbarpour; Sofiène Tahar; Abdelkader Dekdouk (Formal Methods Syst. Des., 2005)

Finite State Machine IP Watermarking: A Tutorial. - Amr Talaat Abdel-Hamid; Sofiène Tahar; El Mostapha Aboulhamid (AHS, 2006)

Generating finite state machines from SystemC. - Ali Habibi; Haja Moinudeen; Sofiène Tahar (DATE Designers' Forum, 2006)

Efficient assertion based verification using TLM. - Ali Habibi; Sofiène Tahar; Amer Samarah; Donglin Li; Otmane Aït Mohamed (DATE, 2006)

On the numerical verification of probabilistic rewriting systems. - Jounaïdi Ben Hassen; Sofiène Tahar (DATE, 2006)

Formal Analysis and Verification of an OFDM Modem Design using HOL. - Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar (FMCAD, 2006)

Design for Verification of the PCI-X Bus. - Haja Moinudeen; Ali Habibi; Sofiène Tahar (FMCAD, 2006)

A practical approach for monitoring analog circuits. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (ACM Great Lakes Symposium on VLSI, 2006)

Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. - Amer Samarah; Ali Habibi; Sofiène Tahar; Nawwaf Kharma (HLDVT, 2006)

Towards a Faster Simulation of SystemC Designs. - Ali Habibi; Haja Moinudeen; Amer Samarah; Sofiène Tahar (ISVLSI, 2006)

Hybrid verification integrating HOL theorem proving with MDG model checking. - Rabeb Mizouni; Sofiène Tahar; Paul Curzon (Microelectron. J., 2006)

An approach for the formal verification of DSP designs using Theorem proving. - Behzad Akbarpour; Sofiène Tahar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Design and verification of SystemC transaction-level models. - Ali Habibi; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2006)

Rank Theorems for Forward Secrecy in Group Key Management Protocols. - Amjad Gawanmeh; Sofiène Tahar (AINA Workshops (1), 2007)

Formalization of Continuous Probability Distributions. - Osman Hasan; Sofiène Tahar (CADE, 2007)

A symbolic methodology for the verification of analog and mixed signal designs. - Ghiath Al Sammane; Mohamed H. Zaki; Sofiène Tahar (DATE, 2007)

Autometic Generation of SystemC Transactors from AsmL Specification. - Tareq Hasan Khan; Ali Habibi; Sofiène Tahar; Otmane Aït Mohamed (FDL, 2007)

Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. - Ghiath Al Sammane; Mohamed H. Zaki; Zhi Jie Dong; Sofiène Tahar (FDL, 2007)

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. - Mohamed H. Zaki; Ghiath Al Sammane; Sofiène Tahar; Guy Bois (FMCAD, 2007)

Formal Verification of Analog and Mixed Signal Designs in Mathematica. - Mohamed H. Zaki; Ghiath Al Sammane; Sofiène Tahar (International Conference on Computational Science (2), 2007)

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. - Osman Hasan; Sofiène Tahar (IFM, 2007)

Qualitative Abstraction based Verification for Analog Circuits. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (ISoLA, 2007)

Verification of Expectation Properties for Discrete Random Variables in HOL. - Osman Hasan; Sofiène Tahar (TPHOLs, 2007)

Providing a formal linkage between MDG and HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (Formal Methods Syst. Des., 2007)

Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. - Mohamed Layouni; Jozef Hooman; Sofiène Tahar (Int. J. Netw. Secur., 2007)

Error analysis of digital filters using HOL theorem proving. - Behzad Akbarpour; Sofiène Tahar (J. Appl. Log., 2007)

A Design for Verification Approach Using an Embedding of PSL in aSML. - Amjad Gawanmeh; Sofiène Tahar; Haja Moinudeen; Ali Habibi (J. Circuits Syst. Comput., 2007)

Formalization of the Standard Uniform random variable. - Osman Hasan; Sofiène Tahar (Theor. Comput. Sci., 2007)

Fragile IP Watermarking Techniques. - Amr Talaat Abdel-Hamid; Sofiène Tahar (AHS, 2008)

A New Approach for the Construction of Multiway Decision Graphs. - Yassine Mokhtari; Sa'ed Abed; Otmane Aït Mohamed; Sofiène Tahar; Xiaoyu Song (ICTAC, 2008)

Performance Analysis of ARQ Protocols using a Theorem Prover. - Osman Hasan; Sofiène Tahar (ISPASS, 2008)

Event-B based invariant checking of secrecy in group key protocols. - Amjad Gawanmeh; Sofiène Tahar; Leila Jemni Ben Ayed (LCN, 2008)

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. - Abu Nasser Mohammed Abdullah; Behzad Akbarpour; Sofiène Tahar (FMWS@CONCUR, 2008)

Probabilistic Analysis of Wireless Systems Using Theorem Proving. - Osman Hasan; Sofiène Tahar (FMWS@CONCUR, 2008)

Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. - Osman Hasan; Sofiène Tahar (J. Autom. Reason., 2008)

Formal verification of ASMs using MDGs. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (J. Syst. Archit., 2008)

Formal verification of analog and mixed signal designs: A survey. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (Microelectron. J., 2008)

IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level. - Aijiao Cui; Chip-Hong Chang; Sofiène Tahar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Formal Reasoning about Expectation Properties for Continuous Random Variables. - Osman Hasan; Naeem Abbasi; Behzad Akbarpour; Sofiène Tahar; Reza Akbarpour (FM, 2009)

Formal verification of analog designs using MetiTarski. - William Denman; Behzad Akbarpour; Sofiène Tahar; Mohamed H. Zaki; Lawrence C. Paulson (FMCAD, 2009)

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. - Osman Hasan; Naeem Abbasi; Sofiène Tahar (IFM, 2009)

Radio Access Network traffic generation for Mobile Switching Center. - Suliman Albasheir; Sofiène Tahar; Claude Gauthier; Jean Roussel Personna (ISCC, 2009)

Formal Analysis of Optical Waveguides in HOL. - Osman Hasan; Sanaz Khan Afshar; Sofiène Tahar (TPHOLs, 2009)

Rank Functions Based Inference System for Group Key Management Protocols Verification. - Amjad Gawanmeh; Adel Bouhoula; Sofiène Tahar (Int. J. Netw. Secur., 2009)

Integrating Abstraction Techniques for Formal Verification of Analog Designs. - Mohamed H. Zaki; William Denman; Sofiène Tahar; Guy Bois (J. Aerosp. Comput. Inf. Commun., 2009)

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. - Osman Hasan; Sofiène Tahar (J. Autom. Reason., 2009)

Performance analysis of real-time rewriting models. - Jounaidi Ben Hassan; Osman Hasan; Tarek Sadani; Sofiène Tahar (AICCSA, 2010)

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. - Osman Hasan; Sofiène Tahar (ASM, 2010)

10271 Abstracts Collection - Verification over discrete-continuous boundaries. - Bernd Becker 001; Luca Cardelli; Holger Hermanns; Sofiène Tahar (Verification over discrete-continuous boundaries, 2010)

Formal verification of analog circuits in the presence of noise and process variation. - Rajeev Narayanan; Behzad Akbarpour; Mohamed H. Zaki; Sofiène Tahar; Lawrence C. Paulson (DATE, 2010)

Welcome to ICCD 2010! - Peter-Michael Seidel; Georgi Gaydadjiev; Sofiène Tahar; Lars J. Svensson (ICCD, 2010)

On the Formalization of the Lebesgue Integration Theory in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2010)

Formal Lifetime Reliability Analysis Using Continuous Random Variables. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (WoLLIC, 2010)

Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. - Behzad Akbarpour; Amr Talaat Abdel-Hamid; Sofiène Tahar; John Harrison 001 (Comput. J., 2010)

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. - Rajeev Narayanan; Mohamed H. Zaki; Sofiène Tahar (J. Electron. Test., 2010)

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. - Osman Hasan; Sofiène Tahar (J. Comput. Sci. Technol., 2010)

Formal Reliability Analysis Using Theorem Proving. - Osman Hasan; Sofiène Tahar; Naeem Abbasi (IEEE Trans. Computers, 2010)

Formalization of Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (ATVA, 2011)

Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. - Rajeev Narayanan; Mohamed H. Zaki; Sofiène Tahar (DATE, 2011)

Welcome to ICCD 2011! - Georgi Gaydadjiev; Sofiène Tahar; Greg Byrd; Klaus Schneider 001 (ICCD, 2011)

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (ICFEM, 2011)

Modeling and verification of firewall configurations using domain restriction method. - Amjad Gawanmeh; Sofiène Tahar (ICITST, 2011)

Formalization of Entropy Measures in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ITP, 2011)

Towards Flight Control Verification Using Automated Theorem Proving. - William Denman; Mohamed H. Zaki; Sofiène Tahar; Luis Rodrigues (NASA Formal Methods, 2011)

Formal verification of bond graph modelled analogue circuits. - William Denman; Mohamed H. Zaki; Sofiène Tahar (IET Circuits Devices Syst., 2011)

Formal reliability analysis of combinational circuits using theorem proving. - Osman Hasan; Jigar Patel; Sofiène Tahar (J. Appl. Log., 2011)

Reasoning about conditional probabilities in a higher-order-logic theorem prover. - Osman Hasan; Sofiène Tahar (J. Appl. Log., 2011)

NuMDG: A New Tool for Multiway Decision Graphs Construction. - Sa'ed Abed; Yassine Mokhtari; Otmane Aït Mohamed; Sofiène Tahar (J. Comput. Sci. Technol., 2011)

A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. - Aijiao Cui; Chip-Hong Chang; Sofiène Tahar; Amr Talaat Abdel-Hamid (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

On the Formal Analysis of Geometrical Optics in HOL. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (Automated Deduction in Geometry, 2012)

Novel algorithm for detecting conflicts in firewall rules. - Amjad Gawanmeh; Sofiène Tahar (CCECE, 2012)

Formal verification of the heavy hitter problem. - Ghassen Helali; Sofiène Tahar; Osman Hasan (CCECE, 2012)

Towards improving simulation of analog circuits using model order reduction. - Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (DATE, 2012)

Verifying jitter in an analog and mixed signal design using dynamic time warping. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (DATE, 2012)

Quantitative Analysis of Information Flow Using Theorem Proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ICFEM, 2012)

Parallelization strategies of the canny edge detector for multi-core CPUs and many-core GPUs. - Taieb Lamine Ben Cheikh; Giovanni Beltrame; Gabriela Nicolescu; Farida Cheriet; Sofiène Tahar (NEWCAS, 2012)

Using LCSS algorithm for circuit level verification of analog designs. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2012)

Formal error analysis and verification of a frequency domain equalizer. - Anis Souari; Sofiène Tahar; Amjad Gawanmeh (NEWCAS, 2012)

Formal Analysis of Soft Errors using Theorem Proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (SCSS, 2012)

On the Verification of a WiMax Design Using Symbolic Simulation. - Salim Ismail Al-Akhras; Sofiène Tahar; Gabriela Nicolescu; Michel Langevin; Pierre G. Paulin (SCSS, 2012)

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (SCSS, 2012)

Formal Reasoning about Classified Markov Chains in HOL. - Liya Liu; Osman Hasan; Vincent Aravantinos; Sofiène Tahar (ITP, 2013)

Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

Formal Stability Analysis of Optical Resonators. - Umair Siddique; Vincent Aravantinos; Sofiène Tahar (NASA Formal Methods, 2013)

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy. - Ghassen Helali; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Formal Analysis of Memory Contention in a Multiprocessor System. - Liya Liu; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Towards the Formal Performance Analysis of Wireless Sensor Networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (WETICE, 2013)

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (J. Comput. Sci. Technol., 2013)

Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (ACM Trans. Embed. Comput. Syst., 2013)

Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. - Rajeev Narayanan; Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2013)

Real time verification of firewalls with dynamic rulebase update. - Amjad Gawanmeh; Sofiène Tahar (CCECE, 2014)

Performance evaluation of time and frequency domain equalizers. - Anis Souari; Mohamed Lassaad Ammari; Amjad Gawanmeh; Sofiène Tahar (CCECE, 2014)

A survey on the application of Neural Networks in the safety assessment of oil and gas pipelines. - Mohamed Layouni; Sofiène Tahar; Mohamed Salah Hamdi (CIES, 2014)

Towards the formal analysis of microresonators based photonic systems. - Umair Siddique; Sofiène Tahar (DATE, 2014)

A semi-formal approach for analog circuits behavioral properties verification. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

A qualitative simulation approach for verifying PLL locking property. - Ibtissem Seghaier; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

Generation of reduced analog circuit models using transient simulation traces. - Paul Winkler; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. - Usman Pervez; Osman Hasan; Khalid Latif 001; Sofiène Tahar; Amjad Gawanmeh; Mohamed Salah Hamdi (Healthcom, 2014)

On the Formal Analysis of HMM Using Theorem Proving. - Liya Liu; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (ICFEM, 2014)

Towards ray optics formalization of optical imaging systems. - Umair Siddique; Sofiène Tahar (IRI, 2014)

Implicational Rewriting Tactics in HOL. - Vincent Aravantinos; Sofiène Tahar (ITP, 2014)

Formal Verification of Optical Quantum Flip Gate. - Mohamed Yousri Mahmoud; Vincent Aravantinos; Sofiène Tahar (ITP, 2014)

On the Formalization of Z-Transform in HOL. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (ITP, 2014)

Formalization of Complex Vectors in Higher-Order Logic. - Sanaz Khan Afshar; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (CICM, 2014)

Towards the Formal Reliability Analysis of Oil and Gas Pipelines. - Waqar Ahmad; Osman Hasan; Sofiène Tahar; Mohammad Salah Hamdi (CICM, 2014)

A Framework for Formal Reasoning about Geometrical Optics. - Umair Siddique; Sofiène Tahar (CICM, 2014)

Towards the formal verification of optical interconnects. - Sanaz Khan Afshar; Osman Hasan; Sofiène Tahar (NEWCAS, 2014)

Enablingy the DC solutions characterization using a fuzzy approach. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2014)

On the Quantum Formalization of Coherent Light in HOL. - Mohamed Yousri Mahmoud; Sofiène Tahar (NASA Formal Methods, 2014)

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. - Sohaib Ahmad; Osman Hasan; Umair Siddique; Sofiène Tahar (SBMF, 2014)

An approach for lifetime reliability analysis using theorem proving. - Naeem Abbasi; Osman Hasan; Sofiène Tahar (J. Comput. Syst. Sci., 2014)

Formal Analysis of Optical Systems. - Sanaz Khan Afshar; Umair Siddique; Mohamed Yousri Mahmoud; Vincent Aravantinos; Ons Seddiki; Osman Hasan; Sofiène Tahar (Math. Comput. Sci., 2014)

Design and verification of a frequency domain equalizer. - Anis Souari; Amjad Gawanmeh; Sofiène Tahar; Mohamed Lassaad Ammari (Microelectron. J., 2014)

Towards enhancing analog circuits sizing using SMT-based techniques. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DAC, 2015)

A Machine Learning Approach for Big Data in Oil and Gas Pipelines. - Abduljalil Mohamed; Mohamed Salah Hamdi; Sofiène Tahar (FiCloud, 2015)

On the Formal Verification of Optical Quantum Gates in HOL. - Mohamed Yousri Mahmoud; Prakash Panangaden; Sofiène Tahar (FMICS, 2015)

On the Formal Analysis of Photonic Signal Processing Systems. - Umair Siddique; Sidi Mohamed Beillahi; Sofiène Tahar (FMICS, 2015)

Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2015)

Predicting Scheduling Failures in the Cloud: A Case Study with Google Clusters and Hadoop on Amazon EMR. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (HPCC/CSS/ICESS, 2015)

Formal Analysis of Power Electronic Systems. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (ICFEM, 2015)

ATLAS: An AdapTive faiLure-Aware Scheduler for Hadoop. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (IPCCC, 2015)

A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ISVLSI, 2015)

Self-Organizing Map-Based Feature Visualization and Selection for Defect Depth Estimation in Oil and Gas Pipelines. - Abduljalil Mohamed; Mohamed Salah Hamdi; Sofiène Tahar (IV, 2015)

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (IWIL@LPAR, 2015)

Formalizing Physics: Automation, Presentation and Foundation Issues. - Cezary Kaliszyk; Josef Urban; Umair Siddique; Sanaz Khan Afshar; Cvetan Dunchev; Sofiène Tahar (CICM, 2015)

Enabling Symbolic and Numerical Computations in HOL Light. - Ons Seddiki; Cvetan Dunchev; Sanaz Khan Afshar; Sofiène Tahar (CICM, 2015)

Towards the Formalization of Fractional Calculus in Higher-Order Logic. - Umair Siddique; Osman Hasan; Sofiène Tahar (CICM, 2015)

Time Performance Formal Evaluation of Complex Systems. - Valdivino Alexandre de Santiago Jr.; Sofiène Tahar (SBMF, 2015)

Formal modeling and verification of integrated photonic systems. - Umair Siddique; Osman Hasan; Sofiène Tahar (SysCon, 2015)

JCHARMING: A bug reproduction approach using crash traces and directed model checking. - Mathieu Nayrolles; Abdelwahab Hamou-Lhadj; Sofiène Tahar; Alf Larsson (SANER, 2015)

Formal reliability analysis of wireless sensor network data transport protocols using HOL. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (WiMob, 2015)

Predicting Scheduling Failures in the Cloud. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (CoRR, 2015)

Formal probabilistic analysis of detection properties in wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Formal Aspects Comput., 2015)

Evaluation of anonymity and confidentiality protocols using theorem proving. - Tarek Mhamdi; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2015)

Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries. - Hicham Chaoui; Navid Golbon; Imad Hmouz; Ridha Souissi; Sofiène Tahar (IEEE Trans. Ind. Electron., 2015)

On the Formalization of Cardinal Points of Optical Systems. - Umair Siddique; Sofiène Tahar (Formalisms for Reuse and Systems Integration, 2015)

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. - Sidi Mohamed Beillahi; Umair Siddique; Sofiène Tahar (NSV@CAV, 2016)

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (FTSCS, 2016)

Cross recurrence verification technique for process variation-resilient analog circuits. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ISCAS, 2016)

Formal Dependability Modeling and Analysis: A Survey. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (CICM, 2016)

Formalization of Normal Random Variables in HOL. - Muhammad Qasim; Osman Hasan; Maissa Elleuch; Sofiène Tahar (CICM, 2016)

Hierarchical Verification of Quantum Circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (NFM, 2016)

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (VECoS, 2016)

On the formal analysis of Gaussian optical systems in HOL. - Umair Siddique; Sofiène Tahar (Formal Aspects Comput., 2016)

Formalization of Reliability Block Diagrams in Higher-order Logic. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (J. Appl. Log., 2016)

Tuning framework for stencil computation in heterogeneous parallel platforms. - Taieb Lamine Ben Cheikh; Alexandra Aguiar; Sofiène Tahar; Gabriela Nicolescu (J. Supercomput., 2016)

Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. - Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2016)

Enhancing analog yield optimization for variation-aware circuits sizing. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DATE, 2017)

Formal Analysis of Information Flow in HOL. - Ghassen Helali; Sofiène Tahar; Osman Hasan; Tsvetan Dunchev (SETTA, 2017)

Formalization of Birth-Death and IID processes in higher-order logic. - Liya Liu; Osman Hasan; Sofiène Tahar (SysCon, 2017)

Intertwined Global Optimization Based Reachability Analysis. - Ibtissem Seghaier; Sofiène Tahar (VECoS, 2017)

Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning. - Mohamed Layouni; Mohamed Salah Hamdi; Sofiène Tahar (Appl. Soft Comput., 2017)

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (CoRR, 2017)

Exploiting bounds optimization for the semi-formal verification of analog circuits. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (Integr., 2017)

Formal verification of stability and chaos in periodic optical systems. - Umair Siddique; Sofiène Tahar (J. Comput. Syst. Sci., 2017)

Task Scheduling in Big Data Platforms: A Systematic Literature Review. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (J. Syst. Softw., 2017)

A bug reproduction approach based on directed model checking and crash traces. - Mathieu Nayrolles; Abdelwahab Hamou-Lhadj; Sofiène Tahar; Alf Larsson (J. Softw. Evol. Process., 2017)

Comparative Study of Approximate Multipliers. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2018)

Approximation-Conscious IC Testing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ICM, 2018)

Discriminating Chaos from Non-Gaussian Noise on Analog Circuits. - Ibtissem Seghaier; Sofiène Tahar (NEWCAS, 2018)

Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects. - Ibtissem Seghaier; Sofiène Tahar (NEWCAS, 2018)

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (NFM, 2018)

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (CoRR, 2018)

Formal Analysis of Discrete-Time Systems using z-Transform. - Umair Siddique; Mohamed Yousri Mahmoud; Sofiène Tahar (FLAP, 2018)

Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. - Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid (Int. J. Crit. Comput. Based Syst., 2018)

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Stochastic Computing with Integrated Optics. - Hassnaa El-Derhalli; Sébastien Le Beux; Sofiène Tahar (DATE, 2019)

Using Machine Learning for Quality Configurable Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (DATE, 2019)

Formal Verification of Cyber-Physical Systems Using Theorem Proving. - Adnan Rashid; Umair Siddique; Sofiène Tahar (FTSCS, 2019)

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ICFEM, 2019)

On the formalization of importance measures using HOL theorem proving. - Waqar Ahmad; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (FormaliSE@ICSE, 2019)

Formal Verification of Rewriting Rules for Dynamic Fault Trees. - Yassmeen Elderhalli; Matthias Volk 001; Osman Hasan; Joost-Pieter Katoen; Sofiène Tahar (SEFM, 2019)

Energy-Efficient Resource Allocation for DAV-Enabled Wireless Powered Communications. - Saif Najmeddin; Ali Bayat; Sonia Aïssa; Sofiène Tahar (WCNC, 2019)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (IEEE Access, 2019)

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (IEEE Access, 2019)

On the Formalization of Importance Measures using HOL Theorem Proving. - Waqar Ahmed; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Error Analysis of Approximate Array Multipliers. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (CoRR, 2019)

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Integrating DFT and DRBD Formalizations in HOL4. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

A modeling and verification framework for optical quantum circuits. - Sidi Mohamed Beillahi; Mohamed Yousri Mahmoud; Sofiène Tahar (Formal Aspects Comput., 2019)

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (FLAP, 2019)

OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions. - Hassnaa El-Derhalli; Sébastien Le Beux; Sofiène Tahar (DATE, 2020)

Energy-Efficient Resource Allocation for UAV-Enabled Information and Power Transfer with NOMA. - Saif Najmeddin; Sonia Aïssa; Sofiène Tahar (GLOBECOM, 2020)

Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. - Mahmoud Masadeh; Alain Aoun; Osman Hasan; Sofiène Tahar (ICM, 2020)

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CICM, 2020)

ETMA: An Efficient Tool for Event Trees Modeling and Analysis. - Mohamed Abdelghany; Waqar Ahmad; Sofiène Tahar; Sowmith Nethula (SysCon, 2020)

Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. - Mahmoud Masadeh; Alain Aoun; Osman Hasan; Sofiène Tahar (SysCon, 2020)

Machine Learning-Based Self-Compensating Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (SysCon, 2020)

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). - Adnan Rashid; Umair Siddique; Sofiène Tahar (CoRR, 2020)

A Formally Verified HOL4 Algebra for Event Trees. - Mohamed Abdelghany; Waqar Ahmad; Sofiène Tahar (CoRR, 2020)

ETMA: A New Software for Event Tree Analysis with Application to Power Protection. - Mohamed Abdelghany; Waqar Ahmad; Sofiène Tahar; Sowmith Nethula (CoRR, 2020)

Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. - Waqar Ahmad; Osman Hasan; Sofiène Tahar (Formal Aspects Comput., 2020)

Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (IEEE Trans. Cloud Comput., 2020)

Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. - Yassmeen Elderhalli; Nahla A. El-Araby; Osman Hasan; Axel Jantsch; Sofiène Tahar (ISVLSI, 2021)

Formalization of RBD-Based Cause Consequence Analysis in HOL. - Mohamed Abdelghany; Sofiène Tahar (CICM, 2021)

Energy-Efficient Wireless Powered Communications with NOMA in Multi-UAV Aided Networks. - Saif Najmeddin; Sonia Aïssa; Sofiène Tahar (VTC Fall, 2021)

Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks. - Mohamed Abdelghany; Sofiène Tahar (IEEE Access, 2021)

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving. - Mohamed Abdelghany; Sofiène Tahar (CoRR, 2021)

Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities. - Hassnaa El-Derhalli; Léa Constans; Sébastien Le Beux; Alfredo De Rossi; Fabrice Raineri; Sofiène Tahar (CoRR, 2021)

Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. - Mbarka Soualhia; Foutse Khomh; Sofiène Tahar (SCSS, 2021)

A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. - Mahmoud Masadeh; Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ACM J. Emerg. Technol. Comput. Syst., 2021)

Design Space Exploration of Stochastic Computing Architectures Implemented Using Integrated Optics. - Hassnaa El-Derhalli; Sébastien Le Beux; Sofiène Tahar (IEEE Trans. Emerg. Top. Comput., 2021)

Energy-Efficient Resource Allocation in Multi-UAV Networks With NOMA. - Saif Najmeddin; Sonia Aïssa; Sofiène Tahar (IEEE Trans. Green Commun. Netw., 2021)

Machine-Learning-Based Self-Tunable Design of Approximate Computing. - Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2021)

Formal Probabilistic Risk Assessment of a Nuclear Power Plant. - Mohamed Abdelghany; Sofiène Tahar (FTSCS, 2022)

On the Design of Approximate Sobel Filter. - Alain Aoun; Mahmoud Masadeh; Sofiène Tahar (ICM, 2022)

On the Formalization of the Heat Conduction Problem in HOL. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (CICM, 2022)

Formalization of Functional Block Diagrams Using HOL Theorem Proving. - Mohamed Abdelghany; Sofiène Tahar (SBMF, 2022)

Towards All-optical Stochastic Computing Using Photonic Crystal Nanocavities. - Hassnaa El-Derhalli; Léa Constans; Sébastien Le Beux; Alfredo De Rossi; Fabrice Raineri; Sofiène Tahar (ACM J. Emerg. Technol. Comput. Syst., 2022)

Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. - Mohamed Abdelghany; Waqar Ahmad; Sofiène Tahar (IEEE Syst. J., 2022)

A Machine Learning Based Load Value Approximator Guided by the Tightened Value Locality. - Alain Aoun; Mahmoud Masadeh; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2023)

Formal Analysis of an IoT-Based Healthcare Application. - Maissa Elleuch; Sofiène Tahar (ISCC, 2023)

Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. - Kubra Aksoy; Adnan Rashid; Sofiène Tahar (ICFEM, 2024)

Formalizing Potential Flows Using the HOL Light Theorem Prover. - Elif Deniz; Sofiène Tahar (ICFEM, 2024)

Arithmetic Calculus Modeling for Approximate Circuits. - Alain Aoun; Mahmoud Masadeh; Osman Hasan; Sofiène Tahar (ICM, 2024)

Machine Learning based Memory Load Value Predictor for Multimedia Applications. - Alain Aoun; Mahmoud Masadeh; Sofiène Tahar (ICM, 2024)

Energy-Efficient Approximate Squaring Unit. - Mahmoud Masadeh; Alain Aoun; Sofiène Tahar (ICM, 2024)

A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. - Mohamed Abdelghany; Adnan Rashid; Sofiène Tahar (CICM, 2024)

HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. - Nour Dekhil; Adnan Rashid; Sofiène Tahar (CICM, 2024)

Formal Analysis of Vehicular Crash Severity Using KeYmaera X. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SCSS, 2024)

Formal Verification of ABCD Parameters Based Models for Transmission Lines. - Elif Deniz; Adnan Rashid; Osman Hasan; Sofiène Tahar (SCSS, 2024)

Formal Verification of Coupled Transmission Lines using Theorem Proving. - Elif Deniz; Adnan Rashid; Sofiène Tahar (VECoS, 2024)

Dynamic dependability analysis of shuffle-exchange networks. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2024)

Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving. - Kubra Aksoy; Adnan Rashid; Osman Hasan; Sofiène Tahar (SysCon, 2025)

Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SysCon, 2025)

Extending XReason: Formal Explanations for Adversarial Detection. - Amira Jemaa; Adnan Rashid; Sofiène Tahar (CoRR, 2025)

Proof Recommendation System for the HOL4 Theorem Prover. - Nour Dekhil; Adnan Rashid; Sofiène Tahar (CoRR, 2025)

ML-based Load Value Approximator for Efficient Multimedia Processing. - Alain Aoun; Mahmoud Masadeh; Sofiène Tahar (ACM Trans. Multim. Comput. Commun. Appl., 2025)

Fuel Consumption in Platoons: A Literature Review. - Oumaima Barhoumi; Ghazal Farhani; Taufiq Rahman; Mohamed H. Zaki; Sofiène Tahar; Fadi Araji (CoRR, 2025)