Items where Author is "Tahar, Sofiène"

Article

Masadeh, Mahmoud ORCID: https://orcid.org/0000-0001-7447-1276, Hasan, Osman and Tahar, Sofiène (2019) Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access, 7 . pp. 147129-147142. ISSN 2169-3536

Elderhalli, Yassmeen ORCID: https://orcid.org/0000-0003-4437-2933, Hasan, Osman and Tahar, Sofiène (2019) A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access, 7 . pp. 136176-136192. ISSN 2169-3536

Soualhia, Mbarka, Khomh, Foutse and Tahar, Sofiène (2017) Task Scheduling in Big Data Platforms: A Systematic Literature Review. Journal of Systems and Software . ISSN 01641212 (In Press)

Lahiouel, Ons, Aridhi, Henda, Zaki, Mohamed H. and Tahar, Sofiène (2017) Exploiting Bounds Optimization for the Semi-formal Verification of Analog Circuits. Integration, the VLSI Journal . ISSN 01679260 (In Press)

Mhamdi, Tarek, Hasan, Osman and Tahar, Sofiène (2013) Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL. ACM Transactions on Embedded Computing Systems, 12 (1). pp. 1-23. ISSN 15399087

Liu, Liya, Hasan, Osman and Tahar, Sofiène (2013) Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. Journal of Computer Science and Technology, 28 (2). pp. 217-231. ISSN 1000-9000

Narayanan, Rajeev, Seghair, Ibtissem, Zaki, Mohamed H. and Tahar, Sofiène (2012) Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Transactions on Very Large Scale Integration (VLSI) Systems . p. 1. ISSN 1063-8210

Gawanmeh, Amjad and Tahar, Sofiène (2012) Domain Restriction Based Formal Model for Firewall Configurations. International Journal for Information Security Research, 2 (1/2). pp. 294-302.

Gawanmeh, Amjad, Tahar, Sofiène and Ben Ayed, Leila Jemni (2012) Formal Verification of Secrecy in Group Key Protocols Using Event-B. Int'l J. of Communications, Network and System Sciences, 05 (03). pp. 165-177. ISSN 1913-3715

Hasan, Osman, Patel, Jigar and Tahar, Sofiène (2011) Formal reliability analysis of combinational circuits using theorem proving. Journal of Applied Logic, 9 (1). pp. 41-60. ISSN 15708683

Denman, W., Zaki, M.H. and Tahar, Sofiène (2011) Formal verification of bond graph modelled analogue circuits. IET Circuits, Devices & Systems, 5 (3). p. 243. ISSN 1751858X

Abed, Sa’ed, Mokhtari, Yassine, Ait-Mohamed, Otmane and Tahar, Sofiène (2011) NuMDG: A New Tool for Multiway Decision Graphs Construction. Journal of Computer Science and Technology, 26 (1). pp. 139-152. ISSN 1000-9000

Hasan, Osman and Tahar, Sofiène (2011) Reasoning about conditional probabilities in a higher-order-logic theorem prover. Journal of Applied Logic, 9 (1). pp. 23-40. ISSN 15708683

Cui, Aijiao, Chang, Chip-Hong, Tahar, Sofiène and Abdel-Hamid, Amr T. (2011) A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 30 (5). pp. 678-690. ISSN 0278-0070

Hasan, Osman, Tahar, Sofiène and Abbasi, Naeem (2010) Formal Reliability Analysis Using Theorem Proving. IEEE Transactions on Computers, 59 (5). pp. 579-592. ISSN 0018-9340

Hasan, Osman and Tahar, Sofiène (2010) Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving. Journal of Computer Science and Technology, 25 (6). pp. 1305-1320. ISSN 1000-9000

Narayanan, Rajeev, Zaki, Mohamed H. and Tahar, Sofiène (2010) Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. Journal of Electronic Testing, 26 (1). pp. 97-109. ISSN 0923-8174

Akbarpour, B., Abdel-Hamid, A. T., Tahar, Sofiène and Harrison, J. (2010) Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL. The Computer Journal, 53 (4). pp. 465-488. ISSN 0010-4620

Gawanmeh, Amjad, Bouhoula, A. and Tahar, Sofiène (2009) Rank Functions Based Inference System for Group Key Management Protocols Verification. International Journal of Network Security, 8 (2). pp. 187-198. ISSN 1816-3548

Abdullah, Abu Nasser Mohammed, Akbarpour, Behzad and Tahar, Sofiène (2009) Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. Electronic Notes in Theoretical Computer Science, 242 (2). pp. 3-30. ISSN 15710661

