Breadcrumb

 
 

Items where Author is "Tahar, Sofiène"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 38.

Article

Mhamdi, Tarek and 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 and 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 and Seghair, Ibtissem and 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 and 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 and 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. and 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 and Mokhtari, Yassine and 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 and Chang, Chip-Hong and 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 and 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 and 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. and Abdel-Hamid, A. T. and 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 and 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 and 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. and Denman, William and 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. and 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. and 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 and 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 and 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 and Tahar, Sofiène and 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 and Curzon, Paul and 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 and 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 and 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 and 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. and 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 and 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 and 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

This list was generated on Tue Oct 21 06:06:39 2014 EDT.

Concordia University - Footer