Sofiène Tahar

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Extending XReason: Formal Explanations for Adversarial Detection	2024	Abdelhak Ben Jemaa Adnan Rashid Sofiène Tahar
+ PDF Chat	Proof Recommendation System for the HOL4 Theorem Prover	2024	Nour Dekhil Adnan Rashid Sofiène Tahar
+	Energy-Efficient Approximate Squaring Unit	2024	Mahmoud Masadeh Alain Aoun Sofiène Tahar
+	On the Formalization of the Heat Conduction Problem in HOL	2022	Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar
+ PDF Chat	On the Formalization of the Heat Conduction Problem in HOL	2022	Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar
+ PDF Chat	Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation	2021	Mbarka Soualhia Foutse Khomh Sofiène Tahar
+	Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities.	2021	Hassnaa El-Derhalli Léa Constans Sébastien Le Beux Alfredo De Rossi Fabrice Raineri Sofiène Tahar
+	Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving	2021	Mohamed Abdelghany Sofiène Tahar
+	Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities	2021	Hassnaa El-Derhalli Léa Constans Sébastien Le Beux Alfredo De Rossi Fabrice Raineri Sofiène Tahar
+ PDF Chat	Machine Learning-Based Self-Compensating Approximate Computing	2020	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)	2020	Adnan Rashid Umair Siddique Sofiène Tahar
+	Machine Learning-Based Self-Compensating Approximate Computing	2020	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	A Formally Verified HOL4 Algebra for Event Trees	2020	Mohamed Abdelghany Waqar Ahmad Sofiène Tahar
+	ETMA: A New Software for Event Tree Analysis with Application to Power Protection	2020	Mohamed Abdelghany Waqar Ahmad Sofiène Tahar Sowmith Nethula
+	Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)	2020	Adnan Rashid Umair Siddique Sofiène Tahar
+	Machine Learning-Based Self-Compensating Approximate Computing	2020	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Integrating DFT and DRBD Formalizations in HOL4	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar
+	Error Analysis of Approximate Array Multipliers.	2019	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+ PDF Chat	On the Formalization of Importance Measures Using HOL Theorem Proving	2019	Waqar Ahmad Shahid Ali Murtza Osman Hasan Sofiène Tahar
+	On the Formalization of Importance Measures using HOL Theorem Proving	2019	Waqar Ahmed Shahid Ali Murtza Osman Hasan Sofiène Tahar
+ PDF Chat	Stochastic Computing with Integrated Optics	2019	Hassnaa El-Derhalli Sébastien Le Beux Sofiène Tahar
+ PDF Chat	Stochastic Computing with Integrated Optics	2019	Hassnaa El-Derhalli Sébastien Le Beux Sofiène Tahar
+	A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar
+	Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar
+	On the Formalization of Importance Measures using HOL Theorem Proving	2019	Waqar Ahmed Shahid Ali Murtza Osman Hasan Sofiène Tahar
+	Stochastic Computing with Integrated Optics	2019	Hassnaa El-Derhalli Sébastien Le Beux Sofiène Tahar
+	Integrating DFT and DRBD Formalizations in HOL4	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar
+	Error Analysis of Approximate Array Multipliers	2019	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.	2018	Yassmeen Elderhalli Waqar Ahmad Osman Hasan Sofiène Tahar
+ PDF Chat	Comparative Study of Approximate Multipliers	2018	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Comparative Study of Approximate Multipliers	2018	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4	2018	Yassmeen Elderhalli Waqar Ahmad Osman Hasan Sofiène Tahar
+	Comparative Study of Approximate Multipliers	2018	Mahmoud Masadeh Osman Hasan Sofiène Tahar
+	Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking	2017	Yassmeen Elderhalli Osman Hasan Waqar Ahmad Sofiène Tahar
+	Formal Dependability Modeling and Analysis: A Survey	2016	Waqar Ahmed Osman Hasan Sofiène Tahar
+ PDF Chat	Formal Dependability Modeling and Analysis: A Survey	2016	Waqar Ahmad Osman Hasan Sofiène Tahar
+	Formal Dependability Modeling and Analysis: A Survey	2016	Waqar Ahmed Osman Hasan Sofiène Tahar
+ PDF Chat	ATLAS: An AdapTive faiLure-Aware Scheduler for Hadoop	2015	Mbarka Soualhia Foutse Khomh Sofiène Tahar
+	ATLAS: An Adaptive Failure-aware Scheduler for Hadoop	2015	Mbarka Soualhia Foutse Khomh Sofiène Tahar
+	Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation	2015	Henda Aridhi Mohamed H. Zaki Sofiène Tahar
+	Towards the Formalization of Fractional Calculus in Higher-Order Logic	2015	Umair Siddique Osman Hasan Sofiène Tahar
+	Predicting Scheduling Failures in the Cloud	2015	Mbarka Soualhia Foutse Khomh Sofiène Tahar
+ PDF Chat	Towards the Formalization of Fractional Calculus in Higher-Order Logic	2015	Umair Siddique Osman Hasan Sofiène Tahar
+	Towards the Formalization of Fractional Calculus in Higher-Order Logic	2015	Umair Siddique Osman Hasan Sofiène Tahar
+	ATLAS: An Adaptive Failure-aware Scheduler for Hadoop	2015	Mbarka Soualhia Foutse Khomh Sofiène Tahar
+	Formalization of Complex Vectors in Higher-Order Logic	2014	Sanaz Khan-Afshar Vincent Aravantinos Osman Hasan Sofiène Tahar
+	Formal Analysis of Optical Systems	2014	Sanaz Khan-Afshar Umair Siddique Mohamed Yousri Mahmoud Vincent Aravantinos Ons Seddiki Osman Hasan Sofiène Tahar
+ PDF Chat	Formal Analysis of Optical Systems	2014	Sanaz Khan-Afshar Umair Siddique Mohamed Yousri Mahmoud Vincent Aravantinos Ons Seddiki Osman Hasan Sofiène Tahar
+	A Framework for Formal Reasoning about Geometrical Optics	2014	Umair Siddique Sofiène Tahar
+	Formalization of Complex Vectors in Higher-Order Logic	2014	Sanaz Khan-Afshar Vincent Aravantinos Osman Hasan Sofiène Tahar
+	Formal Analysis of Optical Systems	2014	Sanaz Khan-Afshar Umair Siddique Mohamed Yousri Mahmoud Vincent Aravantinos Ons Seddiki Osman Hasan Sofiène Tahar
+ PDF Chat	Towards the Formal Reliability Analysis of Oil and Gas Pipelines	2014	Waqar Ahmad Osman Hasan Sofiène Tahar Mohamed Salah Hamdi
+ PDF Chat	Formalization of Complex Vectors in Higher-Order Logic	2014	Sanaz Khan Afshar Vincent Aravantinos Osman Hasan Sofiène Tahar
+ PDF Chat	Formal Analysis of Soft Errors using Theorem Proving	2013	Naeem Abbasi Osman Hasan Sofiène Tahar
+ PDF Chat	On the Verification of a WiMax Design Using Symbolic Simulation	2013	Salim Ismail Al-Akhras Sofiène Tahar Gabriela Nicolescu M. Langevin Pierre Paulin
+ PDF Chat	Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection	2013	M. Elleuch Osman Hasan Sofiène Tahar Mohamed Abid
+	Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory	2013	Mahmoud Mohamed Yousri Vincent Aravantinos Sofiène Tahar