Hasan, Osman and Tahar, Sofiène (2009) Formal verification of tail distribution bounds in the HOL theorem prover. Mathematical Methods in the Applied Sciences, 32 (4). pp. 480-504. ISSN 01704214

Zaki, Mohamed H., Denman, William, Tahar, Sofiène and Bois, Guy (2009) Integrating Abstraction Techniques for Formal Verification of Analog Designs. Journal of Aerospace Computing, Information, and Communication, 6 (5). pp. 373-392. ISSN 1542-9423

Hasan, Osman and Tahar, Sofiène (2009) Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. Journal of Automated Reasoning, 42 (1). pp. 1-33. ISSN 0168-7433

Hasan, Osman and Tahar, Sofiène (2009) Probabilistic Analysis of Wireless Systems Using Theorem Proving. Electronic Notes in Theoretical Computer Science, 242 (2). pp. 43-58. ISSN 15710661

Gawanmeh, A., Tahar, Sofiène and Winter, K. (2008) Formal verification of ASMs using MDGs. Journal of Systems Architecture, 54 (1-2). pp. 15-34. ISSN 13837621

Zaki, Mohamed H., Tahar, Sofiène and Bois, Guy (2008) Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39 (12). pp. 1395-1404. ISSN 00262692

Cui, Aijiao, Chang, Chip Hong and Tahar, Sofiène (2008) IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (9). pp. 1565-1570. ISSN 0278-0070

Hasan, Osman and Tahar, Sofiène (2008) Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. Journal of Automated Reasoning, 41 (3-4). pp. 295-323. ISSN 0168-7433

Layouni, Mohamed, Hooman, Jozef and Tahar, Sofiène (2007) Formal Specification and Verification of the Intrusion-Tolerant Enclaves Protocol. International Journal of Network Security, 5 (3). pp. 288-298. ISSN 1816-3548

Gawanmeh, Amjad, Tahar, Sofiène, Moinudeen, Haja and Habibi, Ali (2007) A Design for verification approach using an embedding of PSL in AsmL. Journal of Circuits, Systems and Computers, 16 (06). pp. 859-881. ISSN 0218-1266

Akbarpour, Behzad and Tahar, Sofiène (2007) Error analysis of digital filters using HOL theorem proving. Journal of Applied Logic, 5 (4). pp. 651-666. ISSN 15708683

Hasan, Osman and Tahar, Sofiène (2007) Formalization of the Standard Uniform random variable. Theoretical Computer Science, 382 (1). pp. 71-83. ISSN 03043975

Xiong, Haiyan, Curzon, Paul, Tahar, Sofiène and Blandford, Ann (2007) Providing a formal linkage between MDG and HOL. Formal Methods in System Design, 30 (2). pp. 83-116. ISSN 0925-9856

Habibi, Ali and Tahar, Sofiène (2006) Design and verification of SystemC transaction-level models. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 14 (1). pp. 57-68. ISSN 1063-8210

Mizouni, Rabeb, Tahar, Sofiène and Curzon, Paul (2006) Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectronics Journal, 37 (11). pp. 1200-1207. ISSN 00262692

Akbarpour, B. and Tahar, Sofiène (2006) An approach for the formal verification of DSP designs using Theorem proving. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (8). pp. 1441-1457. ISSN 0278-0070

Akbarpour, Behzad, Tahar, Sofiène and Dekdouk, Abdelkader (2005) Formalization of Fixed-Point Arithmetic in HOL. Formal Methods in System Design, 27 (1-2). pp. 173-200. ISSN 0925-9856

Habibi, Ali and Tahar, Sofiène (2005) On the Transformation of SystemC to AsmL Using Abstract Interpretation. Electronic Notes in Theoretical Computer Science, 131 . pp. 39-49. ISSN 15710661

Tahar, Sofiène, Zobair, M.H. and Song, X. (2004) Formal verification of a SONET data stream processor. IEE Proceedings - Computers and Digital Techniques, 151 (1). p. 71. ISSN 13502387

Abdel-Hamid, Amr T., Tahar, Sofiène and Aboulhamid, El Mostapha (2004) A Survey on IP Watermarking Techniques. Design Automation for Embedded Systems, 9 (3). pp. 211-227. ISSN 0929-5585

Peng, Hong, Tahar, Sofiène and Khendek, Ferhat (2003) Comparison of SPIN and VIS for protocol verification. International Journal on Software Tools for Technology Transfer (STTT), 4 (2). pp. 234-245. ISSN 1433-2779

Kort, Skander, Tahar, Sofiène and Curzon, Paul (2003) Hierarchical formal verification using a hybrid tool. International Journal on Software Tools for Technology Transfer (STTT), 4 (3). pp. 313-322. ISSN 1433-2779