SofiÃ¨ne Tahar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 9 from 9

2010

Formal Probabilistic Analysis: A Higher-Order Logic Based ApproachOsman Hasan, SofiÃ¨ne Tahar. asm 2010: 2-19 [doi]

2009

Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem ProvingAbu Nasser Mohammed Abdullah, Behzad Akbarpour, SofiÃ¨ne Tahar. ENTCS, 242(2):3-30, 2009. [doi]

Radio Access Network traffic generation for Mobile Switching CenterSuliman Albasheir, SofiÃ¨ne Tahar, Claude Gauthier, Jean Roussel Personna. ISCC 2009: 705-710 [doi]

Formal verification of analog designs using MetiTarskiWilliam Denman, Behzad Akbarpour, SofiÃ¨ne Tahar, Mohamed H. Zaki, Lawrence C. Paulson. FMCAD 2009: 93-100 [doi]

Rank Functions Based Inference System for Group Key Management Protocols VerificationAmjad Gawanmeh, Adel Bouhoula, SofiÃ¨ne Tahar. ijnsec, 8(2):187-198, 2009. [doi]

Formal Reasoning about Expectation Properties for Continuous Random VariablesOsman Hasan, Naeem Abbasi, Behzad Akbarpour, SofiÃ¨ne Tahar, Reza Akbarpour. FM 2009: 435-450 [doi]

Formal Analysis of Optical Waveguides in HOLOsman Hasan, Sanaz Khan Afshar, SofiÃ¨ne Tahar. tphol 2009: 228-243 [doi]

Probabilistic Analysis of Wireless Systems Using Theorem ProvingOsman Hasan, SofiÃ¨ne Tahar. ENTCS, 242(2):43-58, 2009. [doi]

2007

Formal Specification and Verification of the Intrusion-Tolerant Enclaves ProtocolMohamed Layouni, Jozef Hooman, SofiÃ¨ne Tahar. ijnsec, 5(3):288-298, 2007. [doi]

Sign in or sign up to see more results.

runs on WebDSL