Common Coauthors

Coauthor	Papers Together
Osman Hasan	35
Mahmoud Masadeh	9
Umair Siddique	9
Yassmeen Elderhalli	7
Waqar Ahmad	7
Vincent Aravantinos	7
Adnan Rashid	6
Hassnaa El-Derhalli	5
Mbarka Soualhia	5
Sanaz Khan-Afshar	5
Sébastien Le Beux	5
Foutse Khomh	5
Ons Seddiki	3
Shahid Ali Murtza	3
Mohamed Yousri Mahmoud	3
Waqar Ahmed	3
Mohamed Abdelghany	3
Fabrice Raineri	2
Léa Constans	2
Alfredo De Rossi	2
Elif Deniz	2
M. Elleuch	1
Alain Aoun	1
Mohamed H. Zaki	1
Mohamed Salah Hamdi	1
Gabriela Nicolescu	1
M. Langevin	1
Mohamed Abid	1
Sowmith Nethula	1
Salim Ismail Al-Akhras	1
Mahmoud Mohamed Yousri	1
Abdelhak Ben Jemaa	1
Pierre Paulin	1
Henda Aridhi	1
Waqar Ahmad	1
Nour Dekhil	1
Naeem Abbasi	1
Waqar Ahmed	1
Sanaz Khan Afshar	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Towards Formal Fault Tree Analysis Using Theorem Proving	2015	Waqar Ahmad Osman Hasan	7
+ PDF Chat	Formal Analysis of Optical Systems	2014	Sanaz Khan-Afshar Umair Siddique Mohamed Yousri Mahmoud Vincent Aravantinos Ons Seddiki Osman Hasan Sofiène Tahar	6
+	Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach	2016	Waqar Ahmed Osman Hasan	5
+ PDF Chat	Towards the Formal Reliability Analysis of Oil and Gas Pipelines	2014	Waqar Ahmad Osman Hasan Sofiène Tahar Mohamed Salah Hamdi	4
+	Three Chapters of Measure Theory in Isabelle/HOL	2011	Johannes Hölzl Armin Heller	4
+ PDF Chat	Comparative Study of Approximate Multipliers	2018	Mahmoud Masadeh Osman Hasan Sofiène Tahar	3
+	Introduction to the Flyspeck Project.	2005	Thomas C. Hales	3
+	Introduction to the Flyspeck Project	2006	Thomas C. Hales	2
+ PDF Chat	Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach	2016	Waqar Ahmad Osman Hasan	2
+ PDF Chat	On the Formalization of Importance Measures Using HOL Theorem Proving	2019	Waqar Ahmad Shahid Ali Murtza Osman Hasan Sofiène Tahar	2
+ PDF Chat	Formal Analysis of Linear Control Systems Using Theorem Proving	2017	Adnan Rashid Osman Hasan	2
+ PDF Chat	Analysis of optical pulse propagation with two-by-two (<i>ABCD</i>) matrices	2001	Shayan Mookherjea Amnon Yariv	2
+	Error Analysis of Approximate Array Multipliers.	2019	Mahmoud Masadeh Osman Hasan Sofiène Tahar	2
+	Theorems and algorithms	1995	Clemens Ballarin Karsten Homann Jacques Calmet	2
+ PDF Chat	Interactive verification of Markov chains: Two distributed protocol case studies	2012	Johannes Hölzl Tobias Nipkow	2
+	Optimal arrangement of components via pairwise rearrangements	1989	Philip J. Boland Frank Proschan Y. L. Tong	2
+ PDF Chat	Single-photon device requirements for operating linear optics quantum computing outside the post-selection basis	2011	Thomas Jennewein Marco Barbieri A. G. White	2
+ PDF Chat	Birnbaum's measure of component importance for noncoherent systems	2003	John Andrews S. Beeson	2
+	Modeling of speech signals using fractional calculus	2007	Khaled Assaleh Wajdi M. Ahmad	2
+ PDF Chat	Quantum physics of simple optical instruments	2003	Ulf Leonhardt	2
+	<scp>M</scp>arkov Chain<scp>M</scp>onte<scp>C</scp>arlo	2005	Walter R. Gilks	2
+	Probability and Statistics With Reliability, Queuing and Computer Science Applications	2003	John I. McCool	2
+	A brief history and exposition of the fundamental theory of fractional calculus	1975	Bertram Ross	2
+	Fractional calculus models of complex dynamics in biological tissues	2009	Richard L. Magin	2
+	Introduction to vector analysis	1970	J. C. Tallack	2
+	A chaotic secure communication scheme using fractional chaotic systems based on an extended fractional Kalman filter	2007	A. Kiani-B Kia Fallahi Naser Pariz Henry Leung	2
+ PDF Chat	Formalization of Transform Methods Using HOL Light	2017	Adnan Rashid Osman Hasan	2
+	Complex and higher order fractional curl operator in electromagnetics	2004	Qaisar Abbas Naqvi M. Abbas	2
+	A transform method in discrete fractional calculus	2007	Ferhan M. Atıcı F M Eloe	2
+ PDF Chat	A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving	2012	Freek Wiedijk	2
+	The HOL Light Theory of Euclidean Space	2012	John Harrison	2
+	The collected mathematical papers of James Joseph Sylvester	1904	J.J. Sylvester	2
+ PDF Chat	Quantum computation with optical coherent states	2003	Timothy C. Ralph Alexei Gilchrist G. J. Milburn William J. Munro Scott Glancy	2
+	COMPARING BIRNBAUM IMPORTANCE MEASURE OF SYSTEM COMPONENTS	2004	Fan C. Meng	2
+	Fractional curl operator in electromagnetics	1998	Nader Engheta	2
+ PDF Chat	Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving	2019	Adnan Rashid Osman Hasan	1
+ PDF Chat	Stochastic Computing with Integrated Optics	2019	Hassnaa El-Derhalli Sébastien Le Beux Sofiène Tahar	1
+	A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar	1
+	Integrating DFT and DRBD Formalizations in HOL4	2019	Yassmeen Elderhalli Osman Hasan Sofiène Tahar	1
+	A Formally Verified HOL4 Algebra for Event Trees	2020	Mohamed Abdelghany Waqar Ahmad Sofiène Tahar	1
+ PDF Chat	Failure Mode Reasoning in Model Based Safety Analysis	2020	Hamid Jahanian David Parker Marc Zeller Annabelle McIver Yiannis Papadopoulos	1
+	A Verified Compiler for Probability Density Functions	2015	Manuel Eberl Johannes Hölzl Tobias Nipkow	1
+ PDF Chat	Formal Proof of a Wave Equation Resolution Scheme: The Method Error	2010	Sylvie Boldo François Clément Jean-Christophe Filliâtre Micaela Mayero Guillaume Melquiond Pierre Weis	1
+ PDF Chat	Angles in Complex Vector Spaces	2001	K. Scharnhorst	1
+ PDF Chat	Parallel convolutional processing using an integrated photonic tensor core	2021	Johannes Feldmann Nathan Youngblood Maxim Karpov Helge Gehring X. Li Maik Stappers Manuel Le Gallo Xin Fu Anton Lukashchuk Arslan S. Raja	1
+ PDF Chat	Model reduction via projection onto nonlinear manifolds, with applications to analog circuits and biochemical systems	2008	Chenjie Gu Jaijeet Roychowdhury	1
+	Differential Equations and Their Applications	1983	Martin Braun	1
+	Error Analysis of Approximate Array Multipliers	2019	Mahmoud Masadeh Osman Hasan Sofiène Tahar	1
+	Towards Formal Fault Tree Analysis using Theorem Proving	2015	Waqar Ahmed Osman Hasan	1
+	Fractional System Identification: An Approach Using Continuous Order-Distributions	1999	Tom T. Hartley Carl F. Lorenzo	1