| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar |
Towards improving simulation of analog circuits using model order reduction. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Aijiao Cui, Chip-Hong Chang, Sofiène Tahar, Amr T. Abdel-Hamid |
A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Reasoning about conditional probabilities in a higher-order-logic theorem prover. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Jigar Patel, Sofiène Tahar |
Formal reliability analysis of combinational circuits using theorem proving. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liya Liu, Osman Hasan, Sofiène Tahar |
Formalization of Finite-State Discrete-Time Markov Chains in HOL. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Mhamdi, Osman Hasan, Sofiène Tahar |
Formalization of Entropy Measures in HOL. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues |
Towards Flight Control Verification Using Automated Theorem Proving. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgi Gaydadjiev, Sofiène Tahar, Greg Byrd, Klaus Schneider |
Welcome to ICCD 2011! |
ICCD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar, Naeem Abbasi |
Formal Reliability Analysis Using Theorem Proving. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
theorem proving, Formal models, memory structures, performance and reliability |
| 1 | Behzad Akbarpour, Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison |
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. |
J. Comput. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar |
Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | Naeem Abbasi, Osman Hasan, Sofiène Tahar |
Formal Lifetime Reliability Analysis Using Continuous Random Variables. |
WoLLIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Mhamdi, Osman Hasan, Sofiène Tahar |
On the Formalization of the Lebesgue Integration Theory in HOL. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar |
Performance analysis of real-time rewriting models. |
AICCSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter-Michael Seidel, Georgi Gaydadjiev, Sofiène Tahar, Lars J. Svensson |
Welcome to ICCD 2010! |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar |
Rank Functions Based Inference System for Group Key Management Protocols Verification. |
I. J. Network Security |
2009 |
DBLP BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Probabilistic Analysis of Wireless Systems Using Theorem Proving. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar |
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Real-time systems, Communication protocols, Higher-order-logic, Probability theory, HOL theorem prover |
| 1 | William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson |
Formal verification of analog designs using MetiTarski. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Naeem Abbasi, Sofiène Tahar |
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour |
Formal Reasoning about Expectation Properties for Continuous Random Variables. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar |
Formal Analysis of Optical Waveguides in HOL. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suliman Albasheir, Sofiène Tahar, Claude Gauthier, Jean Roussel Personna |
Radio Access Network traffic generation for Mobile Switching Center. |
ISCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed H. Zaki, Sofiène Tahar, Guy Bois |
Formal verification of analog and mixed signal designs: A survey. |
Microelectronics Journal |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Formal verification of ASMs using MDGs. |
Journal of Systems Architecture - Embedded Systems Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aijiao Cui, Chip-Hong Chang, Sofiène Tahar |
IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover |
| 1 | Osman Hasan, Sofiène Tahar |
Performance Analysis of ARQ Protocols using a Theorem Prover. |
ISPASS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed |
Event-B based invariant checking of secrecy in group key protocols. |
LCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Otmane Aït Mohamed, César Muñoz, Sofiène Tahar (eds.) |
Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings |
TPHOLs |
2008 |
DBLP BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Formalization of the Standard Uniform random variable. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Layouni, Jozef Hooman, Sofiène Tahar |
Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. |
I. J. Network Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi |
A Design for Verification Approach Using an Embedding of PSL in aSML. |
Journal of Circuits, Systems, and Computers |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar |
Error analysis of digital filters using HOL theorem proving. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Providing a formal linkage between MDG and HOL. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification |
| 1 | Osman Hasan, Sofiène Tahar |
Formalization of Continuous Probability Distributions. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar |
Formal Verification of Analog and Mixed Signal Designs in Mathematica. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
AMS Designs, Formal Verification, Mathematica |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function |
| 1 | Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed |
Autometic Generation of SystemC Transactors from AsmL Specification. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar |
Rank Theorems for Forward Secrecy in Group Key Management Protocols. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Sofiène Tahar |
Verification of Expectation Properties for Discrete Random Variables in HOL. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar |
A symbolic methodology for the verification of analog and mixed signal designs. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed H. Zaki, Sofiène Tahar, Guy Bois |
Qualitative Abstraction based Verification for Analog Circuits. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rabeb Mizouni, Sofiène Tahar, Paul Curzon |
Hybrid verification integrating HOL theorem proving with MDG model checking. |
Microelectronics Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar |
An approach for the formal verification of DSP designs using Theorem proving. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar |
Design and verification of SystemC transaction-level models. |
IEEE Trans. VLSI Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
Finite State Machine IP Watermarking: A Tutorial. |
AHS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar |
Towards a Faster Simulation of SystemC Designs. |
ISVLSI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar |
Formal Analysis and Verification of an OFDM Modem Design using HOL. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Haja Moinudeen, Ali Habibi, Sofiène Tahar |
Design for Verification of the PCI-X Bus. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed H. Zaki, Sofiène Tahar, Guy Bois |
A practical approach for monitoring analog circuits. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Haja Moinudeen, Sofiène Tahar |
Generating finite state machines from SystemC. |
DATE Designers' Forum |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed |
Efficient assertion based verification using TLM. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jounaïdi Ben Hassen, Sofiène Tahar |
On the numerical verification of probabilistic rewriting systems. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar |
On the Transformation of SystemC to AsmL Using Abstract Interpretation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk |
Formalization of Fixed-Point Arithmetic in HOL. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL |
| 1 | Ali Habibi, Sofiène Tahar |
An Approach for the Verification of SystemC Designs Using AsmL. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
A Public-Key Watermarking Technique for IP Designs. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar |
Design for Verification of SystemC Transaction Level Models. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Embedding and Verification of PSL using AsmL. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar |
AsmL Semantics in Fixpoint. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
A Survey on IP Watermarking Techniques. |
Design Autom. for Emb. Sys. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou |
MDG-Based State Enumeration By Retiming And Circuit Transformation. |
Journal of Circuits, Systems, and Computers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar |
A Methodology for the Formal Verification of FFT Algorithms in HOL. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Wang, Sofiène Tahar, Otmane Aït Mohamed |
First-Order LTL Model Checking Using MDGs. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Mhamdi, Sofiène Tahar |
Providing Automated Verification in HOL Using MDGs. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Enabling SystemC Verification using Abstract State Machines. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar |
Error Analysis of Digital Filters Using Theorem Proving. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jounaïdi Ben Hassen, Sofiène Tahar |
Formal verification of an SoC platform protocol converter. |
ISCAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hong Peng, Sofiène Tahar, Ferhat Khendek |
Comparison of SPIN and VIS for protocol verification. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
VIS, Model checking, Protocols, Formal verification, SPIN |
| 1 | Skander Kort, Sofiène Tahar, Paul Curzon |
Hierarchical formal verification using a hybrid tool. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
HOL (higher-order logic), MDG (multiway decision graphs), Hybrid tools, Hierarchical verification |
| 1 | Behzad Akbarpour, Sofiène Tahar |
Modeling System C Fixed-Point Arithmetic in HOL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Peng, Sofiène Tahar, Yassine Mokhtari |
Compositional Verification of a Switch Fabric from Nortel Networks. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Formal Verification of ASM Designs Using the MDG Tool. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Sofiène Tahar |
The Application of Formal Verification to SPW Designs. |
DSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Wang, Sofiène Tahar |
Language emptiness checking using MDGs. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
MDGs (multiway decision graphs), ROBDDs (reduced ordered binary decision diagrams), büchi automata, formal hardware verification, language emptiness checking, model checking |
| 1 | Mohamed Layouni, Jozef Hooman, Sofiène Tahar |
On the Correctness of an Intrusion-Tolerant Group Communication Protocol. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar |
A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design. |
IWSOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid |
IP Watermarking Techniques: Survey and Comparison. |
IWSOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Interfacing ASM with the MDG Tool. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Hasan Zobair, Sofiène Tahar |
Formal Verification of a SONET Telecom System Block. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison |
Enabling Hardware Verification through Design Changes. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Habibi, Sofiène Tahar, Adel Ghazel |
Formal Verification of a DSP Chip Using an Iterative Approach. |
DSD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar |
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL |
| 1 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Formally Linking MDG and HOL Based on a Verified MDG System. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification |
| 1 | Victor Carreño, César Muñoz, Sofiène Tahar (eds.) |
Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings |
TPHOLs |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hong Peng, Yassine Mokhtari, Sofiène Tahar |
Environment Synthesis for Compositional Model Checking. |
ICCD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 Transactions on Communications |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")